Para acceder a los documentos con el texto completo, por favor, siga el siguiente enlace: http://hdl.handle.net/2099.1/5382
Título: | Verificación de diagramas de clases UML mediante Constraint Programming |
---|---|
Autor/a: | Fuente Arcas, Patricia de la |
Otros autores: | Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics; Gómez Seoane, Cristina |
Materia(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) |
Derechos: | Attribution-NonCommercial-NoDerivs 2.5 Spain
http://creativecommons.org/licenses/by-nc-nd/2.5/es/ |
Tipo de documento: | Trabajo/Proyecto fin de carrera |
Editor: | Universitat Politècnica de Catalunya |
Compartir: |