Compositional Verification of Software Product Lines.

Jean-Vivien Millo S. Ramesh Shankara Narayanan Krishna Ganesh Khandu Narwane

Published in: IFM (2013)

Keyphrases

software product line
product line
software engineering
goal driven
future directions
adult literacy
model checking
life cycle
learning methodologies
software development
signature verification
training data
product lines
teaching learning
test suite
educational technology
service composition
error rate
case study