Papers:
M. Mac an Airchinnigh & A.P. Hughes The Geometry of Distributions in Formal Methods http://dx.doi.org/10.14236/ewic/FA1997.1
E.A. Boiten, J. Derrick, H. Bowman & M.W.A. Steen Coupling Schemas: Data Refinement and View(point) Composition http://dx.doi.org/10.14236/ewic/FA1997.2
R. Colvin, I. Hayes, R. Nickson & P. Strooper A Tool for Logic Program Refinement http://dx.doi.org/10.14236/ewic/FA1997.3
J. Derrick, E.A. Boiten, H. Bowman & M. Steen Translating LOTOS to Object-Z http://dx.doi.org/10.14236/ewic/FA1997.4
D.A. Duce Formal Methods and Standards - An Idiosyncratic View (Invited Paper) http://dx.doi.org/10.14236/ewic/FA1997.5
A.S. Evans & T. Clark Foundations of the Unified Modeling Language http://dx.doi.org/10.14236/ewic/FA1997.6
G.P. Faconti & M. Massink Using LOTOS for the Evaluation of Design Options in the PREMO Standard http://dx.doi.org/10.14236/ewic/FA1997.7
C.J. Fidge Modelling Program Compilation in the Refinement Calculus http://dx.doi.org/10.14236/ewic/FA1997.8
R.B. France, J-M. Bruel & G. Raghaven Towards Rigorous Analysis of Fusion Models: The MIRG Experiences http://dx.doi.org/10.14236/ewic/FA1997.9
A. Griffiths Object-Oriented Operations Have Two Parts http://dx.doi.org/10.14236/ewic/FA1997.10
A.P. Hughes & A. Donnelly Algebraic Advances for Aliasing http://dx.doi.org/10.14236/ewic/FA1997.11
E. Mikk, Y. Lakhnech, C. Petersohn & M. Siegel On Formal Semantics of Statecharts as Supported by STATEMATE http://dx.doi.org/10.14236/ewic/FA1997.12
W.R. Oliveira & R.S.M. Barros The Real Numbers in Z http://dx.doi.org/10.14236/ewic/FA1997.13
B. Robben, F. Piessens & W. Joosen Formalizing Correlate - from Practice to Pi http://dx.doi.org/10.14236/ewic/FA1997.14
B. Ryan Generating Formal Specifications from CASE Repositories http://dx.doi.org/10.14236/ewic/FA1997.15
M. Siegel Relaxing Property Preservation in the Refinement of Concurrent Systems http://dx.doi.org/10.14236/ewic/FA1997.16
N. Soundarajan Communication Traces in the Verification of Distributed Programs http://dx.doi.org/10.14236/ewic/FA1997.17
C.N. Yap & M. Holcombe Using Graphical Icons to Build Z Specifications http://dx.doi.org/10.14236/ewic/FA1997.18