Mostrando 10 resultados de: 30
Filtros aplicados
Publisher
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)(6)
ACM International Conference Proceeding Series(2)
Data and Knowledge Engineering(2)
IEEE Transactions on Software Engineering(2)
Information and Software Technology(2)
Área temáticas
Ciencias de la computación(19)
Programación informática, programas, datos, seguridad(18)
Métodos informáticos especiales(11)
Funcionamiento de bibliotecas y archivos(4)
Física aplicada(2)
CoSTest: A Tool for Validation of Requirements at Model Level
Conference ObjectAbstract: We present CoSTest, a tool that supports the validation of Conceptual Schemas by using testing. ThePalabras claves:Conceptual Schema Testing, Conceptual Schema Validation, Model-driven validation, Requirements-based testingAutores:Condori-Fernández N., María Fernanda Granda Juca, Pastor Ó., Vos T.E.J.Fuentes:googlescopusAutomated code generation of dynamic specializations: An approach based on design patterns and formal techniques
ArticleAbstract: In this work, we present an automatic code generation process from conceptual models. This process iPalabras claves:Code generation, Conceptual Modeling, design patterns, Formal languages, Object orientationAutores:Emilio Insfran, Pastor Ó., Pelechano V.Fuentes:scopusA Family of Experiments to Compare Two Model-Driven Development Tools vs a Traditional Development Method
ArticleAbstract: Context: There are many papers which extol the benefits of Model-Driven Development (MDD) compared tPalabras claves:D.1.2 Automatic Programming, D.2.1.e Methodologies, D.2.1.i ValidationAutores:Natalia Juristo, Panach Navarrete J.I., Pastor Ó.Fuentes:scopusA quality model for conceptual models of MDD environments
Book PartAbstract:Palabras claves:Autores:Alain Abran, Giachetti G., Maŕin B., Pastor Ó.Fuentes:scopusConceptual Modeling in the eXtreme
ArticleAbstract: Conceptual Modeling-based methods and their corresponding CASE tools have traditionally had one mainPalabras claves:Automatic code generation, Conceptual Modeling, Object-orientation, Requirements engineering, Software patternsAutores:Emilio Insfran, Pastor Ó., Pelechano V.Fuentes:scopusFrom object oriented conceptual modeling to automated programming in java
Conference ObjectAbstract: The development of Internet commercial applications and corporate Intranets around the world, that oPalabras claves:Autores:Emilio Insfran, Gómez J., Pastor Ó., Pelechano V.Fuentes:scopusFrom object-oriented conceptual modeling to component-based development
Conference ObjectAbstract: Conventional OO methodologies have to provide a well-defined Component-based development (CBD) procePalabras claves:Autores:Emilio Insfran, Gómez J., Pastor Ó., Pelechano V.Fuentes:scopusEvaluating model-driven development claims with respect to quality: A family of experiments
ArticleAbstract: Context: There is a lack of empirical evidence on the differences between model-driven development (Palabras claves:Automatic programming, Methodologies, ValidationAutores:Dieste Ó., España S., Maŕin B., Natalia Juristo, Panach Navarrete J.I., Pastor Ó., Vegas S.Fuentes:scopusEvaluating the usefulness of a functional size measurement procedure to detect defects in MDD models
Conference ObjectAbstract: Models are key artifacts in Model-Driven Development (MDD) methods. To evaluate the quality of modelPalabras claves:Case study, defect detection, Functional Size, MDDAutores:Alain Abran, Giachetti G., Maŕin B., Pastor Ó., Vos T.E.J.Fuentes:scopusEffectiveness assessment of an early testing technique using model-level mutants
Conference ObjectAbstract: While modern software development technologies enhance the capabilities of model-based/driven develoPalabras claves:Class diagram mutation, Conceptual schemas testing, Effectiveness assessment, Mutation testing, Test suite effectivenessAutores:Condori-Fernández N., María Fernanda Granda Juca, Pastor Ó., Vos T.E.J.Fuentes:googlescopus