Language Constructs for Describing Features : Proceedings of the FIREworks workshop /
A feature is a small modification or extension of a system which can be seen as having a self-contained functional role, such as Call Forwarding, Automatic Call back and Voice Mail in telephone services, to which users can subscribe. Feature interaction happens when one feature modifies or subverts...
| Main Author: | |
|---|---|
| Corporate Author: | |
| Other Authors: | |
| Format: | eBook |
| Language: | English |
| Published: |
London :
Springer London,
2001.
|
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
Table of Contents:
- Daniel Amyot
- Use case maps as a feature description notation
- Karim Berkani, Pascale Le Gall, and Francis Klay
- An incremental method for the design of feature-oriented systems
- Franck Cassez, Mark Dermot Ryan, and Pierre-Yves Schobbens
- Proving feature non-interaction with Alternating-Time Temporal Logic
- Dominique Cansell and Dominique Mry
- Abstraction and refinement of features
- Christophe Gaston, Marc Aiguier, and Pascale Le Gall
- Algebraic treatment of feature-oriented systems
- Stephen Gilmore and Jane Hillston
- The PEPA feature construct
- Maritta Heisel and Jeanine Souquires
- A heuristic algorithm to detect feature interactions in requirements
- Malte Plath and Mark Dermot Ryan
- Defining features for CSP: Reflections on the feature interaction contest
- D. Samborski
- Stack service model
- Kenneth J. Turner
- Structuring telecommunications features
- T. Yoneda and T. Ohta
- The Declarative language STR (State Transition Rule)
- Pamela Zave
- Feature-oriented description, formal Methods, and DFC
- Nicolas Zuanon
- Modular feature integration and validation in a synchronous context.