Posted on by Achim D. Brucker, licensed under CC BY-ND 4.0.

OCL 2016 Proceedings are Online

The proceedings of the International Workshop on OCL and Textual Modelling (OCL 2016) are now online as Volume 1759 of the CEUR Workshop Series [1].

The proceedings contain 11 peer-reviewed papers presenting the latest research related to Textual Modelling in general and the Object Constrained Language (OCL) in particular. Moreover, the proceedings also contain an invited paper [2] that summarises the lightning talks given during the open discussion session at the workshop.


1. “16th International Workshop on Ocl and Textual Modeling, Ocl 2016, Saint-Malo, France, October 2, 2016. Proceedings” 1756, (2016): URL:

2. Brucker, A. D., Cabot, J., Daniel, G., Gogolla, M., Herrera, A. S.-B., Hilken, F., Tuong, F., Willink, E. D., and Wolff, B. “Recent Developments in Ocl and Textual ModellingProceedings of the international workshop on ocl and textual modeling (ocl 2016) 1756, (2016): 157–165. URL:

Welcome to the blog of the Software Assurance & Security Research Team at The University of Sheffield. We blog regularly news, tips & tricks, as well as fun facts about software assurance, reliability, security, testing, verification, hacking, and logic.

You can also follow us on Twitter: @logicalhacking.




academia appsec cordova dast devops devsecops event fixeffort floss hol-ocl hol-testgen iast industry isabelle/hol logic mbst mobile modelling monads ocl opensource owasp research sap sast sdlc secdevops security securityengineering securitytesting staff&positions test&proof testing tips&tricks tools tuos uk verification


blog whole site