Software Engineering and Specification Validation. Computer-Aided Software Engineering Program, Software Capabilities Description.
TRW DEFENSE AND SPACE SYSTEMS GROUP HUNTSVILLE AL
Pagination or Media Count:
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.
- Computer Programming and Software
- Computer Hardware
- Antimissile Defense Systems