Frank Hilken, Marcel Schuster, Karsten Sohr, Martin Gogolla. Integrating UML/OCL Derived Properties into Validation and Verification Processes. In Achim D. Brucker, Jordi Cabot, Adolfo Sánchez-Barbudo Herrera, editors, Proceedings of the 16th International Workshop on OCL and Textual Modelling co-located with 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016), Saint-Malo, France, October 2, 2016. Volume 1756 of CEUR Workshop Proceedings, pages 89-104, CEUR-WS.org, 2016. [doi]
@inproceedings{HilkenSSG16,
title = {Integrating UML/OCL Derived Properties into Validation and Verification Processes},
author = {Frank Hilken and Marcel Schuster and Karsten Sohr and Martin Gogolla},
year = {2016},
url = {http://ceur-ws.org/Vol-1756/paper07.pdf},
researchr = {https://researchr.org/publication/HilkenSSG16},
cites = {0},
citedby = {0},
pages = {89-104},
booktitle = {Proceedings of the 16th International Workshop on OCL and Textual Modelling co-located with 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016), Saint-Malo, France, October 2, 2016},
editor = {Achim D. Brucker and Jordi Cabot and Adolfo Sánchez-Barbudo Herrera},
volume = {1756},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}