Mostrando 3 resultados de: 3
Filtros aplicados
Subtipo de publicación
Conference Object(3)
Publisher
CEUR Workshop Proceedings(1)
Lecture Notes in Business Information Processing(1)
Webist 2007 - 3rd International Conference on Web Information Systems and Technologies, Proceedings(1)
Área temáticas
Métodos informáticos especiales(1)
Origen
scopus(3)
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:scopusModel-driven development of Digital Libraries: Generating the user interface
Conference ObjectAbstract: Digital Libraries (DLs) are extremely complex information systems that integrate findings from disciPalabras claves:design, human factors, LANGUAGESAutores:Guerra E., Juan De Lara, Malizia A.Fuentes:scopus