Talk:VDM specification language

From Wikipedia, the free encyclopedia

You have new messages (last change).
This article or section may require cleanup to meet Wikipedia's quality standards.
Please help improve this article or replace this tag with a more specific message. This article has been tagged since March 2006. (help, talk)
This article needs more context around or a better explanation of technical details to make it more accessible to general readers and technical readers outside the specialty, without removing technical details. See below for more information.


I've been writing significant tracts of this article based on my university lecture notes. I find this subject fairly dull, but it is certainly worthwhile. That said, despite being in a substantially different (and, I think, better) style from the original source, this page still sucks. Please help re-write it!:

  1. More accessible language
  2. Tidier formula typesetting
  3. Better/cleaner examples

Whitepaw 14:35, 7 March 2006 (UTC)

Just a note, "_(curvearrow)_" is a description of the symbol, not the actual symbol. It's a curved arrow going clockwise from about 10 O'clock to 2 O'clock — Whitepaw 14:52, 31 August 2006 (UTC)

Retrieved from "http://en.wikipedia.org../../../v/d/m/Talk%7EVDM_specification_language_d8fe.html"