Semantics-based support tools for high integrity Ada software
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
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.
Copyright © Springer-Verlag Berlin Heidelberg 1997. Access to external full text or publisher's version may require subscription.
ISBN of the source publication: 9783540631149