Automatic generation of JML and LIME specifications from UML protocol state machines

Mats Lövdahl Supervisor:Ivan Porres, Automatic generation of JML and LIME specifications from UML protocol state machines . 2009.

BibTeX entry:

@MASTERSTHESIS{982612,
  title = {Automatic generation of JML and LIME specifications from UML protocol state machines },
  author = {Lövdahl, Mats},
  supervisor(s) = {Porres, Ivan},
  school = {Åbo Akademi University},
  year = {2009},
}