Advertisement

An overview of HP-SL

  • Stephen Bear
Reports
Part of the Lecture Notes in Computer Science book series (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.

X.400 address

G

steve

S

bear

OU1

hpl

OU2

unix

O

hp

P

hp

A

gold 400

C

gb

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    Jones C B. Systematic Software Development Using VDM. Prentice-Hall, Second edition, 1990.Google Scholar
  2. [2]
    Havelund K. and Haxthausen A. RSL Reference Manual. Technical Report RAISE/CRI/DOC/2/V1, Computer Resources International, 1990.Google Scholar
  3. [3]
    Harry P. History Specifications. HP Labs Internal Report, 1991.Google Scholar
  4. [4]
    Stallman R. The extensible, customizable, self documenting, display editor. In Interactive Programming Environments. McGraw-Hill, 1984.Google Scholar
  5. [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

Copyright information

© Springer-Verlag Berlin Heidelberg 1991

Authors and Affiliations

  • Stephen Bear
    • 1
  1. 1.Hewlett-Packard LaboratoriesStoke GiffordUK

Personalised recommendations