Reliable software through requirements definition using data abstractions
- 1 January 1978
- journal article
- Published by Elsevier in Microelectronics Reliability
- Vol. 17 (1) , 85-91
- https://doi.org/10.1016/0026-2714(78)91141-1
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Report on the programming language EuclidACM SIGPLAN Notices, 1977
- Abstraction mechanisms in CLUPublished by Association for Computing Machinery (ACM) ,1977
- Structured Analysis for Requirements DefinitionIEEE Transactions on Software Engineering, 1977
- A Language Extension for Controlling Access to Shared DataIEEE Transactions on Software Engineering, 1976
- An Introduction to the Construction and Verification of Alphard ProgramsIEEE Transactions on Software Engineering, 1976
- Specification techniques for data abstractionsIEEE Transactions on Software Engineering, 1975