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

fYear

1990

fDate

8-10 May 1990

Firstpage

280

Lastpage

287

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/CMPEUR.1990.113636

Filename

113636