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