- Henry McGloughlin, Gerard O'Regan:
1st Irish Workshop on Formal Methods, IWFM 1997, Dublin, Ireland, 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.
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.