Buscar
Mostrando ítems 11-20 de 35
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 ...
Ponencia
From Feature Models to Business Processes
(IEEE Computer Society, 2008)
The variability level of average-size Business Informa tion Systems (BIS) is highly enough for making the design of this kind of systems a complex task. There is an approach called Process Family Engineering (PFE) that ...
Ponencia
An Aspect–Oriented Approach based on Multiparty Interactions to Specifying the Behaviour of a System
(Institut national de recherche en sciences et technologies du numérique (INRIA), 2000)
Isolating computation and coordination concerns into separate pure computation and pure coordination enhances modularity, understandability and reusability of parallel and/or distributed software. This can be achieved ...
Ponencia
Automated Support for Quality Requirements in Web–Service–Based Systems
(IEEE Computer Society, 2001)
The automatic checking of quality requirements will play a fundamental role in the future market of web services. The reason is that it will allow to build economically–optimal systems whose quality level can be guaranteed. ...
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 ...
Ponencia
Functional Testing of Feature Model Analysis Tools. A First Step
(2008)
The automated analysis of Feature Models (FMs) focuses on the usage of different logic paradigms and solvers to implement a number of analysis operations on FMs. The implementation of these operations using a specific ...
Ponencia
QoS-Aware Semantic Service Selection: An Optimization Problem
(IEEE Computer Society, 2008)
In order to select the best suited service among a set of discovered services, with respect to QOS parameters, a user have to state his or her preferences, so services can be ranked according to these QOS parameters. ...