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 Edit

  1. Dines Bjorner, Lecture notes.
  2. Dines Bjorner, Lecture slides.

External links Edit

Ad blocker interference detected!

Wikia is a free-to-use site that makes money from advertising. We have a modified experience for viewers using ad blockers

Wikia is not accessible if you’ve made further modifications. Remove the custom ad blocker rule(s) and the page will load as expected.