The HP-ST Toolset
VDM Europe (1), pp. 687-688, 1991.
The HP-ST toolset allows a specifier to construct a specification document which contains mixed text and HP-SL specifications. The toolset can be used in either batch mode, when it is invoked as a collection of Unix commands, or in interactive mode, when it is invoked via an editing interface such as that provided by Emacs. Documents are ...More
Full Text (Upload PDF)
PPT (Upload PPT)