HP Labs Technical Reports



Click here for full text: PDF

An Overview of HP-SL

Bear, Stephen

HPL-91-31

Keyword(s): Formal, Rigorous, Specification, Industry

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

Back to Index

[Research] [News] [Tech Reports] [Palo Alto] [Bristol] [Japan] [Israel] [Site Map][Home] [Hewlett-Packard]