The aim of this workshop, held in Ilkley, Yorkshire in July 1997, was to provide an informal atmosphere for the exchange of ideas in order to contribute to fundamental research in the use of formal methods for the development of concurrent, real-time and object-oriented computer systems.
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).
