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.
Structuring the formal definition of Ada
1986-01-01
Conference paper
No indication
English
Formal structuring for development of level crossing ontology
Tema Archive | 2007
|Structuring a Definition of Resilience for the Freight Transportation System
Online Contents | 2009
|Structuring a Definition of Resilience for the Freight Transportation System
Transportation Research Record | 2009
|