SmallVDM




<tool>

["SmallVDM: An Environment for Formal Specification and Prototyping in Smalltalk", in Object Oriented Specification Case Studies, K. Lano et al eds, P-H 1993].



< Previous Terms Terms Containing SmallVDM Next Terms >
small-office/home-office
Small Outline DIMM
Smalltalk
Smalltalk-80
Smalltalk/V
 SmallVDM
 SMALLWORLD
SmallWorld
Smarandache logic
SMART
smart