Pages that link to "Item:Q1066658"
From MaRDI portal
The following pages link to Formal methods and software development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985. Volume 2: Colloquium on Software Engineering (CSE) (Q1066658):
Displaying 13 items.
- Definition and basic properties of the Deva meta-calculus (Q688825) (← links)
- On what exactly goes on when software is developed step-by-step. II: The sequel (Q1028976) (← links)
- A formal methodology using attributed grammars for multiprocessing-system software development. I. Design representation (Q1061482) (← links)
- TAPSOFT '87. Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23-27, 1987. Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Functional and (Q1084083) (← links)
- VDM '91. Formal software development methods. Vol. 1: Conference contributions. 4th international symposium of VDM Europe, Noordwijkerhout, the Netherlands, October 21-25, 1991. Proceedings (Q1202068) (← links)
- Formal methods in computer technologies (Q1288672) (← links)
- Selected papers of TAPSOFT '95: Theory and practice of software development. Aarhus, Denmark, May 1995 (Q1369236) (← links)
- TAPSOFT '95: Theory and practice of software development. 6th international joint conference CAAP/FASE, Aarhus, Denmark, May 1995. Proceedings (Q1892701) (← links)
- Formal methods in software development Z, B and VDM: comparison analysis (Q2819047) (← links)
- Combining the box structure development method and CSP for software development (Q2848418) (← links)
- Quality assurance of computing systems by formal development methods (Q2883012) (← links)
- FM 2005: Formal Methods (Q5716868) (← links)
- Mechanizing Mathematical Reasoning (Q5717456) (← links)
