Copyright © Philip M. Parker, INSEAD. Terms of Use.

VIENNA DEVELOPMENT METHOD SPECIFICATION LANGUAGE

Specialty Definition: VIENNA DEVELOPMENT METHOD SPECIFICATION LANGUAGE

DomainDefinition

Computing

Vienna Development Method Specification Language (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). Source: The Free On-line Dictionary of Computing.

Source: compiled by the editor from various references; see credits.

Top     

Crosswords: VIENNA DEVELOPMENT METHOD SPECIFICATION LANGUAGE

Specialty definitions using "VIENNA DEVELOPMENT METHOD SPECIFICATION LANGUAGE": Meta-IV ♦ VDM-SL. (references)

Top     

Alternative Orthography: VIENNA DEVELOPMENT METHOD SPECIFICATION LANGUAGE


Hexadecimal (or equivalents, 770AD-1900s) (references)

56 49 45 4E 4E 41      44 45 56 45 4C 4F 50 4D 45 4E 54      4D 45 54 48 4F 44      53 50 45 43 49 46 49 43 41 54 49 4F 4E      4C 41 4E 47 55 41 47 45

Leonardo da Vinci (1452-1519; backwards) (references)

                

Binary Code (1918-1938, probably earlier) (references)

01010110 01001001 01000101 01001110 01001110 01000001 00100000 01000100 01000101 01010110 01000101 01001100 01001111 01010000 01001101 01000101 01001110 01010100 00100000 01001101 01000101 01010100 01001000 01001111 01000100 00100000 01010011 01010000 01000101 01000011 01001001 01000110 01001001 01000011 01000001 01010100 01001001 01001111 01001110 00100000 01001100 01000001 01001110 01000111 01010101 01000001 01000111 01000101

HTML Code (1990) (references)

&#86 &#73 &#69 &#78 &#78 &#65 &#32 &#68 &#69 &#86 &#69 &#76 &#79 &#80 &#77 &#69 &#78 &#84 &#32 &#77 &#69 &#84 &#72 &#79 &#68 &#32 &#83 &#80 &#69 &#67 &#73 &#70 &#73 &#67 &#65 &#84 &#73 &#79 &#78 &#32 &#76 &#65 &#78 &#71 &#85 &#65 &#71 &#69

ISO 10646 (1991-1993) (references)

0056 0049 0045 004E 004E 0041      0044 0045 0056 0045 004C 004F 0050 004D 0045 004E 0054      004D 0045 0054 0048 004F 0044      0053 0050 0045 0043 0049 0046 0049 0043 0041 0054 0049 004F 004E      004C 0041 004E 0047 0055 0041 0047 0045

Encryption (beginner's substitution cypher): (references)

56433948483523839563946495047394854247395442493825350393743404337355443494824635484155354139

Top     



INDEX

1. Crosswords
2. Orthography
3. Bibliography


  

Copyright © Philip M. Parker, INSEAD. Terms of Use.