Verificación de diagramas de clases UML mediante Constraint Programming
Tipus de documentProjecte/Treball Final de Carrera
Data2007-07-06
Condicions d'accésAccés obert
Llevat que s'hi indiqui el contrari, els
continguts d'aquesta obra estan subjectes a la llicència de Creative Commons
:
Reconeixement-NoComercial-SenseObraDerivada 2.5 Espanya
MatèriesComputer software -- Verification, UML (Computer science), Object-oriented methods (Computer science), Programari -- Verificació, UML (Informàtica), Mètodes orientats a objectes (Informàtica)
TitulacióENGINYERIA TÈCNICA D'INFORMÀTICA DE GESTIÓ (Pla 2003)
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
Portada.pdf | Portada | 179,5Kb | Visualitza/Obre | |
de la Fuente_memòria1.pdf | Memòria1 | 16,72Mb | Visualitza/Obre | |
de la Fuente_memòria2.pdf | Memòria2 | 23,18Mb | Visualitza/Obre | |
de la Fuente_memòria3.pdf | Memòria3 | 19,36Mb | Visualitza/Obre |