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

Online Edition

• 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.

Last update Fri May 25 08:24:42 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page