Smallvdm

1 definition found

From The Free On-line Dictionary of Computing (27 SEP 03) [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)