Talk:VDM specification language
 | This article may require cleanup to meet Wikipedia's quality standards. No cleanup reason has been specified. Please help improve this article if you can. |
| This article may be too technical for most readers to understand. |
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!:
- More accessible language
- Tidier formula typesetting
- 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)
A great job has been done so far in providing a comprehensive introduction to VDM. Nonetheless, I agree with Whitepaw that the article is quite dull. There's interesting current work on tools development and indistrial application in VDM, and some of it is significant enough to merit inclusion in the articles, potentially making them more interesting and relevant to a wider readership.
I agree strongly with the suggestion that this article should be merged with the Vienna Development Method. I'd like then to revise the merged article so that it uses the ASCII versions of the notation permitted by the ISO Standard and now used in the current textbooks and, importantly, the tools. In my experience, this also serves to make the notation more accessible to the general computer science reader and provides for tidier typesetting.