Ragnhild Van Der Straeten, Johan Brichau  Home/Search
Context Related
| prog.vub.ac.be/Pub...progtr0104.pdf Cached: 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.
PS.gz PS Image Update HelpFrom: prog.vub.ac.be/...s.php?team=PROG (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Feature interactions are common when composing a software unit out of several features. We report on two experimental approaches using logic to describe features and feature interactions. The first approach proposes description logic as a formalization of feature models which allow reasoning about features. In the second approach, a metalevel representation of the software is proposed to capture conditions on features. These conditions are written in terms of the software's... (Update)
Context of citations to this paper: More
...of interaction detection. In [8] and [9] temporal logic and model checking are suggested, in [10] a special heuristic is chosen, and in [11] as well as in [12] description logic and logic meta programming are applied. All of the above approaches require the modeler to...
Cited by: More
Feature Interaction Detection in Building Control Systems by.. - Metzger, Webel (2003) (Correct)
Active bibliography (related documents): More All
0.5: On the Computational Integration of Well-Founded and Stable.. - Castro, Warren (2000) (Correct)
0.3: HyLoRes 1.0: Direct Resolution for Hybrid Logics Carlos.. - Language And Inference (Correct)
0.3: Distributed States Logic - Montangero, Semini (2002) (Correct)
Similar documents based on text:
0.4: Detecting Inconsistencies between UML Models Using.. - Van Der Straeten.. (2003) (Correct)
BibTeX entry: (Update)
R. van der Straeten, J. Brichau. "Features and Feature Interactions in Software Engineering using Logic" in Feature Interactions in Composed Systems. 2001. pp. 79--88 http://citeseer.ist.psu.edu/vanderstraeten01features.html More
@misc{ straeten01features,
author = "R. van der Straeten and J. Brichau",
title = "Features and Feature Interactions in Software Engineering using Logic",
text = "R. van der Straeten, J. Brichau. Features and Feature Interactions in Software
Engineering using Logic in Feature Interactions in Composed Systems. 2001.
pp. 79--88",
year = "2001",
url = "citeseer.ist.psu.edu/vanderstraeten01features.html" }
Citations (may not include all citations):152 Decidable Reasoning in Terminological Knowledge Representati.. - Buchheit, Donini et al. - 1993
130 A Scheme for Integrating Concrete Domains into Concept Langu.. - Baader, Hanschke - 1991
79 FeatureOriented Domain Analysis (context) - Kang, Cohen et al. - 1990
44 A Logic Meta-Programming Approach to Support the CoEvolution.. - Wuyts - 2001
39 Generative Programming (context) - Czarnecki, Eisenecker - 2000
26 The Feature and Service Interaction Problem in Telecommunica.. (context) - Keck, Kuehn - 1998
16 Automating Architectural Conformance Checking by means of Lo.. (context) - Mens - 2000
12 Description Logics and Feature Interaction - Areces, Bouma et al. - 1999
9 Aspect Composition applying the Design by Contract Principle (context) - Klaeren, Pulvermueller et al.
5 Feature Interaction as a Satisfiability Problem - Areces, Bouma et al. - 1999
3 The Case of Description and Hybrid Logics (context) - Areces - 2000
2 Towards Feature Interaction via Stable Models - Accorsi, Areces et al. - 1999
1 Composing Features and Resolving Interactions (context) - Hay, Atlee - 2000
Documents on the same site (http://prog.vub.ac.be/progsite/Prog%20Publications.php?team=PROG): More
Transformational Software Evolution by Assertions - Mens (2001) (Correct)
Annotating Evolving Software with Explicit Intentions - Mens (1998) (Correct)
Modular Inheritance of Objects through Mixin-Methods - Lucas, Steyaert (1994) (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