DocumentCode
2015031
Title
Formal methods in the design of Ada 9X
Author
Guaspari, David
Author_Institution
Odyssey Res. Associates Inc., Ithaca, NY, USA
fYear
1994
fDate
27 Jun-1 Jul 1994
Firstpage
29
Lastpage
37
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/CMPASS.1994.318469
Filename
318469
Link To Document