Sciweavers

214 search results - page 28 / 43
» Flexible feature binding in software product lines
Sort
View
EOR
2006
129views more  EOR 2006»
13 years 7 months ago
Balancing assembly lines with tabu search
Balancing assembly lines is a crucial task for manufacturing companies in order to improve productivity and minimize production costs. Despite some progress in exact methods to so...
Sophie D. Lapierre, Angel B. Ruiz, Patrick Soriano
FASE
2000
Springer
13 years 11 months ago
Verification of Object Oriented Programs Using Class Invariants
A proof system is presented for the verification and derivation of object oriented programs with as main features strong typing, dynamic binding, and inheritance. The proof system...
Kees Huizing, Ruurd Kuiper
SPLC
2007
13 years 9 months ago
A Case Study Implementing Features Using AspectJ
Software product lines aim to create highly configurable programs from a set of features. Common belief and recent studies suggest that aspects are well-suited for implementing f...
Christian Kästner, Sven Apel, Don S. Batory
SOCO
2010
Springer
13 years 5 months ago
Managing Variability in Workflow with Feature Model Composition Operators
Abstract. In grid-based scientific applications, building a workflow essentially involves composing parameterized services describing families of services and then configuring the ...
Mathieu Acher, Philippe Collet, Philippe Lahire, R...
ECMDAFA
2010
Springer
141views Hardware» more  ECMDAFA 2010»
13 years 11 months ago
Comparing Approaches to Implement Feature Model Composition
Abstract. The use of Feature Models (FMs) to define the valid combinations of features in Software Product Lines (SPL) is becoming commonplace. To enhance the scalability of FMs, ...
Mathieu Acher, Philippe Collet, Philippe Lahire, R...