Buscar
Mostrando ítems 1-10 de 11
Artículo
Spectrum-Based Fault Localization in Model Transformations
(ACM, 2018)
Model transformations play a cornerstone role in Model-Driven Engineering (MDE), as they provide the essential mechanisms for manipulating and transforming models. The correctness of software built using MDE techniques ...
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
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
Metamorphic Testing of RESTful Web APIs
(IEEE Computer Society, 2017)
Web Application Programming Interfaces (APIs) allow systems to interact with each other over the network. Modern Web APIs often adhere to the REST architectural style, being referred to as RESTful Web APIs. RESTful Web ...
Artículo
Automated inference of likely metamorphic relations for model transformations
(Elsevier, 2018)
Model transformations play a cornerstone role in Model-Driven Engineering (MDE) as they provide the essential mechanisms for manipulating and transforming models. Checking whether the output of a model transformation is ...
Artículo
Repairing Syntax Errors in LR Parsers
(ACM, 2002)
This article reports on an error-repair algorithm for LR parsers. It locally inserts, deletes or shifts symbols at the positions where errors are detected, thus modifying the right context in order to resume parsing on ...
Artículo
Integrando las Matrices RASCI en BPMN para la Gestión de la Responsabilidad
(ATI: Asociación de técnicos de Informática, 2012)
Las organizaciones necesitan gestionar qué responsabilidad tienen sus empleados sobre cada una de las actividades que se llevan a cabo diariamente en la empresa. Para ello se utilizan las matrices RACI (Responsable, ...
Artículo
An Hybrid, Qos-Aware Discovery of Semantic Web Services Using Constraint Programming
(Springer Verlag, 2007)
Most Semantic Web Services discovery approaches are not well suited when using complex relational, arithmetic and logical expressions, because they are usually based on Description Logics. Moreover, these kind of ...
Artículo
Interorganizational Business Modeling: an Approach for Traceability of Goals, Organizational Models and Business Processes
(IEEE Computer Society, 2011)
The main goal of business modeling is to understand organizations to provide software solutions with high added value. This is a task far from trivial, and becomes more complex when it is modeled not a single ...
Artículo
Automated Error Analysis for the Agilization of Feature Modeling
(Elsevier, 2008)