| dc.contributor.author | Cabot, Jordi |
| dc.contributor.author | Teniente López, Ernest |
| dc.contributor.other | Universitat Politècnica de Catalunya. Departament d'Enginyeria de Serveis i Sistemes d'Informació |
| dc.date.accessioned | 2018-10-15T10:05:04Z |
| dc.date.available | 2018-10-15T10:05:04Z |
| dc.date.issued | 2007 |
| dc.identifier.citation | Cabot, J., Teniente, E. Comprobación eficiente de restricciones de integridad en OCL. A: Jornadas de Ingeniería del Software y Bases de Datos. "Actas de las XII Jornadas de Ingeniería del Software y Bases de Datos". 2007, p. 391-392. |
| dc.identifier.isbn | 978-84-9732-595-0 |
| dc.identifier.uri | http://hdl.handle.net/2117/122296 |
| dc.description.abstract | El proceso de comprobación de restricciones tiene como objetivo asegurar que el estado del sistema de información es consistente con las restricciones de integridad. La comprobación tiene que repetirse cada vez que el estado del sistema se modifica. La herramienta que aquí presentamos ayuda a realizar (automáticamente) esta comprobación de la forma más eficiente posible. |
| dc.format.extent | 2 p. |
| dc.language.iso | spa |
| dc.subject | Àrees temàtiques de la UPC::Informàtica::Enginyeria del software |
| dc.subject.lcsh | Software engineering |
| dc.subject.lcsh | Information storage and retrieval systems |
| dc.subject.other | Comprobación de restricciones |
| dc.subject.other | Sistemas de información |
| dc.subject.other | Restricciones de integridad |
| dc.title | Comprobación eficiente de restricciones de integridad en OCL |
| dc.type | Conference report |
| dc.subject.lemac | Enginyeria del programari |
| dc.subject.lemac | Informació -- Sistemes d'emmagatzematge i recuperació |
| dc.contributor.group | Universitat Politècnica de Catalunya. IMP - Information Modeling and Processing |
| dc.identifier.dl | M-38.230-2007 |
| dc.description.peerreviewed | Peer Reviewed |
| dc.rights.access | Open Access |
| local.identifier.drac | 21596401 |
| dc.description.version | Postprint (published version) |
| local.citation.author | Cabot, J.; Teniente, E. |
| local.citation.contributor | Jornadas de Ingeniería del Software y Bases de Datos |
| local.citation.publicationName | Actas de las XII Jornadas de Ingeniería del Software y Bases de Datos |
| local.citation.startingPage | 391 |
| local.citation.endingPage | 392 |
