Correctness-by-construction for feature-oriented software product lines.

Tabea Bordis Tobias Runge Ina Schaefer

Published in: GPCE (2020)

Keyphrases

software product line
goal driven
product line
future directions
image features
software engineering
learning methodologies
feature vectors
database
information systems
multimedia
decision trees
life cycle
adult literacy
information technology
feature set