(programming) (HOOD) An architectural design method, primarily for Ada, leading to automated checking, documentation and source code generation.
Last updated: 2009-01-14