Buscar
Mostrando ítems 11-20 de 98
Artículo
Metaheuristic Optimization Frameworks: a Survey and Benchmarking
(Springer Verlag, 2012)
This paper performs an unprecedented comparative study of Metaheuristic optimization frameworks. As criteria for comparison a set of 271 features grouped in 30 characteristics and 6 areas has been selected. These features ...
Artículo
SOA4 All Integrated Ranking: una herramienta holística basada en preferencias
(Asociación de Técnicos de Informática, 2012)
Artículo
Tabbed Hierarchy: a Design Pattern for the Implementation of Object-Oriented User Interfaces
(Centro de Investigación en Computación, 2002)
Artículo
Comprehensive Explanation of SLA Violations at Runtime
(IEEE, 2013)
Service Level Agreements (SLAs) establish the Quality of Service (QoS) agreed between service-based systems consumers and providers. Since the violation of such SLAs may involve penalties, quality assurance techniques ...
Artículo
FLAME: a Formal Framework for the Automated Analysis of Software Product Lines Validated by Automated Specification Testing
(2015)
In a literature review on the last 20 years of automated analysis of feature models, the formalization of analysis operations was identified as the most relevant challenge in the field. This formalization could provide ...
Artículo
Priorización de casos de prueba. Avances y retos
(Asociación de Técnicos de Informática, 2013)
Artículo
Verifying Software Requirements with XSLT
(ACM, 2002)
In this article, we present an approach for the automatic verification of software requirements documents. This approach is based on the representation of software requirements in XML and the usage of the XSLT language not ...
Artículo
Automated Metamorphic Testing on the Analyses of Feature Models
(Elsevier, 2011)
Context. A Feature Model (FM) represents the valid combinations of features in a domain. The automated extraction of information from FMs is a complex task that involves numerous analysis operations, techniques and tools. ...
Artículo
Modeling NASA swarm-based systems: using agent-oriented software engineering and formal methods
(Springer Verlag, 2011-02)
The need to collect new data and perform new science is causing the complexity of NASA missions to continually increase. This complexity needs to be controlled via new technological advancements and balanced with a reduction ...