Para acceder a los documentos con el texto completo, por favor, siga el siguiente enlace: http://hdl.handle.net/2117/11238
dc.contributor | Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics |
---|---|
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 | Rull Fort, Guillem |
dc.contributor.author | Teniente López, Ernest |
dc.contributor.author | Farré Tost, Carles |
dc.contributor.author | Urpí Tubella, Antoni |
dc.date | 2010 |
dc.identifier.citation | Queralt, A. [et al.]. AuRUS: Automated Reasoning on UML/OCL Schemas. A: International Conference on Conceptual Modeling. "29th International Conference on Conceptual Modeling". Vancouver: Springer Verlag, 2010, p. 438-444. |
dc.identifier.citation | 10.1007/978-3-642-16373-9 |
dc.identifier.uri | http://hdl.handle.net/2117/11238 |
dc.language.iso | eng |
dc.publisher | Springer Verlag |
dc.relation | http://www.springerlink.com/content/?k=AuRUS%3a+Automated+Reasoning+on+UML%2fOCL+Schemas |
dc.rights | info:eu-repo/semantics/openAccess |
dc.subject | Àrees temàtiques de la UPC::Informàtica::Enginyeria del software |
dc.subject | Computer simulation -- Mathematical models |
dc.subject | Conceptual Modeling |
dc.subject | Modelització |
dc.title | AuRUS: Automated Reasoning on UML/OCL Schemas |
dc.type | info:eu-repo/semantics/publishedVersion |
dc.type | info:eu-repo/semantics/conferenceObject |
dc.description.abstract | |
dc.description.abstract |