Over the past several years, the Air Force Institute of Technology (AFIT) has been developing a formal-based software synthesis system, the AFIT Wide Spectrum Object Modeling Environment (AWSOME), along with a specification language AWL (AFIT Wide-spectrum Language). Several tools have been developed, including a parser for the AWL syntax, an interactive object editor, a Java code generator, and a generator for database schemas and SQL queries. The paper describes the formal object-oriented meta-model, the AWL specification language, and transformations from specification to code, along with current and future tools and applications.
The AFIT Wide Spectrum Object Modeling Environment: an awesome beginning
01.01.2000
619848 byte
Aufsatz (Konferenz)
Elektronische Ressource
Englisch
The AFIT Wide-Spectrum Object Modeling Environment: an AWSOME Beginning
British Library Conference Proceedings | 2000
|The AFIT gross motion control project
NTRS | 1991
|IEEE | 1990
|Acoustic fault injection tool (AFIT)
British Library Conference Proceedings | 1999
|