Featherweight OCL: A Proposal for a Machine-Checked Formal Semantics for OCL 2.5

Brucker, A.D., Tuong, F. and Wolff, B. (2015) Featherweight OCL: A Proposal for a Machine-Checked Formal Semantics for OCL 2.5. Report. LRI, Univ Paris Sud, CNRS, Centrale Supélec, Université Paris-Saclay, France. (Unpublished)

Abstract

Metadata

Authors/Creators:
  • Brucker, A.D.
  • Tuong, F.
  • Wolff, B.
Copyright, Publisher and Additional Information: Distributed under a Creative Commons Attribution 4.0 (http://creativecommons.org/licenses/by/4.0/)International License
Dates:
  • Published: September 2015
Institution: The University of Sheffield
Academic Units: The University of Sheffield > Faculty of Engineering (Sheffield) > Department of Computer Science (Sheffield)
Depositing User: Symplectic Sheffield
Date Deposited: 24 Feb 2016 11:35
Last Modified: 23 Mar 2016 15:24
Status: Unpublished

Share / Export