Verificación de diagramas de clases UML mediante Constraint Programming

Fuente Arcas, Patricia de la

dc.contributor	Gómez Seoane, Cristina
dc.contributor.author	Fuente Arcas, Patricia de la
dc.contributor.other	Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics
dc.date.accessioned	2008-09-23T10:44:23Z
dc.date.available	2008-09-23T10:44:23Z
dc.date.issued	2007-07-06
dc.identifier.uri	http://hdl.handle.net/2099.1/5382
dc.language.iso	spa
dc.publisher	Universitat Politècnica de Catalunya
dc.rights	Attribution-NonCommercial-NoDerivs 2.5 Spain
dc.rights.uri	http://creativecommons.org/licenses/by-nc-nd/2.5/es/
dc.subject	Àrees temàtiques de la UPC::Informàtica::Programació
dc.subject.lcsh	Computer software -- Verification
dc.subject.lcsh	UML (Computer science)
dc.subject.lcsh	Object-oriented methods (Computer science)
dc.title	Verificación de diagramas de clases UML mediante Constraint Programming
dc.type	Master thesis (pre-Bologna period)
dc.subject.lemac	Programari -- Verificació
dc.subject.lemac	UML ‪(‬Informàtica‪)‬
dc.subject.lemac	Mètodes orientats a objectes ‪(‬Informàtica‪)‬
dc.rights.access	Open Access
dc.audience.educationlevel	Estudis de primer/segon cicle
dc.audience.mediator	Facultat d'Informàtica de Barcelona
dc.audience.degree	ENGINYERIA TÈCNICA D'INFORMÀTICA DE GESTIÓ (Pla 2003)