Executing JSD specifications: the specification presentation tool

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.<
>