Sciweavers

44 search results - page 5 / 9
» Visual Support for Understanding Product Lines
Sort
View
GTTSE
2007
Springer
14 years 1 months ago
Automated Merging of Feature Models Using Graph Transformations
Abstract. Feature Models (FMs) are a key artifact for variability and commonality management in Software Product Lines (SPLs). In this context, the merging of FMs is being recogniz...
Sergio Segura, David Benavides, Antonio Ruiz Cort&...
VISUALIZATION
2005
IEEE
14 years 1 months ago
Opening the Can of Worms: An Exploration Tool for Vortical Flows
Gaining a comprehensive understanding of turbulent flows still poses one of the great challenges in fluid dynamics. A wellestablished approach to advance this research is the an...
Simon Stegmaier, Ulrich Rist, Thomas Ertl
ICSE
2009
IEEE-ACM
13 years 5 months ago
VCC: Contract-based modular verification of concurrent C
Most system level software is written in C and executed concurrently. Because such software is often critical for system reliability, it is an ideal target for formal verification...
Markus Dahlweid, Michal Moskal, Thomas Santen, Ste...
ICSE
2008
IEEE-ACM
14 years 7 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
IV
2006
IEEE
173views Visualization» more  IV 2006»
14 years 1 months ago
European Research Forum Panel Session Envisioning Research Challenges in Visual Analytics
Visual Analytics is the science of analytical reasoning supported by interactive visual interfaces. People use visual analytics tools and techniques to synthesize information; der...
Mikael Jern, Ebad Banissi, Gennady L. Andrienko, W...