- Pascal Hitzler, Anthony Karel Seda:
Multivalued Mappings, Fixed-Point Theorems and Disjunctive Databases. IWFM 1999 - Helen Lowe, John Lowe:
The Role of Proof in a Formal Specification of the Speedway Rulebook. IWFM 1999 - Henry McLoughlin, Kevin Hely:
Some optimisation problems revisited. IWFM 1999 - Christophe Meudec:
Tests Derivation from Model Based Formal Specifications. IWFM 1999 - J. F. Miller:
Teaching and Learning Formal Methods, Improving Productivity. IWFM 1999 - Vanderlei Moraes Rodrigues, Flávio Rech Wagner:
A Logic to Specify and Verify Synchronous Transitions. IWFM 1999 - Claus Pahl:
Modular Composition of Language Features through Extensions of Semantic Language Models. IWFM 1999 - Michel P. Schellekens:
Valuations revisited. IWFM 1999 - J. Artur Serrano:
Formal Specifications of Software Design Methods. IWFM 1999 - Andrew Butterfield, Klemens Haegele:
3rd Irish Workshop on Formal Methods, Galway, Ireland, July 1999. Workshops in Computing, BCS 1999 [contents] - 1998
- Mícheál Mac an Airchinnigh:
Mathematics for Formal Methods, a Proposal for Education Reform. IWFM 1998 - Mark Changizi:
Motivation for a New Semantics for Vagueness. IWFM 1998 - Raphaël Couturier:
Formal Engineering of the Bitonic Sort using PVS. IWFM 1998 - Hugh Gibbons:
Declarative View of Imperative Programs. IWFM 1998 - J. Paul Gibson, Dominique Méry:
Teaching Formal Methods: Lessons to Learn. IWFM 1998 - Terence J. Harmer, Patrick J. McParland, James M. Boyle:
Applications of the TAMPR Transformation System. IWFM 1998 - Arthur P. Hughes:
Towards an Override in Topoi. IWFM 1998 - Stephen Kilpatrick, Maurice Clint, Peter Kilpatrick:
A Case Study on Proving Transformations Correct: Data-Parallel Conversion. IWFM 1998 - Luming Lai:
An Unbounded Nondeterministic Model for CSP-like Languages. IWFM 1998 - Brian Matthews, Elvira Locuratolo:
Translating Structured Database Schemas into Abstract Machines. IWFM 1998 - Claus Pahl:
Facilitating Modular Property-Preserving Extensions of Programming Languages. IWFM 1998 - Anthony Karel Seda, Pascal Hitzler:
Strictly Level-Decreasing Logic Programs. IWFM 1998 - Richard Shore:
A Use Case Interpretation of B AMN. IWFM 1998 - Sharon Flynn, Andrew Butterfield:
2nd Irish Workshop on Formal Methods, Cork, Ireland, 2-3 July 1998. Workshops in Computing, BCS 1998 [contents] - 1997
- Danielle C. Fowler, Paul A. Swatman:
Presenting Object Oriented Formal Requirements Specifications: Insights from an Action Research Study. IWFM 1997 - Franz Geiselbrechtinger:
Computer Aided Incremental Specification. IWFM 1997 - J. Paul Gibson, Bruno Mermet, Dominique Méry:
Feature Interactions: A Mixed Semantic Model Approach. IWFM 1997 - John Herbert:
A Simple Algorithm Specification Language and its Application. IWFM 1997 - Arthur P. Hughes, Claus Pahl:
A Generic Model for State-based Agent Systems. IWFM 1997 - Luming Lai, Jeff W. Sanders:
A Refinement Calculus for Communicating Processes with State. IWFM 1997
