Mostrando 4 resultados de: 4
Filtros aplicados
Publisher
ASE 2014 - Proceedings of the 29th ACM/IEEE International Conference on Automated Software Engineering(1)
Information Systems(1)
SLE 2015 - Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering(1)
Software and Systems Modeling(1)
Área temáticas
Programación informática, programas, datos, seguridad(3)
Ciencias de la computación(1)
Instrumentos de precisión y otros dispositivos(1)
Métodos informáticos especiales(1)
Área de conocimiento
Ingeniería de software(3)
Ciencias de la computación(1)
Optimización matemática(1)
Simulación por computadora(1)
Software(1)
Origen
scopus(4)
Combining unit and specification-based testing for meta-model validation and verification
ArticleAbstract: Meta-models play a cornerstone role in Model-Driven Engineering as they are used to define the abstrPalabras claves:Domain-specific modelling languages, Meta-model quality, Meta-Modelling, model-driven engineering, Validation & verificationAutores:Guerra E., Juan De Lara, López-Fernández J.J.Fuentes:scopusExample-based validation of domain-specific visual languages
Conference ObjectAbstract: The definition of Domain-Specific Languages (DSLs) is a recurrent activity in Model-Driven EngineeriPalabras claves:Domain-Specific Visual Lan-guages, Meta-model Validation and Verification, Meta-ModellingAutores:Guerra E., Juan De Lara, López-Fernández J.J.Fuentes:scopusExample-driven meta-model development
ArticleAbstract: The intensive use of models in model-driven engineering (MDE) raises the need to develop meta-modelsPalabras claves:Domain-specific modelling languages, Example-driven modelling, Interactive Meta-Modelling, Meta-Model Design Exploration, Meta-model induction, Meta-model validation, Meta-ModellingAutores:Guerra E., Juan De Lara, López-Fernández J.J., Sánchez Cuadrado J.S.Fuentes:scopusMeta-model validation and verification with metabest
Conference ObjectAbstract: Meta-models play a cornerstone role in Model-Driven Engineering as they are used to define the abstrPalabras claves:Example-based meta-modelling, Meta-Modelling, Metamodel testing, Validation and verification (V&V)Autores:Guerra E., Juan De Lara, López-Fernández J.J.Fuentes:scopus