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)

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 […]

  • Smaltite

    noun 1. a mineral, originally thought to have been a diarsenide of cobalt, CoAs 2 , but which is actually a skutterudite rich in cobalt. noun 1. a silver-white to greyish mineral consisting chiefly of cobalt arsenide with nickel in cubic crystalline form. It occurs in veins associated with silver, nickel, and copper minerals, and […]


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.