Instituciones
Área de conocimientoIdentificadores de autorPeriodo de publicación recogido
|
|
Jordi Cabot
Charles Favre
Enrique Mayol Sarroca
Maria Ribera Sanchote
Toni Urpí
Jordi Cabot Sagrera
Anna Queralt Calafat
Montserrat Estañol Lamarca
Montserrat Estañol
M. Ribera Sancho
M. Dolors Costal Costa
Carles Farré Tost
Guillem Rull Fort
Anna Queralt
Xavier Oriol Hilari
|
Ensuring the semantic correctness of a BAUML artifact-centric BPM
Montserrat Estañol, Maria Ribera Sanchote, Ernest Teniente López
Information and software technology, ISSN 0950-5849, Nº 93, 2018, págs. 147-162
Automated reasoning on UML conceptual schemas with derived information and queries
Charles Favre , Anna Queralt, Guillem Rull Fort, Ernest Teniente López, Toni Urpí
Information and software technology, ISSN 0950-5849, Vol. 55, Nº 9, 2013, págs. 1529-1550
Comprobación eficiente de restricciones de integridad en OCL
Jordi Cabot, Ernest Teniente López
Actas de las XII Jornadas de Ingeniería del Software y Bases de Datos / Xavier Franch (ed. lit.) , 2007, ISBN 978-84-9732-595-0, págs. 391-392
Enginyeria del software: especificació: especificació de sistemes orientats a objectes amb la notació UML
M. Dolors Costal Costa , Ernest Teniente López, M. Ribera Sancho
Universidad Politécnica de Cataluña / Universitat Politècnica de Catalunya, 2000. ISBN 84-8301-379-7
El metode dels esdeveniments per a l'actualitzacio de vistes en bases de dades deductives
Ernest Teniente López
Tesis doctoral dirigida por Antoni Olivé Ramon (dir. tes.) . Universitat Politècnica de Catalunya (UPC) (1992).
Incremental checking and maintenance of uml/ocl integrity constraints
Xavier Oriol Hilari
Tesis doctoral dirigida por Ernest Teniente López (dir. tes.). Universitat Politècnica de Catalunya (UPC) (2017).
Artifact-centric business process models in UML: specification and reasoning
Montserrat Estañol Lamarca
Tesis doctoral dirigida por Ernest Teniente López (dir. tes.). Universitat Politècnica de Catalunya (UPC) (2016).
Validation of uml conceptual schemas with ocl constraints and operations
Tesis doctoral dirigida por Ernest Teniente López (dir. tes.). Universitat Politècnica de Catalunya (UPC) (2009).
Incremental integrity checking in uml/ocl conceptual schemas
Tesis doctoral dirigida por Ernest Teniente López (dir. tes.). Universitat Politècnica de Catalunya (UPC) (2006).
A new method for query containment checking in databases
Tesis doctoral dirigida por Antoni Urpí Tubella (dir. tes.) , Ernest Teniente López (codir. tes.). Universitat Politècnica de Catalunya (UPC) (2003).
Actualizacio consistent de bases de dades deductives
Tesis doctoral dirigida por Ernest Teniente López (dir. tes.). Universitat Politècnica de Catalunya (UPC) (2000).
Esta página recoge referencias bibliográficas de materiales disponibles en los fondos de las Bibliotecas que participan en Documat. En ningún caso se trata de una página que recoja la producción bibliográfica de un autor de manera exhaustiva. Nos gustaría que los datos aparecieran de la manera más correcta posible, de manera que si detecta algún error en la información que facilitamos, puede hacernos llegar su Sugerencia / Errata.
© 2008-2024 Fundación Dialnet · Todos los derechos reservados