Buscar por Materia Ingeniería de software
Mostrando resultados 1 a 6 de 6
| Fecha de publicación | Título | Autor(es) |
| 2015-08-07 | Backwards reasoning for model transformations: method and applications | Clarisó, Robert; Cabot, Jordi; Guerra, Esther; Lara Jaramillo, Juan de; Universitat Oberta de Catalunya (UOC); Universidad Autónoma de Madrid |
| 2012-01 | Projecte FacturaCloud, sistema de facturació al núvol | Ferrer Llanas, Sergio; Universitat Oberta de Catalunya; Raya Martos, José Antonio |
| 2017-11-27 | Smart bound selection for the verification of UML/OCL class diagrams | Clarisó, Robert; González Pérez, Carlos Alberto; Cabot, Jordi; University of Luxembourg; Universitat Oberta de Catalunya (UOC); Universitat Oberta de Catalunya. Internet Interdisciplinary Institute (IN3) |
| 2015-08-11 | Software modernization revisited: Challenges and prospects | Bruneliere, Hugo; Cabot, Jordi; Canovas Izquierdo, Javier Luis; Orue-Echevarria Arrieta, Leire; Strauss, Olivier; Wimmer, Manuel; Institut National de Recherche en Informatique et en Automatique (Inria); Universitat Oberta de Catalunya (UOC); Tecnalia; Fraunhofer-Institut für Arbeitswirtschaft und Organisation; Technische Universität Wien |
| 2017-03-22 | Traceability mappings as a fundamental instrument in model transformations | Diskin, Zinovy; Gómez Llana, Abel; Cabot, Jordi; Universitat Oberta de Catalunya. Internet Interdisciplinary Institute (IN3); McMaster University |
| 2011-06 | Two basic correctness properties for ATL transformations: Executability and coverage | Planas, Elena; Cabot, Jordi; Gómez Seoane, Cristina; Universitat Oberta de Catalunya (UOC); Universitat Politècnica de Catalunya (UPC); Institut National de Recherche en Informatique et en Automatique (Inria) |
