![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
1. 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.
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.