Sciweavers

11 search results - page 1 / 3
» splc 2004
Sort
View
SPLC
2004
13 years 10 months ago
Automatic Generation of Program Families by Model Restrictions
We study the generative development of control programs for families of embedded devices. A software family is described by a single common model and restriction specifications for...
Andrzej Wesowski
SPLC
2004
13 years 10 months ago
A Methodology for the Derivation and Verification of Use Cases for Product Lines
In this paper, we present a methodology to express, in a formal way, the requirements of products belonging to a product line. We relied on a formalism allowing the representation ...
Alessandro Fantechi, Stefania Gnesi, Giuseppe Lami...
SPLC
2004
13 years 10 months ago
Staged Configuration Using Feature Models
Feature modeling is an important approach to capturing commonalities and variabilities in system families and product lines. In this paper, we propose a cardinality-based notation ...
Krzysztof Czarnecki, Simon Helsen, Ulrich W. Eisen...
SPLC
2004
13 years 10 months ago
Dynamic Configuration of Software Product Lines in ArchJava
Abstract. This paper considers the use of a state-of-the-art, generalpurpose, component programming language, specifically ArchJava, to implement software product lines. Component ...
Sebastian Pavel, Jacques Noyé, Jean-Claude ...