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: |
|