Mostrando 4 resultados de: 4
Filtros aplicados
Publisher
CEUR Workshop Proceedings(1)
Information and Software Technology(1)
Lecture Notes in Business Information Processing(1)
Webist 2007 - 3rd International Conference on Web Information Systems and Technologies, Proceedings(1)
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:scopusSupporting user-oriented analysis for multi-view domain-specific visual languages
ArticleAbstract: The integration of usable and flexible analysis support in modelling environments is a key success fPalabras claves:Back-annotation, Consistency, Domain-specific visual languages, Formal Methods, Model transformation, Modelling EnvironmentsAutores:Díaz P., Guerra E., Juan De Lara, Malizia A.Fuentes:scopus