DID YOU KNOW? DTIC has over 3.5 million final reports on DoD funded research, development, test, and evaluation activities available to our registered users. Click
HERE to register or log in.
Accession Number:
ADA361759
Title:
Transforming Aggregate Object-Oriented Formal Specifications to Code
Descriptive Note:
Master's thesis
Corporate Author:
AIR FORCE INST OF TECH WRIGHT-PATTERSONAFB OH SCHOOL OF ENGINEERING
Report Date:
1999-03-01
Pagination or Media Count:
102.0
Abstract:
The feasibility of a transformational formal-based software engineering tool has been the focus of AFIT research for several years. Until now, the main research emphasis has been placed on the individual components that would comprise such a transformational system therefore, this research demonstrates how a representative collection of aggregate objects would be transformed from specification to code. The research focused on critical integration issues associated with a formal-based software transformation system, such as the source specification, the problem space architecture, design architecture, design transforms, and target software transforms. Software is critical in todays Air Force, yet its specification, design, and development have not achieved a satisfactory level of reliability or consistency. Techniques such as formal-based methods apply sound engineering principles to software development, greatly increasing softwares quality and reliability.
Distribution Statement:
APPROVED FOR PUBLIC RELEASE