To access the full text documents, please follow this link: http://hdl.handle.net/2099.1/15673
dc.contributor | Universitat Politècnica de Catalunya. Departament d'Enginyeria de Serveis i Sistemes d'Informació |
---|---|
dc.contributor | Teniente López, Ernest |
dc.contributor.author | Oriol Hilari, Xavier |
dc.date | 2012-06-14 |
dc.identifier.citation | 82308 |
dc.identifier.uri | http://hdl.handle.net/2099.1/15673 |
dc.language.iso | cat |
dc.publisher | Universitat Politècnica de Catalunya |
dc.rights | info:eu-repo/semantics/openAccess |
dc.subject | Àrees temàtiques de la UPC::Informàtica::Sistemes d'informació |
dc.subject | UML (Computer science) |
dc.subject | Computer software--Testing |
dc.subject | verificació |
dc.subject | validació |
dc.subject | esquema |
dc.subject | conceptual |
dc.subject | UML |
dc.subject | OCL |
dc.subject | comportament |
dc.subject | verification |
dc.subject | validation |
dc.subject | schema |
dc.subject | conceptual |
dc.subject | behaviour |
dc.subject | UML (Informàtica) |
dc.subject | Programari--Verificació |
dc.title | Verificació i validació d'esquemes conceptuals UML/OCL amb operacions |
dc.type | info:eu-repo/semantics/bachelorThesis |
dc.description.abstract |