Related entries include:
ACT ONE; ANNotated Ada; ASL+; ASPIK; Denotational Semantics Language; Enterprise JavaBeans; entity-relationship model; Extensible Firmware Interface; Formal Description Technique; formal methods; functional requirements; Ina Jo; Iota; LARCH/CLU; Mean Time Between Failures; Mean Time To Recovery; MooZ; photo CD; Professional Graphics Adapter; realization; Resource Description Framework; SPECIAL; synthesis; Vienna Development Method; Vienna Development Method Specification Language;
FOLDOC, Topics, 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