Mostrando 2 resultados de: 2
Filtros aplicados
Subtipo de publicación
Conference Object(2)
Publisher
Lecture Notes in Business Information Processing(1)
Webist 2007 - 3rd International Conference on Web Information Systems and Technologies, Proceedings(1)
Área temáticas
Funcionamiento de bibliotecas y archivos(2)
Origen
scopus(2)
Model driven development of digital libraries-Validation, analysis and code generation
Conference ObjectAbstract: This paper shows our model-driven approach for the formal construction and validation of Digital LibPalabras claves:Digital library, Formal Methods, Graph transformation, Meta-Modelling, Model driven developmentAutores:Guerra E., Juan De Lara, Malizia A.Fuentes:scopusModel driven formal development of digital libraries
Conference ObjectAbstract: This paper shows our model-driven approach for the formal construction and validation of Digital LibPalabras claves:Digital libraries, Formal Methods, Graph transformation, Meta-Modelling, Model driven developmentAutores:Guerra E., Juan De Lara, Malizia A.Fuentes:scopus