2nd BCS-FACS Northern Formal Methods Workshop

The Pi calculus and its applications, R. Miller; On the industrial value of models, P. Gorm Larsen; Formal methods and standards, D.A. Duce; On formal semantics of state-charts as supported by Statemate, E. Mikk et al; Using LOTOS for the evaluation of design options in the PREMO standard, G.P. Faconti, M. Massink; Modelling program compilation in the refinement calculus, C.J. Fidge; Translating LOTOS to Object-Z, J. Derrick et al; Algebraic advances for aliasing, A.P. Hugues, A. Donnelly; The geometry of distributions in Formal Methods. M. Mac Airchinnigh, A.P. Hughes; Generating formal specifications from CASE repositories, B. Ryan; A tool for Logic Program refinement, R. Colvin et al; Formalising correlate - from practice to PI, B. Robben et al; relaxing property preservation in the refinement of concurrent systems, M. Siegel; Communication traces in the verification of distributed programs, N. Soudarajan; Using graphical icons to build Z specifications, C.N. Yap, M. Holcombe; Analysis of abstract syntax trees of Z specifications, L. Mikusiak, V. Vojtek; Coupling schemas - data refinement and view (point) composition, E.A. Boiten et al; The real numbers in Z, W.R. Oliveira, R.S.M. Barros; Object-oriented operations have tow parts, A. Griffiths; Foundations of the unified modelling language, A.S. Evans, T. Clark. (Part contents).