HP Labs Technical Reports
Click here for full text:
An Overview of HP-SL
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