1. IWFM 1997: Dublin, Ireland

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