Hierarchical Object Oriented Design: a method for

Architectural Design primarily for software to be developed in

Ada, leading to automated checking, documentation and source

code generation.