Skip to main content
SpringerLink
Log in

The HP-ST toolset

  • Conference paper
  • First Online:
VDM'91 Formal Software Development Methods (VDM 1991)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 551))

Included in the following conference series:

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 LATEX files with LATEX-like annotations to control preprocessing.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Author information

Authors and Affiliations

  1. Software Engineering Department, Hewlett-Packard Laboratories, Filton Road, BS12 6QZ, Stoke Gifford Bristol, Avon, England

    Chris Dollin

Authors
  1. Chris Dollin
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

S. Prehn W. J. Toetenel

Rights and permissions

Reprints and permissions

Copyright information

© 1991 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Dollin, C. (1991). The HP-ST toolset. In: Prehn, S., Toetenel, W.J. (eds) VDM'91 Formal Software Development Methods. VDM 1991. Lecture Notes in Computer Science, vol 551. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-54834-3_49

Download citation

  • DOI: https://doi.org/10.1007/3-540-54834-3_49

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-54834-8

  • Online ISBN: 978-3-540-46449-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation