Buscar
Mostrando ítems 11-20 de 51
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. ...
Ponencia
Abductive Reasoning and Automated Analysis of Feature Models: How are they connected?
(2009)
In the automated analysis feature models (AAFM), many operations have been defined to extract relevant information to be used on decision making. Most of the proposals rely on logics to give solution to different ...
Ponencia
An Approach for Debugging Model Transformations Applying Spectrum-Based Fault Localization
(Universidad de la Laguna, 2017)
Model transformations play a cornerstone role in Model-Driven Engineering as they provide the essential mechanisms for manipulating and transforming models. The use of assertions for checking their correctness has ...
Ponencia
WS-Governance Tooling: SOA Governance Policies analysis and authoring
(IEEE Computer Society, 2011)
Governance is a capital issue in current Service Oriented Arcuitectures, and governance policies are at its base. The governance policies definition must be supported by proper languages and tools, allowing for comfortable ...
Ponencia
Supporting Requirements Verification Using XSLT
(IEEE Computer Society, 2002)
In this paper we present a light-weight approach for the automatic verification of requirements. This approach is not based on natural language parsing techniques but on the representation of requirements in XML. In our ...
Ponencia
A Practical Agent-Based Method to Extract Semantic Information from the Web
(Springer, 2002)
The semantic Web will bring meaning to the Internet,mak - ing it possible for web agents to understand the information it contains. However,c urrent trends seem to suggest that it is not likely to be adopted in the ...
Ponencia
Towards Visualisation and Analysis of Runtime Variability in Execution Time of Business Information Systems based on Product Lines
(DBLP, 2008)
There is a set of techniques that build Business Information Systems (BIS) deploying business processes of the company directly on a process engine. Business processes of companies are continuously changing in order to ...
Ponencia
Fama Framework
(2008)
FAMA Framework (FAMA FW) is a tool for the automated analysis of variability models (VM). Its main objective is providing an extensible framework where current research on VM automated analysis might be developed and easily ...
Ponencia
Enabling the Evolution of Service-Oriented Solutions Using an UML2 Profile and a Reference Petri Nets Execution Platform
(IEEE Computer Society, 2008)
The activities developed by a company (business pro cesses) have to change frequently to adapt to the environ ment. The implementation of business processes should support these changes without any recoding. In this ...
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 ...