Model-based verification of quantitative non-functional properties for software product lines.

Carlo Ghezzi Amir Molzam Sharifloo

Published in: Inf. Softw. Technol. (2013)

Keyphrases

software product line
product line
goal driven
software engineering
adult literacy
model checking
life cycle
learning methodologies
future directions
qualitative and quantitative
service oriented
software development
information systems
learning process
product lines