![](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
The Use of Formal Specification of Software 1979: Berlin, Germany
- Helmut K. Berg, Wolfgang K. Giloi:
The Use of Formal Specification of Software, June 25-27, 1979, Berlin, Germany. Informatik-Fachberichte 36, Springer 1980, ISBN 3-540-10442-9 - Helmut K. Berg:
Towards a Uniform Design Methodology for Software, Firmware, and Hardware. 1-38 - Karl N. Levitt, Lawrence Robinson, Brad A. Silverberg:
Writing Simulatable Specifications in SPECIAL. 39-78 - Donald L. Boyd, Antonio Pizzarello, William T. Wood:
An Overview of RDM: Rational Design Methodology. 79-110 - Donald L. Boyd, Antonio Pizzarello, William T. Wood:
Abstraction and Refinement in RDM. 111-149 - Helmut K. Berg, Wolfgang K. Giloi:
Hierarchical Specification of Abstract Data Types. 150-196 - William R. Franta, William Earl Boebert, Helmut K. Berg:
An Approach to the Specification of Distributed Software. 197-236 - Helmut K. Berg, William R. Franta, Thomas G. Moher:
Correctness of Software - An Overview. 237-354 - Mark Moriconi:
Interactive Design and Verification: A Message Switching Network Example. 355-388
![](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.