specification entries

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


Loading