DocumentCode
2561269
Title
The Use of Ada as an Implementation Language in Formally Specified Systems
Author
Platek, Richard
Author_Institution
Odyssey Research Associates, Inc.
fYear
1984
fDate
April 29 1984-May 2 1984
Firstpage
107
Lastpage
107
Abstract
Formal specification languages such as SPECIAL and Ina Jo were designed to be used with a variety of implementation languages. Our attempts to uae them with Ada are reviewed here. In order to develop a rational compliance document which shows how Ada code implements the formal specification it was necessary to bypass most of the structuring features of the specification language and to use just the latter´s first order logical features to axiomatize Ada typing, etc . Our experience underlines the need for a new Ada based formal specification language.
Keywords
Arrays; Concurrent computing; Fingers; Formal specifications; Security; Software; Specification languages;
fLanguage
English
Publisher
ieee
Conference_Titel
Security and Privacy, 1984 IEEE Symposium on
Conference_Location
Oakland, CA, USA
ISSN
1540-7993
Print_ISBN
0-8186-0532-4
Type
conf
DOI
10.1109/SP.1984.10007
Filename
6234788
Link To Document