The HP-ST Toolset

    VDM Europe (1), pp. 687-688, 1991.

    Cited by: 2|Bibtex|Views3|Links
    EI
    Keywords:
    hp-st toolset

    Abstract:

    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

    Code:

    Data:

    Your rating :
    0

     

    Tags
    Comments