Managing evolution in Software Product Lines: A model-checking perspective

Computer Science

• Model Checking 100%
• Software Product Line 100%
• Transition System 16%
• software product line engineering 16%
• Model Checking Problem 16%
• Simulation Relation 16%
• Software Product 16%

Keyphrases

• Software Product Lines 100%
• Software Product Line Engineering 16%
• Behavioral Model 16%
• Verification Result 16%
• Featured Transition Systems 16%
• Model Check 16%
• Verification Time 16%
• Software Product 16%
• Simulation Relation 16%

INIS

• computer codes 100%
• verification 22%
• algorithms 11%
• engineering 11%
• simulation 11%
• psychological behavior 11%
• compacts 11%