Mostrando 10 resultados de: 25
Filtros aplicados
Publisher
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)(5)
Data and Knowledge Engineering(2)
IEEE Transactions on Software Engineering(2)
Information and Software Technology(2)
11th Workshop on Requirements Engineering, WER 2008 - Proceedings(1)
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 framework to identify primitives that represent usability within Model-Driven Development methods
ArticleAbstract: Context: Nowadays, there are sound methods and tools which implement the Model-Driven Development apPalabras claves:Conceptual model, Model-driven development, UsabilityAutores:Natalia Juristo, Panach Navarrete J.I., Pastor Ó., Valverde F.Fuentes:scopusA model-level mutation tool to support the assessment of the test case quality
Book PartAbstract: Although mutation testing is a well-known technique for assessing the quality of tests, there is notPalabras claves:Class diagram mutants, Model-level mutation, Mutation tool, Test cases qualityAutores:Condori-Fernández N., María Fernanda Granda Juca, Pastor Ó., Vos T.E.J.Fuentes:googlerraaescopusA quality model for conceptual models of MDD environments
Book PartAbstract:Palabras claves:Autores:Alain Abran, Giachetti G., Maŕin B., Pastor Ó.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:scopus