Se ha detectado un problema
Ha ocurrido un problema de comunicación con el servidor.
Por favor, inténtelo nuevamente mas tarde. Si el problema continúa, comuníquese con el administrador del sistema
Inicio
Repositorios
Autores
Tipos de Documento
Estadísticas
Acerca de
Consulta
Búsqueda Avanzada
Búsqueda Simple
Título
Autor
Descriptores
Año
Refine su Búsqueda
Repositorio
37
(1)
Ver Mas
Ver Menos
Autor
García, Diego
(1)
Pons, Claudia
(1)
Ver Mas
Ver Menos
Tema
Ciencias Informáticas
(1)
MOF
(1)
OCL
(1)
Object Constraint Language
(1)
UML
(1)
model checking
(1)
model transformation
(1)
modeling
(1)
refinement
(1)
testing
(1)
Ver Mas
Ver Menos
Año
2008
(1)
2019
(1)
Ver Mas
Ver Menos
Tipo de Documento
Artículo
(1)
Ver Mas
Ver Menos
Idioma
Inglés
(1)
Ver Mas
Ver Menos
Su Búsqueda
Tema:
modeling
Idioma:
Inglés
Repositorio:
37
Año:
2019
Ordenar por
Relevancia
Título
Año
-
1-1 de
1
resultados
(0.01 segundos)
Título:
A Lightweight Approach for the Semantic Validation of Model Refinements
Autor:
Pons, Claudia
/
García, Diego
Idioma:
Inglés
Repositorio:
37
Descriptores:
Ciencias Informáticas
/
model checking
/
model transformation
/
modeling
/
MOF
/
Object Constraint Language
/
OCL
/
refinement
/
testing
/
UML
/
validation
Acceder
« Anterior
1
Siguiente »