Sciweavers

Share
warning: Creating default object from empty value in /var/www/modules/taxonomy/taxonomy.module on line 1416.
FIW
2000
104views Communications» more  FIW 2000»
11 years 11 months ago
Feature Description and Feature Interaction Analysis with Use Case Maps and LOTOS
A methodology for feature design, specification, and validation is presented. The methodology is based on Use Case Maps for the description of features and on LOTOS with its tools ...
Daniel Amyot, Leïla Charfi, Nicolas Gorse, To...
FIW
2007
120views Communications» more  FIW 2007»
11 years 11 months ago
Problem-Oriented Feature Interaction Detection in Software Product Lines
Feature interaction detection in the context of systems that are highly integrated into their environment, such as embedded or software-intensive systems, is different from classi...
Andreas Classen
FIW
2007
133views Communications» more  FIW 2007»
11 years 11 months ago
Conflict Detection in Call Control Using First-Order Logic Model Checking
Feature interaction detection methods, whether online or offline, depend on previous knowledge of conflicts between the actions executed by the features. This knowledge is usually ...
Ahmed F. Layouni, Luigi Logrippo, Kenneth J. Turne...
ICFEM
2003
Springer
12 years 2 months ago
Service-Based Systems Engineering: Consistent Combination of Services
Using service-based system descriptions simplifies the specification of complex reactive systems as found in the domain of web-services as well as embedded systems. To support a se...
Bernhard Schätz, Chris Salzmann
books