Sciweavers

1037 search results - page 131 / 208
» Compositional Variability - Concepts and Patterns
Sort
View
SCP
2010
154views more  SCP 2010»
15 years 1 months ago
An algebraic foundation for automatic feature-based program synthesis
Feature-Oriented Software Development provides a multitude of formalisms, methods, languages, and tools for building variable, customizable, and extensible software. Along differe...
Sven Apel, Christian Lengauer, Bernhard Mölle...
SPE
2010
167views more  SPE 2010»
15 years 1 months ago
Comparing practices for reuse in integration-oriented software product lines and large open source software projects
Abstract. This paper compares organization and practices for software reuse in integrationoriented software product lines and open source software projects. The main observation is...
Jilles van Gurp, Christian Prehofer, Jan Bosch
FIW
2009
166views Communications» more  FIW 2009»
15 years 1 months ago
Feature Interactions in a Software Product Line for E-voting
A significant number of failures in e-voting systems have arisen because of poorly specified requirements, combined with an ad-hoc approach to engineering multiple variations of si...
J. Paul Gibson, Eric Lallet, Jean-Luc Raffy
CORR
2011
Springer
150views Education» more  CORR 2011»
14 years 10 months ago
Program Optimization Based Pointer Analysis and Live Stack-Heap Analysis
In this paper, we present type systems for flow-sensitive pointer analysis, live stack-heap (variables) analysis, and program optimization. The type system for live stack-heap ana...
Mohamed A. El-Zawawy
KBSE
2003
IEEE
15 years 8 months ago
Specification and Synthesis of Hybrid Automata for Physics-Based Animation
Physics-based animation programs can often be modeled in terms of hybrid automata. A hybrid automaton includes both discrete and continuous dynamical variables. The discrete varia...
Thomas Ellman