Exploració per tema "Programari--Verificació"
Ara es mostren els items 1-1 de 1
-
Verificació i validació d'esquemes conceptuals UML/OCL amb operacions
(Universitat Politècnica de Catalunya, 2012-06-14)
Projecte/Treball Final de Carrera
Accés obertEn 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 ...