HP Labs Technical Reports

Click here for full text: PDF

An Overview of HP-SL

Bear, Stephen


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]