This is an archived static view of the legacy MOMENT web site. If you need to recover something from the old site, contact us!
Administrator | Login | Register | Search
       
   
Reference Details
Boronat, Artur, Ramos, Isidro and Carsí, José Á. (2006), "Definition of OCL 2.0 Operational Semantics by means of a Parameterized Algebraic Specification", WAFOCA'06. First International Workshop on algebraic foundations for OCL and Applications.

Electronic Paper Link  Electronic Paper Link