FIREworks - researchr conference series publications

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 14 from 14

2001

Language Constructs for Describing Features, Proceedings of the FIREworks Workshop, Glasgow, UK, May 2000Stephen Gilmore, Mark Ryan 0001, editors, Springer, 2001. [doi]

2000

Use Case Maps as a Feature Description NotationDaniel Amyot. fireworks 2001: 27-44 [doi]

An incremental method for the design of feature-oriented systemsKarim Berkani, Pascale Le Gall, Francis Klay. fireworks 2001: 45-64 [doi]

Abstraction and refinement of featuresDominique Cansell, Dominique Méry. fireworks 2001: 65-84 [doi]

Proving feature non-interaction with Alternating-Time Temporal LogicFranck Cassez, Mark Dermot Ryan, Pierre-Yves Schobbens. fireworks 2001: 85-103 [doi]

Algebraic Treatment of Feature-oriented SystemsChristophe Gaston, Marc Aiguier, Pascale Le Gall. fireworks 2001: 105-124 [doi]

The PEPA Feature ConstructStephen Gilmore, Jane Hillston. fireworks 2001: 125-142 [doi]

A Heuristic Algorithm to Detect Feature Interactions in RequirementsMaritta Heisel, Jeanine Souquières. fireworks 2001: 143-162 [doi]

Defining Features for CSP: Reflections on the Feature Interaction ContestMalte Plath, Mark Dermot Ryan. fireworks 2001: 163-175 [doi]

Stack Service ModelD. Samborski. fireworks 2001: 177-196 [doi]

Structuring Telecommunications FeaturesKenneth J. Turner. fireworks 2001: 1-9 [doi]

The Declarative Language STR (State Transition Rule)Tae Yoneda, Tadashi Ohta. fireworks 2001: 197-211 [doi]

Feature-Oriented Description, Formal Methods, and DFCPamela Zave. fireworks 2001: 11-26 [doi]

Modular Feature Integration and Validation in a Synchronous ContextNicolas Zuanon. fireworks 2001: 213-231 [doi]

Sign in or sign up to see more results.

runs on WebDSL