An Algebraic Specification of Generic OCL Queries within the Eclipse Modeling Framework

Boronat Moll Arturo, Oriente Cantos Joaquín, Gómez Llana Abel, Ramos Salavert Isidro, Carsí Cubel José Ángel

2006

Lecture Notes in Computer Science