摘要: 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 enha... 展开 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. 收起