Maritta Heisel, Jeanine Souquieres  Home/Search
Context
Related
| dcs.ed.ac.uk/home/stg/firewo...final.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: cs.bham.ac.uk/~mdr...publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . We present a heuristic algorithm to systematically detect feature interactions in requirements, which are expressed as constraints on system event traces. The algorithm is part of a broader methodology for requirements elicitation and formal specification. Given a new constraint and a set of already accepted constraints, it computes a set of candidate constraints that possibly interact with the new one. We illustrate the algorithm by adding new features to a simple lift. 1 Introduction The... (Update)
Similar documents (at the sentence level):
7.1%: Detecting Feature Interactions - A Heuristic Approach - Heisel, Souquières (1998) (Correct)
Active bibliography (related documents): More All
0.8: Immaturity and Potential of Formal Methods: A personal view - Logrippo (Correct)
0.5: A Z Patterns Catalogue: I specification and refactorings, v0.1 - Stepney, Polack, Toyn (2003) (Correct)
0.3: FireWorks - Technical Report for Year 2 - Ryan (1999) (Correct)
Similar documents based on text: More All
0.3: A Heuristic Approach to Detect Feature Interactions in.. - Heisel, Souquieres (1998) (Correct)
0.1: Contributions for Modelling UML State-Charts in B - Hung Ledang And (2002) (Correct)
0.1: Specifying Embedded Systems with Statecharts and Z: An.. - Grieskamp, Heisel, Dörr (1998) (Correct)
BibTeX entry: (Update)
@misc{ heisel-heuristic,
author = "Maritta Heisel and Jeanine Souquieres",
title = "A Heuristic Algorithm to Detect Feature Interactions in Requirements",
url = "citeseer.ist.psu.edu/388325.html" }
Citations (may not include all citations):76 Four dark corners of requirements engineering - Zave, Jackson - 1997
42 Distributed Feature Composition: A Virtual Architecture for .. - Jackson, Zave - 1998
27 Plug-and-Play features (context) - Plath, Ryan
20 Deriving Specifications from Requirements: an Example (context) - Jackson, Zave - 1995
15 A conceptual basis for feature engineering - Turner, Fuggetta et al. - 1999
7 sculptor with Chisel: Requirements engineering for communica.. (context) - Aho, Gallagher et al.
7 Towards a Formal Model for Incremental Service Specification.. (context) - Cheng - 1994
7 Applying the standard Object Modelling Language (context) - Fowler, Scott - 1997
5 Systematic design of call-coverage features - Zave - 1999
3 Features as Service Transformers - Bruns, Mataga et al.
3 A heuristic approach to detect feature interactions in requi.. - Heisel, Souquieres
2 th Feature Interaction Workshop (context) - Calder, Magill et al. - 2000
2 th Feature Interaction Workshop (context) - Kimbler, Bouma et al. - 1998
2 A Method for Requirements Elicitation and Formal Specificati.. (context) - Heisel, Souquieres - 1999
2 Feature specification and automatic conflict detection - Felty, Namjoshi
1 De l'elicitation des besoins a la specification formelle (context) - Heisel, Souquieres - 1999
1 Incremental Requirement Specification for Evovlving Systems (context) - Jonsson, Margaria et al.
1 Une methode pour l'elicitation des besoins: application au s.. (context) - Souquieres, Heisel - 2000
1 A detection method developed after a thorough study of the c.. (context) - Khoumsi, Bevelo - 1998
1 Integrating Obstacles in Goal-directed Requirements (context) - van Lamsweerde, Letier - 1998
1 Handling obstacles in goal-directed requirements engineering (context) - van Lamsweerde, Letier - 2000
Documents on the same site (http://www.cs.bham.ac.uk/~mdr/fireworks/publications.html): More
The PEPA Feature Construct - Stephen Gilmore And (Correct)
Structuring Telecommunications Features - Turner (Correct)
Feature-Oriented Description, Formal Methods, and DFC - Zave (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