Title :
Executing JSD specifications: the specification presentation tool
Author :
Flynn, Donal ; Warhurst, Robin
Author_Institution :
Dept. of Comput., Univ. of Manchester Inst. of Sci. & Technol., Manchester, UK
Abstract :
A specification presentation tool which is founded on the specification execution approach is described. The purpose of the presentation tool is to give automated assistance to the system analyst in the presentation of specifications to the user for validation. Specifically, the software alloys the user to check that the specification meets the requirements by interacting with an actual system. The software can present specifications developed by the JSD (Jackson system development) method. The approach taken was to derive executable Lisp code and default screens from ART representations of JSD specifications
Keywords :
formal specification; software tools; ART representations; Jackson system development specifications; automated assistance; default screens; executable Lisp code; specification presentation tool; system analyst; Analytical models; Books; Discrete event simulation; Information analysis; Prototypes; Software prototyping; Software systems; Subspace constraints; System testing; Virtual prototyping;
Conference_Titel :
CompEuro '90. Proceedings of the 1990 IEEE International Conference on Computer Systems and Software Engineering
Conference_Location :
Tel-Aviv
Print_ISBN :
0-8186-2041-2
DOI :
10.1109/CMPEUR.1990.113636
