@inproceedings{01cf6184337b424d9ba01d41e54639f1,
title = "Semantics-based support tools for high integrity Ada software",
abstract = "This paper introduces a rigorous approach to developing high integrity software with Ada and the Jackson System Development (JSD) method. The approach involves the use of a specification language, called FJSD, in expressing JSD designs. FJSD is introduced and illustrated with a simple example in this paper. A semantic analysis tool and an Ada code generator have been developed based on the denotational semantics of FJSD. The semantic analysis tool translates an FJSD specification into the formalism of Communicating Sequential Processes (CSP) for formal reasoning and the Ada code generator produces Ada code from an FJSD specification. The strength of the approach lies in the rigour of FJSD and its semantic definition which have allowed the highly systematic development of the support tools.",
author = "YEUNG, {Wing Lok}",
year = "1997",
doi = "10.1007/3-540-63114-3_10",
language = "English",
isbn = "9783540631149",
series = "Lecture Notes in Computer Science",
publisher = "Springer-Verlag GmbH and Co. KG",
pages = "100--111",
editor = "Keith HARDY and Jim BRIGGS",
booktitle = "Reliable Software Technologies — Ada-Europe '97 : 1997 Ada-Europe International Conference on Reliable Software Technologies, London, UK, June 2–6, 1997, proceedings",
address = "Germany",
note = "1997 Ada-Europe International Conference on Reliable Software Technologies , Ada-Europe'97 ; Conference date: 02-06-1997 Through 06-06-1997",
}