To access the full text documents, please follow this link: http://hdl.handle.net/2099.1/5382
Title: | Verificación de diagramas de clases UML mediante Constraint Programming |
---|---|
Author: | Fuente Arcas, Patricia de la |
Other authors: | Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics; Gómez Seoane, Cristina |
Subject(s): | -Àrees temàtiques de la UPC::Informàtica::Programació -Computer software -- Verification -UML (Computer science) -Object-oriented methods (Computer science) -Programari -- Verificació -UML (Informàtica) -Mètodes orientats a objectes (Informàtica) |
Rights: | Attribution-NonCommercial-NoDerivs 2.5 Spain
http://creativecommons.org/licenses/by-nc-nd/2.5/es/ |
Document type: | Bachelor Thesis |
Published by: | Universitat Politècnica de Catalunya |
Share: |