 | This article is rated C-class on Wikipedia's
content assessment scale. It is of interest to the following WikiProjects: | |||||||||||||||||||||||
| ||||||||||||||||||||||||
 | This article is based on material taken from the Free On-line Dictionary of Computing prior to 1 November 2008 and incorporated under the "relicensing" terms of the GFDL, version 1.3 or later. |
 | This article may be too technical for most readers to understand. (September 2010) |
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))
I am trying to de-mystify the text by adding in some small examples. --Михал Орела 15:49, 5 May 2008 (UTC)
templates Information
I have moved the Technical template here
( MihalOrela ( talk) 12:02, 13 August 2008 (UTC))
Wikification Information
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))
wikified ( MihalOrela ( talk)) —Preceding undated comment was added at 05:06, 28 August 2008 (UTC)
Renamed "Books" as "Reading Links" and have begun to convert the list using the Reference generator. ( MihalOrela ( talk) 14:28, 13 August 2008 (UTC))
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))
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)
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)
|
| This article is rated C-class on Wikipedia's
content assessment scale. It is of interest to the following WikiProjects: | |||||||||||||||||||||||
| ||||||||||||||||||||||||
| This article is based on material taken from the Free On-line Dictionary of Computing prior to 1 November 2008 and incorporated under the "relicensing" terms of the GFDL, version 1.3 or later. |
| This article may be too technical for most readers to understand. (September 2010) |
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))
I am trying to de-mystify the text by adding in some small examples. --Михал Орела 15:49, 5 May 2008 (UTC)
templates Information
I have moved the Technical template here
( MihalOrela ( talk) 12:02, 13 August 2008 (UTC))
Wikification Information
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))
wikified ( MihalOrela ( talk)) —Preceding undated comment was added at 05:06, 28 August 2008 (UTC)
Renamed "Books" as "Reading Links" and have begun to convert the list using the Reference generator. ( MihalOrela ( talk) 14:28, 13 August 2008 (UTC))
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))
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)
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)