A formal model for Multi Software Product Lines.

Ferruccio Damiani Michael Lienhardt Luca Paolini

Published in: Sci. Comput. Program. (2019)

Keyphrases

formal model
software product line
product line
goal driven
software engineering
future directions
life cycle
learning methodologies
databases
security properties
software development
machine learning
lessons learned
predicate calculus
teaching learning