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.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    The AFIT Wide Spectrum Object Modeling Environment: an awesome beginning


    Contributors:


    Publication date :

    2000-01-01


    Size :

    619848 byte




    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    The AFIT Wide-Spectrum Object Modeling Environment: an AWSOME Beginning

    Hartrum, T. C. / IEEE | British Library Conference Proceedings | 2000


    AFIT neural network research

    Rogers, S.K. / Ruck, D.W. / Kabrisky, M. et al. | IEEE | 1990


    The AFIT gross motion control project

    Leahy, M. B., Jr. | NTRS | 1991


    Acoustic fault injection tool (AFIT)

    Schoess, J. N. | British Library Conference Proceedings | 1999