External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Integrating UML/OCL Derived Properties into Validation and Verification Processes

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]

Authors

Frank Hilken

This author has not been identified. Look up 'Frank Hilken' in Google

Marcel Schuster

This author has not been identified. Look up 'Marcel Schuster' in Google

Karsten Sohr

This author has not been identified. Look up 'Karsten Sohr' in Google

Martin Gogolla

This author has not been identified. It may be one of the following persons: Look up 'Martin Gogolla' in Google
runs on