Verification for Reliable Product Lines.

Maxime Cordy Patrick Heymans Pierre-Yves Schobbens Amir Molzam Sharifloo Carlo Ghezzi Axel Legay

Published in: CoRR (2013)

Keyphrases

product lines
product line
management practices
software systems
software product line
software development
model checking
face verification
general purpose
formal verification
signature verification
database
data mining
multi agent
smart card
lessons learned