C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
FIREworks
2000
2001
2000
2001
Keyphrases
Publications
2001
Language Constructs for Describing Features, Proceedings of the FIREworks Workshop, Glasgow, UK, May 2000.
FIREworks
(2001)
2000
Karim Berkani
,
Pascale Le Gall
,
Francis Klay
An incremental method for the design of feature-oriented systems.
FIREworks
(2000)
Franck Cassez
,
Mark Dermot Ryan
,
Pierre-Yves Schobbens
Proving feature non-interaction with Alternating-Time Temporal Logic.
FIREworks
(2000)
Malte Plath
,
Mark Dermot Ryan
Defining Features for CSP: Reflections on the Feature Interaction Contest.
FIREworks
(2000)
Christophe Gaston
,
Marc Aiguier
,
Pascale Le Gall
Algebraic Treatment of Feature-oriented Systems.
FIREworks
(2000)
Stephen Gilmore
,
Jane Hillston
The PEPA Feature Construct.
FIREworks
(2000)
Dominique Cansell
,
Dominique Méry
Abstraction and refinement of features.
FIREworks
(2000)
Tae Yoneda
,
Tadashi Ohta
The Declarative Language STR (State Transition Rule).
FIREworks
(2000)
Maritta Heisel
,
Jeanine Souquières
A Heuristic Algorithm to Detect Feature Interactions in Requirements.
FIREworks
(2000)
Nicolas Zuanon
Modular Feature Integration and Validation in a Synchronous Context.
FIREworks
(2000)
Pamela Zave
Feature-Oriented Description, Formal Methods, and DFC.
FIREworks
(2000)
D. Samborski
Stack Service Model.
FIREworks
(2000)
Daniel Amyot
Use Case Maps as a Feature Description Notation.
FIREworks
(2000)
Kenneth J. Turner
Structuring Telecommunications Features.
FIREworks
(2000)