Ir al contenido (pulsa Retorno)

Universitat Politècnica de Catalunya

    • Català
    • Castellano
    • English
    • LoginRegisterLog in (no UPC users)
  • mailContact Us
  • world English 
    • Català
    • Castellano
    • English
  • userLogin   
      LoginRegisterLog in (no UPC users)

UPCommons. Global access to UPC knowledge

Banner header
59.689 UPC E-Prints
You are here:
View Item 
  •   DSpace Home
  • E-prints
  • Grups de recerca
  • IMP - Information Modeling and Processing
  • Ponències/Comunicacions de congressos
  • View Item
  •   DSpace Home
  • E-prints
  • Grups de recerca
  • IMP - Information Modeling and Processing
  • Ponències/Comunicacions de congressos
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

Comprobación eficiente de restricciones de integridad en OCL

Thumbnail
View/Open
Comprobacion_eficiente.pdf (307,8Kb)
Share:
 
  View Usage Statistics
Cita com:
hdl:2117/122296

Show full item record
Cabot, Jordi
Teniente López, ErnestMés informacióMés informacióMés informació
Document typeConference report
Defense date2007
Rights accessOpen Access
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
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.
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. 
URIhttp://hdl.handle.net/2117/122296
DLM-38.230-2007
ISBN978-84-9732-595-0
Collections
  • IMP - Information Modeling and Processing - Ponències/Comunicacions de congressos [89]
  • Departament d'Enginyeria de Serveis i Sistemes d'Informació - Ponències/Comunicacions de congressos [502]
Share:
 
  View Usage Statistics

Show full item record

FilesDescriptionSizeFormatView
Comprobacion_eficiente.pdf307,8KbPDFView/Open

Browse

This CollectionBy Issue DateAuthorsOther contributionsTitlesSubjectsThis repositoryCommunities & CollectionsBy Issue DateAuthorsOther contributionsTitlesSubjects

© UPC Obrir en finestra nova . Servei de Biblioteques, Publicacions i Arxius

info.biblioteques@upc.edu

  • About This Repository
  • Contact Us
  • Send Feedback
  • Privacy Settings
  • Inici de la pàgina