Skip to Main Content
Idaho State University

Glossary

Filter:
# A B C D E F G H I J K L M N O P Q R S T U V W X Y Z All
F
Fan
FAQ
FAX
FCA
FDM
FEC
FER
FIN
Fix
FOI
FQR
FQT
FRD
Fry
FSD
FTS
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.