PRESTIGE: a CASE workbench for the JSD implementor

The authors provide an overview of PRESTIGE, a CASE toolkit which supports the implementation phase of Jackson System Development (JSD). The authors present an outline of JSD, a brief discussion on operational specifications, and a description of the two-stage model of JSD implementation which forms the basis of the toolkit´s functionality. The toolkit´s current capabilities are described and illustrated through simple examples. Finally, the authors indicate directions for further work