specification

Related entries include:

ACT ONE; ANNotated Ada; ASL+; ASPIK; B; Denotational Semantics Language; Enterprise JavaBeans; entity-relationship model; Extensible Firmware Interface; Formal Description Technique; formal methods; Fresco; functional requirements; Ina Jo; Iota; LARCH/CLU; Lex; Mean Time Between Failures; Mean Time To Recovery; MooZ; PGA; photo CD; Professional Graphics Adapter; realization; Resource Description Framework; SPECIAL; synthesis; Vienna Development Method; Vienna Development Method Specification Language;