Software Engineering and Specification Validation. Computer-Aided Software Engineering Program, Software Capabilities Description.
Abstract
This report describes the capabilities of the Computer-Aided Software Engineering Program (CASEP). CASEP is an integrated set of programs which are designed to enchance the current ABMDA software engineering methodology. This enhancement is accomplished by assuring completeness of specification for software design, by assuring correctness of specified logic in performing static validation at all levels of development, by aiding the development of simulators to validate the specifications, by providing assistance to the Process Designer during the process design phase, and by providing management information reports and configuration management controls as an integral part of the development support.
Document Details
- Document Type
- Technical Report
- Publication Date
- Jan 01, 1974
- Accession Number
- AD0915757
Entities
People
- Frank P. Herring
- I. Fennell Burns
- Marlyn M. Hansing
- Robert C. Mccoy