Title:
|
Verificació i validació d'esquemes conceptuals UML/OCL amb operacions
|
Author:
|
Oriol Hilari, Xavier
|
Other authors:
|
Universitat Politècnica de Catalunya. Departament d'Enginyeria de Serveis i Sistemes d'Informació; Teniente López, Ernest |
Abstract:
|
En aquest projecte es construeix una eina per l'anàlisi d'esquemes conceptuals amb operacions basat en la reducció del problema a un problema de lògica de 1r ordre. A través d'uns tests predefinits i l'opció de definir-ne de propis, un usuari pot provar la correcció d'un esquema. |
Subject(s):
|
-Àrees temàtiques de la UPC::Informàtica::Sistemes d'informació -UML (Computer science) -Computer software--Testing -verificació -validació -esquema -conceptual -UML -OCL -comportament -verification -validation -schema -conceptual -behaviour -UML (Informàtica) -Programari--Verificació |
Rights:
|
|
Document type:
|
Bachelor Thesis |
Published by:
|
Universitat Politècnica de Catalunya
|
Share:
|
|