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].
(1996-04-20)

Tagged:

Read Also:

  • Small white

    noun 1. a small white butterfly, Artogeia rapae, with scanty black markings, the larvae of which feed on brassica leaves

  • Small wonder

    see: no wonder



  • Smallworld

    legal A trademark of Smallworldwide Plc. (http://smallworld.co.uk/). (1999-08-26) language An object-oriented language. [“SW 2 – An Object-based Programming Environment”, M.R. Laff et al, IBM TJWRC, 1985]. (1996-04-20)

  • Smalt

    noun 1. a coloring agent made of blue glass produced by fusing silica, potassium carbonate, and cobalt oxide, used in powdered form to add color to vitreous materials. noun 1. a type of silica glass coloured deep blue with cobalt oxide 2. a pigment made by crushing this glass, used in colouring enamels 3. the […]



Disclaimer: Smallvdm definition / meaning should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional. All content on this website is for informational purposes only.