(HOOD) An architectural design method, primarily for Ada, leading to automated checking, documentation and source code generation.