specification entries

ACT ONEANNotated AdaASL+
ASPIKBDenotational Semantics Language
Enterprise JavaBeansentity-relationship diagramentity-relationship model
Extensible Firmware InterfaceFormal Description Techniqueformal methods
Frescofunctional requirementsIna Jo
IotaLARCH/CLULex
Mean Time Between FailuresMean Time To RecoveryMooZ
PGAphoto CDProfessional Graphics Adapter
realizationResource Description FrameworkSPECIAL
synthesisVienna Development MethodVienna Development Method Specification Language

Loading