Enhanced Hierarchical Development Methodology
- A software development methodology which makes use of the language REVISED SPECIAL to formally prove design specifications. REVISED SPECIAL is a language developed by SRI International. (NCSC-WA-001-85;)
- An integrated set of tools designed to aid in creating, analyzing, modifying, managing, and documenting program specifications and proofs. This methology includes a specification parser and typechecker, a theorem prover, and a multi-level security checker. Note: This methodology is not based upon the Hierarchical Development Methodology.