Browsing by Author "Thüm, Thomas"
Now showing items 1-19 of 19
-
Agile Methoden im Softwareprojekt
Siegmund, Janet; Thüm, Thomas; Schulze, Sandro; Jürgens, Elmar
234-234 -
Analysis strategies for software product lines: A classification and survey
Thüm, Thomas; Apel, Sven; Kästner, Christian; Schaefer, Ina; Saake, Gunter
57-58 -
Classifying Edits to Variability in Source Code - Summary
Bittner, Paul Maximilian; Tinnes, Christof; Schultheiß, Alexander; Viegener, Sören; Kehrer, Timo; Thüm, Thomas
39-40 -
Compositional Analyses of Highly-Configurable Systems with Feature-Model Interfaces
Schröter, Reimar; Krieter, Sebastian; Thüm, Thomas; Benduhn, Fabian; Saake, Gunter
129 -
Feature Modeling and Development with FeatureIDE
Thüm, Thomas; Leich,Thomas; Krieter, Sebastian
297-298 -
Feature Trace Recording - Summary
Bittner, Paul Maximilian; Schultheiß, Alexander; Thüm, Thomas; Kehrer, Timo; Young, Jeffrey M.; Linsbauer, Lukas
19-20 -
Is There a Mismatch between Real-World Feature Models and Product-Line Research?
Knüppel, Alexander; Thüm, Thomas; Mennicke, Stephan; Meinicke, Jens; Schaefer, Ina
53-54 -
It’s Your Loss: Classifying Information Loss During Variability Model Roundtrip Transformations
Feichtinger, Kevin; Sundermann, Chico; Thüm, Thomas; Rabiser, Rick
51-52 -
Modular reasoning for crosscutting concerns with contracts
Thüm, Thomas
65-66 -
Propagating Configuration Decisions with Modal Implication Graphs
Krieter, Sebastian; Thüm, Thomas; Schulze, Sandro; Schroeter, Reimar; Saake, Gunter
77-78 -
Quantifying the Potential to Automate the Synchronization of Variants in Clone-and-Own - Summary
Schultheiß, Alexander; Bittner, Paul Maximilian; Thüm, Thomas; Kehrer, Timo
109-110 -
Scalable N-Way Model Matching Using Multi-Dimensional Search Trees - Summary
Schultheiß, Alexander; Bittner, Paul Maximilian; Thüm, Thomas; Kehrer, Timo
83-84 -
Skill-Based Verification of Cyber-Physical Systems
Knüppel, Alexander; Jatzkowski, Inga; Nolte, Marcus; Runge, Tobias; Thüm, Thomas; Schaefer, Ina
67-68 -
A Study on Tool Support for Refactoring in Database Applications
Schink, Hagen; Siegmund, Janet; Schröter, Reimar; Thüm, Thomas; Saake, Gunter
-
Tool Support for Correctness-by-Construction
Runge, Tobias; Schaefer, Ina; Cleophas, Loek; Thüm, Thomas; Kourie, Derrick; Watson, Bruce W.
93-94 -
Tseitin or not Tseitin? The Impact of CNF Transformations on Feature-Model Analyses
Kuiter, Elias; Krieter, Sebastian; Sundermann, Chico; Thüm, Thomas; Saake, Gunter
83-84 -
Understanding Parameters of Deductive Verification: An Empirical Investigation of KeY
Knüppel, Alexander; Thüm, Thomas; Pardylla, Carsten Immanuel; Schaefer, Ina
165-166 -
Variational Satisfiability Solving: Efficiently Solving Lots of Related SAT Problems - Summary
Young, Jeffrey M.; Bittner, Paul Maximilian; Walkingshaw, Eric; Thüm, Thomas
129-130