Buscar
Mostrando ítems 11-20 de 142
Artículo
Generating non-conspiratorial executions
(Elsevier, 2007)
Avoiding conspiratorial executions is useful for debugging, model checking or refinement, and helps implement several wellknown problems in faulty environments; furthermore, avoiding non-equivalence robust executions ...
Ponencia
EVFUZZYSYSTEM: evolución de sistemas difusos para problemas de regresión multi-dimensionales
(Universidad de Huelva, 2010)
Este trabajo presenta EvFuzzySystem, un método evolutivo que permite el diseño com pleto de sistemas de lógica difusa, generando de forma simultánea funciones miembro y conjunto de reglas apropiados. EvFuzzySys tem ...
Ponencia
Automated testing on the analysis of variability-intensive artifacts: An exploratory study with SAT Solvers
(Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2012)
The automated detection of faults on variability analysis tools is a challenging task often infeasible due to the combinatorial com plexity of the analyses. In previous works, we successfully automated the generation of ...
Ponencia
A Template–Based Approach to Describing Metamorphic Relations
(IEEE Computer Society, 2017)
Metamorphic testing enables the generation of test cases in the absence of an oracle by exploiting relations among different executions of the program under test, called metamorphic relations. In a recent survey, we ...
Ponencia
Best Agglomerative Ranked Subset for Feature Selection
(2008-09)
The enormous increase of the size in databases makes finding an optimal subset of features extremely difficult. In this paper, a new feature selection method is proposed that will allow any subset evaluator -including the ...
Ponencia
FAMA: hacia el análisis automático de modelos de características
(Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2007)
Ponencia
Towards Automated Refactoring of Feature Models Using Graph Transformations
(2007)
Software Produ t Line (SPL) development is an approa h to develop families of software systems in a systemati way. A Feature Model (FM) represent all the produ ts in a SPL in terms of features. Applying refa toring to an ...
Ponencia
Towards a Theory on the Role of Ontologies in Software Engineering Problem Solving: Conclusions from a Theoretical Model of Methodological Works
(Springer, 2005)
We present and validate a theoretical model of methodological works in Software Engineering that, without claiming for completeness, allows us to investigate the role of ontologies in the problem solving process related ...
Ponencia
Sincronización multiproceso en programas concurrentes: selección completamente k-justa de interacciones
(Universidad de Castilla-La Mancha, 2001-11)
La selección complemente justa surge en el contexto de los programas no deterministas y sirve para garantizar que todos los elementos que se habilitan infinitamente a menudo se seleccionan infinitamente a menudo. Esta ...
Artículo
A simplified model of software project dynamics
(Elsevier, 2001)
The simulation of a dynamic model for software development projects (hereinafter SDPs) helps to investigate the impact of a technological change, of different management policies, and of maturity level of organisations ...