The relationship between design and verification
- 31 December 1980
- journal article
- Published by Elsevier in Journal of Systems and Software
- Vol. 1, 29-56
- https://doi.org/10.1016/0164-1212(79)90004-9
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- The Logic of Computer ProgrammingIEEE Transactions on Software Engineering, 1978
- PSL/PSA: A Computer-Aided Technique for Structured Documentation and Analysis of Information Processing SystemsIEEE Transactions on Software Engineering, 1977
- Structured Analysis (SA): A Language for Communicating IdeasIEEE Transactions on Software Engineering, 1977
- Higher Order Software—A Methodology for Defining SoftwareIEEE Transactions on Software Engineering, 1976
- Specification techniques for data abstractionsIEEE Transactions on Software Engineering, 1975
- An axiomatic basis for computer programmingCommunications of the ACM, 1969