Skip to main content
SpringerLink
Log in
Book cover

International Symposium of VDM Europe

VDM 1991: VDM'91 Formal Software Development Methods pp 571–587Cite as

An overview of HP-SL

  • Reports
  • Conference paper
  • First Online:

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

Abstract

The Software Engineering Department of HP Labs is developing and applying a small but powerful specification language, HP- SL. This project report provides an overview of the language, its supporting tools and the way in which it is being applied.

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Abbreviations

G:

steve

S:

bear

OU1:

hpl

OU2:

unix

O:

hp

P:

hp

A:

gold 400

C:

gb

References

  1. Jones C B. Systematic Software Development Using VDM. Prentice-Hall, Second edition, 1990.

    Google Scholar 

  2. Havelund K. and Haxthausen A. RSL Reference Manual. Technical Report RAISE/CRI/DOC/2/V1, Computer Resources International, 1990.

    Google Scholar 

  3. Harry P. History Specifications. HP Labs Internal Report, 1991.

    Google Scholar 

  4. Stallman R. The extensible, customizable, self documenting, display editor. In Interactive Programming Environments. McGraw-Hill, 1984.

    Google Scholar 

  5. Rush T., Harry P., Ferguson T., and Oliver H. Case studies in HP-SL. Technical Report HPL-90-137, Hewlett-Packard Laboratories, Bristol, 1990.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Hewlett-Packard Laboratories, Filton Road, BS12 6QZ, Stoke Gifford, Bristol, UK

    Stephen Bear

Authors
  1. Stephen Bear
    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

Bear, S. (1991). An overview of HP-SL. 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_33

Download citation

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

  • 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