Open AccessFeatherweight OCL: A Proposal for a Machine-Checked Formal Semantics for OCL 2.5
Author(s) -
Achim D. Brucker,
Frédéric Tuong,
Burkhart Wolff
Publication year - 2015
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - programming language , computer science , semantics (computer science) , formal semantics (linguistics) , object constraint language , unified modeling language , software engineering , software , applications of uml