Programming Language - VDM-SL

VDM-SL

VDM-SL - Vienna Development Method Specification Language. (Also known as
Meta-IV.) Model-oriented specification language, upon which the Vienna
Development Method is based. "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. ISO draft Apr 1993. Version: BSI/VDM.
ftp://gateway.dec.com/pub/vdmsl_standard
info: derek@mcs.le.ac.uk

Comments, Experience, Additions

Name: *

Email Address: *

City, Country:

Comments: *

7 plus 7? *   Robot Spam Prevention

 

Next Language:   VDM++

Browse by Letter

A

B

C

D

E

F

G

H

I

J

K

L

M

N

O

P

Q

R

S

T

U

V

W

X

Y

Z