Para acceder a los documentos con el texto completo, por favor, siga el siguiente enlace: http://hdl.handle.net/2117/17515
dc.contributor | Universitat Politècnica de Catalunya. Departament d'Enginyeria de Serveis i Sistemes d'Informació |
---|---|
dc.contributor | Universitat Politècnica de Catalunya. MPI - Modelització i Processament de la Informació |
dc.contributor.author | Queralt Calafat, Anna |
dc.contributor.author | Artale, Alessandro |
dc.contributor.author | Calvanese, Diego |
dc.contributor.author | Teniente López, Ernest |
dc.date | 2012 |
dc.identifier.citation | Queralt, A. [et al.]. OCL-Lite: a decidable (yet expressive) fragment of OCL. A: International Workshop on Description Logics. "Proceedings of the 25th International Workshop on Description Logics, June 7-10, 2012, Rome, Italy". Roma: 2012, p. 1-11. |
dc.identifier.citation | 1613-0073 |
dc.identifier.uri | http://hdl.handle.net/2117/17515 |
dc.language.iso | eng |
dc.relation | http://www.dis.uniroma1.it/~dl2012/proceedings.html |
dc.rights | info:eu-repo/semantics/openAccess |
dc.subject | Àrees temàtiques de la UPC::Informàtica::Sistemes d'informació |
dc.subject | Operational Control Language |
dc.subject | OCL-Lite |
dc.subject | Llenguatges de programació -- Estructures |
dc.title | OCL-Lite: a decidable (yet expressive) fragment of OCL |
dc.type | info:eu-repo/semantics/publishedVersion |
dc.type | info:eu-repo/semantics/conferenceObject |
dc.description.abstract | |
dc.description.abstract |