Talk:Vienna Development Method

History

The first sentence in the History section was factually wrong. The first language was VDL. The VDM (also called Meta-IV) only begins in 1972. This small error has now been corrected with citations from original sources. (MihalOrela (talk) 19:00, 13 August 2008 (UTC))

historical sources needed for

"Other programming languages described, or partially described, using Meta-IV and VDM-SL include the BASIC programming language, FORTRAN, the APL programming language, ALGOL 60, the Ada programming language and the Pascal programming language."

We need citations for each of these... (MihalOrela (talk) 19:03, 13 August 2008 (UTC))

I suspect very strongly that it was VDL that was initially used for all of these, NOT VDM - Meta-IV. (MihalOrela (talk) 19:25, 13 August 2008 (UTC))

/* Basic Types: numeric, character, token and quote types */ added in 3rd column to elaborate types

I am trying to de-mystify the text by adding in some small examples. --Михал Орела 15:49, 5 May 2008 (UTC)

templates

I have moved the Technical template here

(MihalOrela (talk) 12:02, 13 August 2008 (UTC))

Wikification

I am an expert in the VDM (since 1978); I agree with the need for wikification.

I shall try to do something about the material. (MihalOrela (talk) 12:04, 13 August 2008 (UTC))

Enumerated types

wikified (MihalOrela (talk)) —Preceding undated comment was added at 05:06, 28 August 2008 (UTC)

Reading Links

Renamed "Books" as "Reading Links" and have begun to convert the list using the Reference generator. (MihalOrela (talk) 14:28, 13 August 2008 (UTC))

External References

There are many publications on the Vienna Definition Language (VDL) available bu note easily accessible. Fortunately there is a website gives gives a very good account: http://hopl.murdoch.edu.au/showlanguage2.prx?exp=598 I have added it to the list. (86.42.215.111 (talk) 18:33, 14 August 2008 (UTC))

Another big surprise! Cliff Jones has published his own view of the transition from VDL to VDM. The Transition from VDL to VDM (86.42.215.111 (talk) 18:40, 14 August 2008 (UTC))

(86.42.215.111 (talk) 18:41, 14 August 2008 (UTC))

Square Root Example

Not an expert, but shouldn't the variable "n" in all the square root examples be "x"?86.150.95.6 (talk) 18:01, 11 August 2010 (UTC)

VDM or VDM-SL?

The article says:

The Vienna Development Method is valuable for model-based systems. It is not appropriate if the system is time-based. For such cases, the calculus of communicating systems (CCS) is more useful.

CCS is not a development method. The Vienna specification language is what could be compared with CCS. But CCS can be used within the Vienna Development Methodology. — Preceding unsigned comment added by 2806:106E:B:8BC0:882D:C6CF:784F:C381 (talk) 18:11, 19 August 2023 (UTC)