Show simple item record

dc.contributor.authorCabot, Jordi
dc.contributor.authorTeniente López, Ernest
dc.contributor.otherUniversitat Politècnica de Catalunya. Departament d'Enginyeria de Serveis i Sistemes d'Informació
dc.date.accessioned2018-10-15T10:05:04Z
dc.date.available2018-10-15T10:05:04Z
dc.date.issued2007
dc.identifier.citationCabot, 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.isbn978-84-9732-595-0
dc.identifier.urihttp://hdl.handle.net/2117/122296
dc.description.abstractEl 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.extent2 p.
dc.language.isospa
dc.subjectÀrees temàtiques de la UPC::Informàtica::Enginyeria del software
dc.subject.lcshSoftware engineering
dc.subject.lcshInformation storage and retrieval systems
dc.subject.otherComprobación de restricciones
dc.subject.otherSistemas de información
dc.subject.otherRestricciones de integridad
dc.titleComprobación eficiente de restricciones de integridad en OCL
dc.typeConference report
dc.subject.lemacEnginyeria del programari
dc.subject.lemacInformació -- Sistemes d'emmagatzematge i recuperació
dc.contributor.groupUniversitat Politècnica de Catalunya. IMP - Information Modeling and Processing
dc.identifier.dlM-38.230-2007
dc.description.peerreviewedPeer Reviewed
dc.rights.accessOpen Access
local.identifier.drac21596401
dc.description.versionPostprint (published version)
local.citation.authorCabot, J.; Teniente, E.
local.citation.contributorJornadas de Ingeniería del Software y Bases de Datos
local.citation.publicationNameActas de las XII Jornadas de Ingeniería del Software y Bases de Datos
local.citation.startingPage391
local.citation.endingPage392


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record

All rights reserved. This work is protected by the corresponding intellectual and industrial property rights. Without prejudice to any existing legal exemptions, reproduction, distribution, public communication or transformation of this work are prohibited without permission of the copyright holder