Generating Class Contracts from Deterministic UML Protocol Statemachines

Ivan Porres, Irum Rauf. Generating Class Contracts from Deterministic UML Protocol Statemachines. In Sudipto Ghosh, editor, Models in Software Engineering, Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009, Reports and Revised Selected Papers. Volume 6002 of Lecture Notes in Computer Science, pages 172-185, Springer, 2009. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.