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]
@inproceedings{PorresR09, title = {Generating Class Contracts from Deterministic UML Protocol Statemachines}, author = {Ivan Porres and Irum Rauf}, year = {2009}, doi = {10.1007/978-3-642-12261-3_17}, url = {http://dx.doi.org/10.1007/978-3-642-12261-3_17}, tags = {contracts, protocol, UML}, researchr = {https://researchr.org/publication/PorresR09}, cites = {0}, citedby = {0}, pages = {172-185}, booktitle = {Models in Software Engineering, Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009, Reports and Revised Selected Papers}, editor = {Sudipto Ghosh}, volume = {6002}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-642-12260-6}, }