Glossaria.net

Glossary Computer Security / Term

Formal Development Methodology

A collection of languages and tools that enforces 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.

Permanent link Formal Development Methodology - Creation date 2020-06-27


< formal access approval Glossary / Computer Security formal proof >