FANDOM


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