See this document in CiteSeerX!

Feature re  (Make Corrections)  
nement: a way to reduce complexity of feature interactions Marc Aiguier,...



  Home/Search   Context   Related

 
View or download:
ibisc.univevry.fr/~aigui...RRAGL02.ps
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  ibisc.univevry.fr/~aiguier/do... (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

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