default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID1. IWFM 1997: Dublin, Ireland
- 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.
last updated on 2025-02-28 21:50 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
