The SRI International Hierarchical Development Handbook. Volume II. The Languages and Tools of HDM.
Abstract
HDM (the SRI Hierarchical Development Methodology) is an approach to software development that attempts to structure the overall development process by providing a unified framework that addresses most aspects of system development. Volume II of the HDM Handbook provides a self-contained description of the languages of HDM and the principal online tools. The primary language of HDM is the module specification language SPECIAL (Specification and Assertion Language). SPECIAL embodies the concepts of HDM described in Volume I. (Author)
Document Details
- Document Type
- Technical Report
- Publication Date
- Jun 01, 1979
- Accession Number
- ADA091271
Entities
People
- Brad A. Silverberg
- Karl N. Levitt
- Lawrence Robinson
- W. Linwood Sutton
Organizations
- SRI International