Keyphrases
Software Product Lines
100%
Formal Specification
40%
Modeling Language
40%
Verification Method
40%
Variability Modeling
40%
Safety Standards
20%
Lessons Learned
20%
Brute Force
20%
Unit Testing
20%
Software Product Line Engineering
20%
Translation Validation
20%
Compile Time
20%
Runtime Variability
20%
Time Variability
20%
Software Product Line Development
20%
Quality Assessment
20%
Code Modernization
20%
Lightweight Verification
20%
Human Safety
20%
Semantic Equivalence
20%
Complex Source
20%
Product Family
20%
Concept Implementation
20%
Qualitative Properties
20%
Method Validation
20%
Certification Process
20%
Source Code Transformation
20%
Code Structure
20%
State-of-the-art Analysis
20%
Recertification
20%
Similar Products
20%
Reengineering Project
20%
Building Products
20%
Computer Science
Software Product Line
100%
Formal Specification
33%
modeling language
33%
variability modeling
33%
product family
16%
Development Process
16%
And-States
16%
software product line engineering
16%
Modernization Project
16%
Qualitative Property
16%
Building Product
16%
Reengineering Project
16%
Source Code Transformation
16%
Validation Phase
16%
Validation Technique
16%
Certification Process
16%