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 Modeling (OCL 2016) are now on-line as Volume 1759 of the CEUR Workshop Series [1].

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

References

[1]
A. D. Brucker, J. Cabot, and A. S.-B. Herrera, Eds., 16th international workshop on OCL and textual modeling, OCL 2016, saint-malo, france, october 2, 2016. proceedings, vol. 1756. CEUR-WS.org, 2016.
[2]
A. D. Brucker et al., Recent developments in OCL and textual modelling,” in Proceedings of the international workshop on OCL and textual modeling (OCL 2016), 2016, vol. 1756, pp. 157–165.

Welcome to the blog of the Software Assurance & Security Research Team at the University of Exeter. 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.

Categories

Archive

Tags

academia ai android apidesign appsec bitcoin blockchain bpmn browser browserextensions browsersecurity bug certification chrome composition cordova dast devops devsecops dom dsbd efsm epsrc event extensions fixeffort floss formaldocument formalmethods funding hol-ocl hol-testgen humanfactor hybridapps iast industry internetofthings iot isabelle/hol isabelledof isadof latex logic maintance malicous mbst mobile mobile apps modelinference modeling monads monitoring msc ocl ontology opensource owasp patches pet phd phdlife phishing policy protocols publishing reliability research safelinks safety sap sast sdlc secdevops secureprogramming security securityengineering securitytesting semantics servicecomposition skills smartcontract smartthings softwareeinginering softwaresecurity softwaresupplychain solidity staff&positions statemachine studentproject tcb test&proof testing tips&tricks tools transport tuos uk uoe upgrade usability verification vulnerabilities vulnerableapplication webinar websecurity

Search


blog whole site