OPAC

A problem has been found

A problem has ocurred in the communication with the server.

Please, try again later. If the problem persists, contact the admin

Your search

Subject: Program validation Subject: validation Subject: UML

Sort by Score Title Year -

1-2 from 2 results (0.009 seconds)

Title: Modelo Ontológico de Depuración para Especificaciones de Casos de uso MOD-CAS / Ontological Model for Depuration of use Case Specifications MOD-CAS
Author: Grajales Rodríguez, Diego Alejandro
Language: Desconocido
Repository: 77
Subject: Ontología / Caso de Uso / OWL / Ingeniería / Web / UML / Protégé / Semántica / Ontology / Use Cases / Specification / Error / Requirements / Semantic / validation / Engineering

Acceder
Title: A Lightweight Approach for the Semantic Validation of Model Refinements
Author: Pons, Claudia / García, Diego
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / model checking / model transformation / modeling / MOF / Object Constraint Language / OCL / refinement / testing / UML / validation

Acceder

« Previous 1 Next »