Papers:
D. Fowler & P. Swatman Presenting Object Oriented Formal Requirements Specifications: Insights From An Action Research Study http://dx.doi.org/10.14236/ewic/FM1997.1
F. Geiselbrechtinger Computer Aided Incremental Specification http://dx.doi.org/10.14236/ewic/FM1997.2
P. Gibson, B. Mermet & D. Méry Feature Interactions: A Mixed Semantic Model Approach http://dx.doi.org/10.14236/ewic/FM1997.3
J. Herbert A Simple Algorithm Specification Language and its Application http://dx.doi.org/10.14236/ewic/FM1997.4
A.P. Hughes & C. Pahl A Generic Model for State-based Agent Systems http://dx.doi.org/10.14236/ewic/FM1997.5
L. Lai & J.W. Sanders A Refinement Calculus for Communicating Processes with State http://dx.doi.org/10.14236/ewic/FM1997.6
H. Lowe The Use of Theorem Provers in the Teaching and Practice of Formal Methods http://dx.doi.org/10.14236/ewic/FM1997.7
N. Malik & K. Lano A Formal Approach to Design Patterns in Re-engineering http://dx.doi.org/10.14236/ewic/FM1997.8
R. Monahan & F. Geiselbrechtinger Tactics for Transformational Programming http://dx.doi.org/10.14236/ewic/FM1997.9
M.R. Poppleton The Single Transferable Voting System: Functional Decomposition in Formal Specifications http://dx.doi.org/10.14236/ewic/FM1997.10
S. Riddle & P. Wallis Denotational Semantics and Refinement http://dx.doi.org/10.14236/ewic/FM1997.11
E. Sherratt Nonmonotonic Reasoning and Formal Software Development http://dx.doi.org/10.14236/ewic/FM1997.12
A. Stewart An Axiomatic Semantics for Data Parallel Computation http://dx.doi.org/10.14236/ewic/FM1997.13
H. Yang & Y. Sun Reverse Engineering and Reusing COBOL Programs: A Program Transformation Approach http://dx.doi.org/10.14236/ewic/FM1997.14