Accession Number:

AD0915757

Title:

Software Engineering and Specification Validation. Computer-Aided Software Engineering Program, Software Capabilities Description.

Descriptive Note:

Contract rept.,

Corporate Author:

TRW DEFENSE AND SPACE SYSTEMS GROUP HUNTSVILLE AL

Report Date:

1974-01-01

Pagination or Media Count:

79.0

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.

Subject Categories:

  • Computer Programming and Software
  • Computer Hardware
  • Antimissile Defense Systems

Distribution Statement:

APPROVED FOR PUBLIC RELEASE