nement: a way to reduce complexity of feature interactions Marc Aiguier,...  Home/Search
Context
Related
| ibisc.univevry.fr/~aigui...RRAGL02.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: ibisc.univevry.fr/~aiguier/do... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: One of the main problem encountered when dealing with feature interaction is the complexity of the detection. There is a general agreement on the point that implementation techniques could be helpful. (Update)
Similar documents based on text:
0.0: Unknown - (Correct)
BibTeX entry: (Update)
@misc{ to-feature,
author = "Nement Way To",
title = "Feature re",
url = "citeseer.ist.psu.edu/763329.html" }
Citations (may not include all citations):562 Categories for the Working Mathematician (context) - Lane - 1971
232 Category Theory for Computing Science (context) - Barr, Wells - 1990
63 Institutions: abstract model theory for speci - cations and .. (context) - Goguen, Burstall - 1992
44 Feature Interactions in Telecommunications and Software Syst.. (context) - Bouma, Velthuijsen - 1998
31 Logical support for modularization (context) - Diaconescu, Goguen et al. - 1991
30 Feature Interactions in Telecommunications and Software Syst.. (context) - Calder, Magill - 2000
26 Modular correctness proofs of behavioural implementations - Bidoit, Hennicker - 1998
26 The feature and service interaction problem in telecommunica.. (context) - Keck, Kuehn - 1998
24 Automatic detection of feature interactions in temporal logi.. - Bol, Blom et al. - 1995
19 A soft stairway to institutions (context) - Salibra, Scollo
7 Towards a formal model of incremental service speci cation a.. (context) - Cheng - 1994
7 Representing and verifying intentions in telephony features .. - Stepien, Logrippo - 1995
6 Feature integration using a feature construct - Plath, Ryan - 2001
6 Algebraic treatment of feature-oriented systems - Aiguier, Gaston et al. - 2001
5 Detection and resolution of interactions between services of.. - Khoumsi - 1997
[Article contains additional citations not shown here]
Documents on the same site (http://www.ibisc.univ-evry.fr/~aiguier/documents/publications/): More
Testing from Algebraic Specifications: Test Data.. - Aiguier, Arnould, .. (2005) (Correct)
Stratified institutions and elementary homomorphisms - Aiguier, Diaconescu (Correct)
An algebraic approach for Codesign - Aiguier, Beroff, Schobbens (2004) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC