Featherweight OCL A study for the consistent semantics of OCL 2.3 in HOL Achim D. Brucker Burkhart Wolff∗

First Page		Document Content
Date: 2012-09-25 06:20:13 Unified Modeling Language Object Constraint Language Software Data management ECO Isabelle OCL Null Higher-order logic		Featherweight OCL A study for the consistent semantics of OCL 2.3 in HOL Achim D. Brucker Burkhart Wolff∗ Add to Reading List Source URL: st.inf.tu-dresden.de Download Document from Source Website File Size: 203,87 KB Share Document on Facebook

	PDF Document DocID: 1xBSC - View Document
	PDF Document DocID: 1vpCC - View Document
	OCLUML 2003 Preliminary Version Specifying JAVA CARD API in OCL Daniel Larsson 1 Wojciech Mostowski 2 DocID: 1uMJu - View Document
	平成３０年２月～平成３1年１月図書館カレンダー（建部町図書館）　３　月（平成30年）２　月 DocID: 1u5TH - View Document
	Press Release 25 February 2015 AsiaPay Partners with Octopus to Expand Payment Gateway for Octopus Online Payment Service AsiaPay today announced its partnership with Octopus Cards Limited (OCL) to offer customers an ex DocID: 1u3pR - View Document