Title :
Formal methods in the design of Ada 9X
Author_Institution :
Odyssey Res. Associates Inc., Ithaca, NY, USA
fDate :
27 Jun-1 Jul 1994
Abstract :
Several advisory groups have been established to provide suggestions and criticism to the Ada 9X Mapping Revision Team, the small design team that is revising the definition of the Ada programming language. One such group, the Language Precision Team, based its criticisms on attempts to construct formal mathematical models of the design. This paper reports on the first phase of that work
Keywords :
Ada; programming; Ada 9X; Ada 9X Mapping Revision Team; Ada programming language; Language Precision Team; formal design methods; formal mathematical models; Computer languages; Contracts; Design methodology; Government; Object oriented programming; Runtime; Safety; Security; Software systems; Standards publication;
Conference_Titel :
Computer Assurance, 1994. COMPASS '94 Safety, Reliability, Fault Tolerance, Concurrency and Real Time, Security. Proceedings of the Ninth Annual Conference on
Conference_Location :
Gaithersburg, MD
Print_ISBN :
0-7803-1855-2
DOI :
10.1109/CMPASS.1994.318469
