The Pi Calculus and its Applications - R. Milner.- On the Industrial Value of Models - P. Gorm Larsen.- Formal Methods and Standards - D.A. Duce.- On Formal Semantics of Statecharts as Supported by STATEMATE - E. Mikk, Y. Lakhnech, C. Petersohn, M. Seigel.- 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, E.A. Boiten, H. Bowman and M. Steen.- Algebraic Advances for Aliasing - A.P. Hughes, A. Donnelly.- The Geometry of Distributions in Formal Methods - M. Mac an Airchinnigh, A.P. Hughes.- Generating Formal Specifications from CASE Repositories - B. Ryan.- A Tool for Logic Program Refinement - R. Colvin, I. Hayes, R. Nickson, P. Strooper.- Formalizing Correlate - from Practice to PI - B. Robben, F. Piessens, W. Joosen.- 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, J. Derrick, H. Bowman, M.W.A. Steen.- The Real Numbers in Z - W.R. Oliveira and R.S.M. Barros.- Object-Oriented Operations Have Two Parts - A. Griffiths.- Foundations of the Unified Modeling Language - A.S. Evans and T. Clark.
