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

OCL Workshop -- The 2017 Edition

It is already the time of the year when you should prepare your submission to the International Workshop on OCL and Textual Modelling. The Call for Paper is already published.

This is already the 17th edition of the workshop. Note that this year, the workshop will be co-located with the STAF conference taking place in Marburg, Germany.

See you in Marburg!

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.

Categories

Archive

Tags

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 webinar

Search


blog whole site