HP Labs Technical Reports Click here for full text: 
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. | ||
[Research] [News] [Tech Reports] [Palo Alto] [Bristol] [Japan] [Israel] [Site Map] [Home] [Hewlett-Packard]