Sciweavers

1926 search results - page 33 / 386
» Modeling and Model Checking Software Product Lines
Sort
View
ICSE
2008
IEEE-ACM
16 years 5 months ago
FeatureMapper: mapping features to models
Variability modelling with feature models is one key technique for specifying the problem space of Software Product Lines (SPLs). To allow for the automatic derivation of a concre...
Florian Heidenreich, Jan Kopcsek, Christian Wende
CAISE
2005
Springer
15 years 10 months ago
Automated Reasoning on Feature Models
Abstract Software Product Line (SPL) Engineering has proved to be an effective method for software production. However, in the SPL community it is well recognized that variability ...
David Benavides, Pablo Trinidad Martín-Arro...
WCRE
2010
IEEE
15 years 3 months ago
Understanding Feature Evolution in a Family of Product Variants
Existing software product variants, developed by ad hoc reuse such as copy-paste-modify, are often a starting point for building Software Product Line (SPL). Understanding of how ...
Yinxing Xue, Zhenchang Xing, Stan Jarzabek
DFG
2004
Springer
15 years 10 months ago
An Engineer's Workstation to Support Integrated Development of Flexible Production Control Systems
Abstract. Today's manufacturing industry demands flexible and decentralized production control systems to avoid hours of down time of the production line in case of a failure ...
Wilhelm Schäfer, Robert Wagner, Jürgen G...
IASTEDSE
2004
15 years 6 months ago
A conceptual model for requirements engineering and management for change-intensive software
In the development of software with evolving requirements, activities of requirements-engineering and management are present through the whole software development process and aff...
Jewgenij Botaschanjan, Andreas Fleischmann, Markus...