Para acceder a los documentos con el texto completo, por favor, siga el siguiente enlace: http://hdl.handle.net/2099.1/5382

Verificación de diagramas de clases UML mediante Constraint Programming
Fuente Arcas, Patricia de la
Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics; Gómez Seoane, Cristina
À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‪)‬
Attribution-NonCommercial-NoDerivs 2.5 Spain
http://creativecommons.org/licenses/by-nc-nd/2.5/es/
info:eu-repo/semantics/bachelorThesis
Universitat Politècnica de Catalunya
         

Mostrar el registro completo del ítem