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.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    The AFIT Wide Spectrum Object Modeling Environment: an awesome beginning


    Beteiligte:
    Hartrum, T.C. (Autor:in) / Graham, R.P. (Autor:in)


    Erscheinungsdatum :

    01.01.2000


    Format / Umfang :

    619848 byte




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



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

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


    The AFIT gross motion control project

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


    AFIT neural network research

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


    Acoustic fault injection tool (AFIT)

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