Computing: Software / CompSci Low‑importance

This article is within the scope of WikiProject Computing, a collaborative effort to improve the coverage of computers, computing, and information technology on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.ComputingWikipedia:WikiProject ComputingTemplate:WikiProject ComputingComputing articles

Low

This article has been rated as Low-importance on the project's importance scale.

This article is supported by WikiProject Software (assessed as Mid-importance).

This article is supported by WikiProject Computer science (assessed as High-importance).

Things you can help WikiProject Computer science with:

Here are some tasks awaiting attention:

Article requests :
- Requested articles/Applied arts and sciences/Computer science, computing, and Internet
Cleanup :
- Computer science articles needing attention
- Computer science articles needing expert attention
Copyedit :
- Computing
Expand :
- Computer science
Infobox :
- Computer science articles without infoboxes
Maintain :
- Timeline of computing 2020–present
Photo :
- Find pictures for the biographies of computer scientists (see List of computer scientists)
- Computing articles needing images
Stubs :
- Computer science stubs
Unreferenced :
- WikiProject Computer science/Unreferenced BLPs
Project-related :
- Tag all relevant articles in Category:Computer science and sub-categories with {{WikiProject Computer science}}

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.

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))[reply]

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))[reply]

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))[reply]

/* 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))[reply]

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))[reply]

Enumerated types

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

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))[reply]

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))[reply]

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))[reply]

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

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)[reply]

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)[reply]