The structure of the formal definition of Ada are described. At present, a difficult subset of Ada has been defined and the experience gained so far by this work is reported. Currently, the work continues towards the formal definition of the Ada language.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Structuring the formal definition of Ada


    Beteiligte:


    Erscheinungsdatum :

    01.01.1986


    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Keine Angabe


    Sprache :

    Englisch




    Formal structuring for development of level crossing ontology

    Drewes, J. / Slovak, R. / Tordai, L. et al. | Tema Archiv | 2007





    Structuring a Definition of Resilience for the Freight Transportation System

    Ta, Chilan / Goodchild, Anne V. / Pitera, Kelly | Transportation Research Record | 2009