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.