Compositional Algorithmic Verification of Software Product Lines.

Ina Schaefer Dilian Gurov Siavash Soleimanifard

Published in: FMCO (2010)

Keyphrases

software product line
product line
software engineering
goal driven
future directions
life cycle
learning methodologies
adult literacy
software development
model checking
product lines
teaching learning
database
artificial intelligence
computational methods
signature verification