(New page) |
(Added info, refs) |
||
| Line 1: | Line 1: | ||
'''CoMet''' ('''Comparative Methodology''') is a programming methodology project proposal by {{wp|Dines Bjorner}}. |
'''CoMet''' ('''Comparative Methodology''') is a programming methodology project proposal by {{wp|Dines Bjorner}}. |
||
| + | |||
| + | Existing lecture notes<ref>Dines Bjorner, [http://www.complang.tuwien.ac.at/bjorner/book.pdf Lecture notes].</ref> and slides<ref>Dines Bjorner, [http://www.complang.tuwien.ac.at/bjorner/4slides.pdf Lecture slides].</ref> use the [[RAISE]] formal method. It is planned to extend this to [[Alloy]], [[Event B]], [[VDM]] and [[Z]]. |
||
| + | |||
| + | == References == |
||
| + | {{reflist}} |
||
== External links == |
== External links == |
||
* [http://www.imm.dtu.dk/~db/comet/ CoMet website] |
* [http://www.imm.dtu.dk/~db/comet/ CoMet website] |
||
* [http://www.complang.tuwien.ac.at/bjorner/ Dines Bjørner's T.U.Wien Course Web Page], 12-30 April 2010 |
* [http://www.complang.tuwien.ac.at/bjorner/ Dines Bjørner's T.U.Wien Course Web Page], 12-30 April 2010 |
||
| − | * [http://www.complang.tuwien.ac.at/bjorner/book.pdf Lecture notes] |
||
| − | * [http://www.complang.tuwien.ac.at/bjorner/4slides.pdf Lecture slides] |
||
[[Category:2010]] |
[[Category:2010]] |
||
[[Category:Projects]] |
[[Category:Projects]] |
||
Revision as of 22:00, 14 June 2010
CoMet (Comparative Methodology) is a programming methodology project proposal by Dines Bjorner↑.
Existing lecture notes[1] and slides[2] use the RAISE formal method. It is planned to extend this to Alloy, Event B, VDM and Z.
References
- ↑ Dines Bjorner, Lecture notes.
- ↑ Dines Bjorner, Lecture slides.
External links
- CoMet website
- Dines Bjørner's T.U.Wien Course Web Page, 12-30 April 2010