open navigation menu
Autores
Documentos
Organizaciones
Eventos
Proyectos
Patentes
Servicios
Inicio
Acerca de
Explorar
Análisis
Reportes
Regresar
Inicio
/
Explore
/
Authors
Mostrando
1
resultados de:
1
Filtros
Filtros aplicados
Año de Publicación: "2007"
Subtipo de publicación
Conference Object
(1)
Publisher
Webist 2007 - 3rd International Conference on Web Information Systems and Technologies, Proceedings
(1)
Área temáticas
Funcionamiento de bibliotecas y archivos
(1)
Área de conocimiento
Ciencias de la computación
(1)
Ingeniería de software
(1)
Origen
scopus
(1)
Palabras Claves
Digital library
(1)
Formal Methods
(1)
Graph transformation
(1)
Meta-Modelling
(1)
Model driven development
(1)
Model driven development of digital libraries-Validation, analysis and code generation
Conference Object
Abstract:
This paper shows our model-driven approach for the formal construction and validation of Digital Lib
Palabras claves:
Digital library, Formal Methods, Graph transformation, Meta-Modelling, Model driven development
Autores:
Guerra E., Juan De Lara, Malizia A.
Fuentes:
scopus
1
1
