Formal Development Methodology (FDM)
- A software development methodology which makes use of the language, Ina Jo, to formally prove design specifications. Ina Jo is a language developed by System Development Corporation. (NCSC-WA-001-85;) (F:\NEWDEFS. TXT)
- Collection of languages and tools enforcing a rigorous method of verification. This methodology uses the Ina Jo specification language for successive stages of system development, including identification and modeling of requirements, high-level design, and program design.