Family-based deductive verification of software product lines.
Thomas ThümIna SchaeferMartin HentschelSven ApelPublished in: GPCE (2012)
Keyphrases
- learning systems
- software product line
- product line
- goal driven
- software engineering
- future directions
- life cycle
- learning methodologies
- learning styles
- machine learning
- adult literacy
- special case
- learning materials
- model checking
- software development
- object oriented
- lessons learned
- mobile devices
- product lines
- decision trees