Buscar
Mostrando ítems 41-50 de 334
Ponencia
Ponencia
Applying XML technologies in Requirements Verification
(2002)
In this paper, we present an approach for the automatic verification of software requirements specifications. This approach is based on the representation of software requirements in XML and the usage of the XSLT language ...
Ponencia
Towards the Definition of Test Coverage Criteria for RESTful Web APIs
(Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2019)
Web APIs following the REST architectural style (so-called RESTful Web APIs) have become the de-facto standard for software integration. As RESTful APIs gain momentum, so does the testing of them. However, there is a ...
Ponencia
First International Workshop on Analysis of Software Product Lines (ASPL'08)
(IEEE Computer Society, 2008-09)
The automation of software product line (SPL) analyses is of growing interest to both practitioners and researchers. In particular, automated analyses of variability models (like feature or decision models) and languages ...
Artículo
An Overview of Dynamic Software Product Line Architectures and Techniques: Observations from Research and Industry
(Elsevier, 2014)
Over the last two decades, software product lines have been used successfully in industry for buildingfamilies of systems of related products, maximizing reuse, and exploiting their variable and configurableoptions. In a ...
Ponencia
Linked USDL Agreement: Effectively Sharing Semantic Service Level Agreements on the Web
(IEEE Computer Society, 2015)
As the use of services available on the Web is becoming mainstream, contracts and legal aspects of the relationship between providers and consumers need to be formalized. However, current proposals to model service ...
Ponencia
Feature Model to Orthogonal Variability Model Transformations. A First Step
(2009)
Feature Model (FM) and Orthogonal Variability Model (OVM) are both modelling approaches employed to represent variability in software product line engineering. The former is the most popular and it is mainly applied to ...
Artículo
Early Evaluation of Mobile Applications’ Resource Consumption and Operating Costs
(IEEE Computer Society, 2020)
The explosive growth of the mobile application market in recent years has led to a large concomitant mobile software industry whose components are, in many cases, startups and small-size software providers. The success ...
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 ...
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 ...