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 BibTeX

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