Sciweavers

6 search results - page 2 / 2
» A Basis for Feature-Oriented Modelling in Event-B
Sort
View
SCP
2010
154views more  SCP 2010»
13 years 3 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...