Talk:Meta-IV (specification language)

(Redirected from Talk:Meta-IV)
Latest comment: 6 years ago by InternetArchiveBot in topic External links modified (January 2018)

This page is intended to provide basic information for the article on the Vienna Development Method. Although very technical, it is of historical interest why Bjoerner chose to use Meta-IV for the method at the time (1978).

I am editing this in response to the request for cleanup etc of the VDM page and I happen to be expert in this field. --Михал Орела 10:29, 5 May 2008 (UTC)

proposed deletion

edit

The current article on the VDM in Wikipedia makes reference to Meta-IV.

It turns out that the article is about VDM-SL which is, of course, standardized.

What is missing is the entire history behind the VDM itself.

A page on Meta-IV happens to be a useful place where that history can be provided.

Without the history, the article on VDM is indeed "formally biased" towards what "is" used today.

I propose to continue adding my personal knowledge of the history (because I was part of it) in a formal scholarly (and hopefully independent) manner.

--Михал Орела 11:08, 5 May 2008 (UTC)

Meta-IV as "neologism"

edit

It happens that authors do invent things. To the best of my knowledge Meta-IV was "invented" around 1978 or thereabouts. Among those in the field of Formal Methods and the Specification of Computing Systems it is noteworthy.

The VDM Meta-IV was certainly the first successful formal method in Europe, arising out of the IBM Lab in Vienna. From there it was a short step to the foundation of an Expert Group in the European Union and the establishment of VDM-Europe.

All these details ought still to go into the history of the field and under the rubric Meta-IV

--Михал Орела 11:23, 5 May 2008 (UTC)

Meta-IV as "original research"

edit

This is easy to refute. It is pure history now.

The only thing original will be the provision of a body of indendent courses to bolster the claims made for it.

--Михал Орела 11:25, 5 May 2008 (UTC)

proposed change of page name

edit

Looking at material which I consider appropriate to underpin the history of the main VDM Schools it now looks better if the main Article name be changed from Meta-IV to VDM Meta-IV ? —Preceding unsigned comment added by MihalOrel (talkcontribs) 11:36, 5 May 2008 (UTC)Reply

Relationship between VDM Europe and Formal Methods Europe

edit

As I continue to flesh out the "offending" Meta-IV article, I have also come across the Wikipedia article on Formal Methods Europe which also requires expanding...

--Михал Орела 12:08, 5 May 2008 (UTC)

removal of threat of deletion

edit

I have now removed the "notice to delete" banner from the page on the basis of the modifications already made today, the first of which was to "move" the page to a better address.

But I am still aware that much much more needs to be done. The main VDM page needs tidying up, lots of editing, to be wikified, ...

Since much of the material on that page is really about the ISO standard VDM-SL, it seems prudent to work on the development of the history of the VDM Meta-IV here.

I am open to suggestions, help, advice, ...

--Михал Орела 19:33, 5 May 2008 (UTC)

Moved page

edit

I moved this page to Meta-IV (specification language) as this is the proper naming convention, and fits with other specification languages, such as Alloy (specification language). --ZimZalaBim talk 01:32, 6 May 2008 (UTC)Reply


Wow! Thanx a lot ZimZalaBimBim! I really appreciate that. Take care. --Михал Орела 10:33, 6 May 2008 (UTC)

edit

I have been spending a lot of time getting to know Wikipedia since May 2008. Now I feel I am in better position to help clean up this article. First step will be to add more references and citations... (MihalOrela (talk) 12:11, 13 August 2008 (UTC))Reply

Cliff Jones

edit

Noticed that the Cliff Jones link went to a disambiguation page. Have changed Cliff_Jones to Cliff_Jones_(computer_scientist) in order to get the direct link. (Михал Орела 14:42, 2 September 2008 (UTC))

edit

Hello fellow Wikipedians,

I have just modified one external link on Meta-IV (specification language). Please take a moment to review my edit. If you have any questions, or need the bot to ignore the links, or the page altogether, please visit this simple FaQ for additional information. I made the following changes:

When you have finished reviewing my changes, you may follow the instructions on the template below to fix any issues with the URLs.

This message was posted before February 2018. After February 2018, "External links modified" talk page sections are no longer generated or monitored by InternetArchiveBot. No special action is required regarding these talk page notices, other than regular verification using the archive tool instructions below. Editors have permission to delete these "External links modified" talk page sections if they want to de-clutter talk pages, but see the RfC before doing mass systematic removals. This message is updated dynamically through the template {{source check}} (last update: 5 June 2024).

  • If you have discovered URLs which were erroneously considered dead by the bot, you can report them with this tool.
  • If you found an error with any archives or the URLs themselves, you can fix them with this tool.

Cheers.—InternetArchiveBot (Report bug) 23:50, 8 June 2017 (UTC)Reply

edit

Hello fellow Wikipedians,

I have just modified 3 external links on Meta-IV (specification language). Please take a moment to review my edit. If you have any questions, or need the bot to ignore the links, or the page altogether, please visit this simple FaQ for additional information. I made the following changes:

When you have finished reviewing my changes, you may follow the instructions on the template below to fix any issues with the URLs.

This message was posted before February 2018. After February 2018, "External links modified" talk page sections are no longer generated or monitored by InternetArchiveBot. No special action is required regarding these talk page notices, other than regular verification using the archive tool instructions below. Editors have permission to delete these "External links modified" talk page sections if they want to de-clutter talk pages, but see the RfC before doing mass systematic removals. This message is updated dynamically through the template {{source check}} (last update: 5 June 2024).

  • If you have discovered URLs which were erroneously considered dead by the bot, you can report them with this tool.
  • If you found an error with any archives or the URLs themselves, you can fix them with this tool.

Cheers.—InternetArchiveBot (Report bug) 14:20, 26 January 2018 (UTC)Reply