To access the full text documents, please follow this link: http://hdl.handle.net/2099.1/5454
Title: | Verifying consistency between structural and behavioral schemas in UML |
---|---|
Author: | Planas Hortal, Elena |
Other authors: | Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics; Gómez Seoane, Cristina; Cabot Sagrera, Jordi |
Abstract: | |
Subject(s): | -Àrees temàtiques de la UPC::Informàtica::Llenguatges de programació::Altres llenguatges de programació -UML (Computer science) -Computer software -- Verification -Verification -UML -Structural schema -UML (Informàtica) -Programari -- Verificació |
Rights: | Attribution-NonCommercial-NoDerivs 2.5 Spain
http://creativecommons.org/licenses/by-nc-nd/2.5/es/ |
Document type: | Research/Master Thesis |
Published by: | Universitat Politècnica de Catalunya |
Share: |