| | podobné slovo | definícia |
smallvdm
(foldoc) | SmallVDM
["SmallVDM: An Environment for Formal Specification and
Prototyping in Smalltalk", in Object Oriented Specification
Case Studies, K. Lano et al eds, P-H 1993].
(1996-04-20)
|
vdm++
(foldoc) | VDM++
Object-oriented extension of VDM-SL. ["Object-Oriented
Specification in VDM++", in Object Oriented Specification Case
Studies, K. Lano et al eds, P-H 1993].
|
vdm-sl
(foldoc) | Vienna Development Method Specification Language
Meta-IV
VDM-SL
(VDM-SL, Meta-IV) A
model-oriented specification language, upon which the
Vienna Development Method is based. An ISO draft was
released in April 1993.
Version: BSI/VDM.
(ftp://gateway.dec.com/pub/vdmsl_standard).
["The Vienna Development Method: The Meta-Language",
D. Bjorner et al eds, LNCS 61, Springer 1978].
["The VDM-SL Reference Guide", J. Dawes, Pitman 1991].
["Systematic Software Development Using VDM", C.B. Jones, P-H
1989].
(2000-11-02)
|
dvdmrw
(vera) | DVDMRW
Digital Versatile Disk + Mount rainier ReWritable (DVD, DVD+RW,
MS), "DVD+MRW"
|
nvdm2
(vera) | NVDM2
NetView Distribution Manager /2 (OS/2, IBM), "NVDM/2"
|
vdma
(vera) | VDMA
Virtual Direct Memory Access (DMA)
|
vdmad
(vera) | VDMAD
Virtual Direct Memory Access Device (VDMA, DMA)
|
|