Featherweight OCL A Proposal for a Machine-Checked Formal Semantics for OCL 2.5 Achim D. Brucker∗ Fr´ed´eric Tuong‡ - Featherweight - Document - PDFSEARCH.IO

First Page	Meta Content
	Featherweight OCL A Proposal for a Machine-Checked Formal Semantics for OCL 2.5 Achim D. Brucker∗ Fr´ed´eric Tuong‡ Add to Reading List Document Date: 2014-01-16 16:42:44 Open Document File Size: 991,75 KB Share Result on Facebook City Paris / Orsay / Palaiseau / / Company SAP AG / / Country Germany / France / / / Facility Library Definitions / / Organization .fr Univ. / Formal Foundation / Theory Organization / / ProgrammingLanguage Unified Modeling Language / Object Constraint Language / / Technology av / / SocialTag Mathematical logic Models of computation ISO standards Object Constraint Language Logic in computer science ECO Denotational semantics Lambda calculus Predicate Mathematics

Featherweight OCL A Proposal for a Machine-Checked Formal Semantics for OCL 2.5 Achim D. Brucker∗ Fr´ed´eric Tuong‡Add to Reading List