SOFSPEC: A pragmatic approach to automated specification verification
- 30 September 1983
- journal article
- Published by Elsevier in Journal of Systems and Software
- Vol. 3 (3) , 193-200
- https://doi.org/10.1016/0164-1212(83)90034-1
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Further Analysis of the Entity-Relationship Approach to Database DesignIEEE Transactions on Software Engineering, 1981
- Comments on program specification and testingCommunications of the ACM, 1980
- A Requirements Engineering Methodology for Real-Time Processing RequirementsIEEE Transactions on Software Engineering, 1977
- PSL/PSA: A Computer-Aided Technique for Structured Documentation and Analysis of Information Processing SystemsIEEE Transactions on Software Engineering, 1977
- Structured Analysis for Requirements DefinitionIEEE Transactions on Software Engineering, 1977
- A Complexity MeasureIEEE Transactions on Software Engineering, 1976
- The entity-relationship model—toward a unified view of dataACM Transactions on Database Systems, 1976