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

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...

Full description

Saved in:
Bibliographic Details
Main Authors: Burns, I Fennell, Hansing, Marlyn M, Herring, Frank P, McCoy, Robert C
Format: Report
Language:English
Subjects:
Antimissile Defense Systems
ARRIVAL
CASEL programming language
CASEP(Computer aided software engineering program)
Computer aided software engineering program
Computer Hardware
COMPUTER LOGIC
Computer Programming and Software
COMPUTER PROGRAMS
Computer software
INTERFACES
REAL TIME
SEQUENTIAL ANALYSIS
SIGNAL PROCESSING
TERMINAL DEFENSE
USER NEEDS
VALIDATION
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.