Skip to content

Generating Class Contracts from Deterministic UML Protocol Statemachines.

Ivan Porres, Irum Rauf

VenueAMODELS
Year2009
ProceedingsMoDELS (Workshops)

Browse the full MODELS paper archive.