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
E
EAM
EAP
ECM
EDM
EEI
EFD
EFT
EIF
EMS
ENQ
EOF
EOL
EOT
EOU
EPL
Era
ES
ESS
ETB
ETL
ETX
EV
Exa
EXE
Enhanced Hierarchical Development Methodology
  • A software development methodology which makes use of the language REVISED SPECIAL to formally prove design specifications. REVISED SPECIAL is a language developed by SRI International. (NCSC-WA-001-85;)
  • An integrated set of tools designed to aid in creating, analyzing, modifying, managing, and documenting program specifications and proofs. This methology includes a specification parser and typechecker, a theorem prover, and a multi-level security checker. Note: This methodology is not based upon the Hierarchical Development Methodology.