1. IWFM 1997: Dublin, Ireland

Henry McGloughlin, Gerard O'Regan (Eds.): 1st Irish Workshop on Formal Methods, IWFM 1997, Dublin, Eire, 3-4 July 1997. Workshops in Computing BCS 1997

S. Riddle, P. Wallis: Denotational Semantics and Refinement.
Alan Stewart: An Axiomatic Semantics for Data Parallel Computation.
Arthur P. Hughes, Claus Pahl: A Generic Model for State-based Agent Systems.
Helen Lowe: The Use of Theorem Provers in the Teaching and Practice of Formal Methods.
N. Malik, Kevin Lano: A Formal Approach to Design Patterns in Re-Engineering.
Hongji Yang, Yong Sun: Reverse Engineering and Reusing COBOL Programs: A Program Transformation Approach.
Michael Poppleton: The Single Transferable Voting System: Functional Decomposition in Formal Specification.
J. Paul Gibson, Bruno Mermet, Dominique Méry: Feature Interactions: A Mixed Semantic Model Approach.
Danielle C. Fowler, Paul A. Swatman: Presenting Object Oriented Formal Requirements Specifications: Insights from an Action Research Study.
Edel Sherratt: Nonmonotonic Reasoning and Formal Software Development.
John Herbert: A Simple Algorithm Specification Language and its Application.
Rosemary Monahan, Franz Geiselbrechtinger: Tactics for Transformational Programming.
Luming Lai, Jeff W. Sanders: A Refinement Calculus for Communicating Processes with State.
Franz Geiselbrechtinger: Computer Aided Incremental Specification.