Meta-IV (specification language): Difference between revisions
| Line 23: | Line 23: | ||
The second international conference<ref>http://www.sigmod.org/dblp/db/conf/fm/vdme1988.html</ref> was held in Dublin, Ireland, September 11-16, 1988. |
The second international conference<ref>http://www.sigmod.org/dblp/db/conf/fm/vdme1988.html</ref> was held in Dublin, Ireland, September 11-16, 1988. |
||
===References=== |
|||
{{Reflist}} |
|||
==The Danish School== |
==The Danish School== |
||
Revision as of 11:54, 5 May 2008
It is proposed that this article be deleted because of the following concern: If you can address this concern by improving, copyediting, sourcing, renaming, or merging the page, please edit this page and do so. You may remove this message if you improve the article or otherwise object to deletion for any reason. Although not required, you are encouraged to explain why you object to the deletion, either in your edit summary or on the talk page. If this template is removed, do not replace it. This message has remained in place for seven days, so the article may be deleted without further notice. Find sources: "Meta-IV" specification language – news · newspapers · books · scholar · JSTOR Nominator: Please consider notifying the author/project: {{subst:proposed deletion notify|Meta-IV (specification language)|concern=[[WP:NOR|original research]], [[WP:NEO|neologism]]}} ~~~~Timestamp: 20080505105649 10:56, 5 May 2008 (UTC) Administrators: delete |
Meta-IV stands for Metaphor. Dines Bjørner coined it in the very beginning of the Vienna Development Method. The first occurrence of Meta-IV in print was probably the monograph[1]:
Dines Bjørner and C.B. Jones, editors.
The Vienna Development Method: The Meta-Language, volume 61 of Lecture Notes in Computer Science.
Springer-Verlag, 1978.
Since the VDM has become standardized, then one may use Meta-IV for the three specific Schools of the VDM[2] which existed (and to some extent still do) from the 1970's onwards:
- the Danish School — founded by Dines Bjørner
- the British School — founded by Cliff Jones
- the Irish School[3] — founded by Micheal Mac an Airchinnigh
An account of where these different Schools is given in the text "Mathematical Approaches to Software Quality"[4]
VDM Europe
The three Schools were brought under a common organizational structure called VDM Europe[5] which held it first international conference in Brussels, Belgium, March 23-26, 1987.
The second international conference[6] was held in Dublin, Ireland, September 11-16, 1988.
The Danish School
The British School
The Irish School
- ^ http://www2.imm.dtu.dk/~db/biography/biography.html
- ^ http://www.vdmportal.org/twiki/pub/Main/WebHome/bjorner-vdm-ipsj-20oct06.pdf
- ^ http://portal.acm.org/author_page.cfm?id=81100168285&coll=GUIDE&dl=GUIDE&trk=0&CFID=26571118&CFTOKEN=15016975
- ^ http://www.springerlink.com/content/x62t38/?p=ac87ade0c15848e0b5d3761e01a7bd96&pi=0
- ^ http://www.sigmod.org/dblp/db/conf/fm/vdme1987.html
- ^ http://www.sigmod.org/dblp/db/conf/fm/vdme1988.html