Documentos de Malizia A. | REDI

Regresar

Mostrando 1 resultados de: 1

Filtros aplicados

Publisher: "Lecture Notes in Business Information Processing"

Subtipo de publicación

Conference Object(1)

Área temáticas

Funcionamiento de bibliotecas y archivos(1)

Área de conocimiento

Ciencias de la computación(1)

Ingeniería de software(1)

Objetivos de Desarrollo Sostenible

ODS 16: Paz, justicia e instituciones sólidas(1)

ODS 4: Educación de calidad(1)

ODS 9: Industria, innovación e infraestructura(1)

Año de Publicación

Origen

Palabras Claves

Digital libraries(1)

Formal Methods(1)

Graph transformation(1)

Meta-Modelling(1)

Model driven development(1)

Model driven formal development of digital libraries

Conference Object

Abstract: This paper shows our model-driven approach for the formal construction and validation of Digital Lib

Palabras claves:

Digital libraries, Formal Methods, Graph transformation, Meta-Modelling, Model driven development

Guerra E., Juan De Lara, Malizia A.