Coupling Design and Verification in Software Product Lines.

Egon Börger Don S. Batory

Published in: FoIKS (2008)

Keyphrases

software product line
product line
formal verification
model checking
design process
software systems
software architecture
engineering design
adult literacy
database
formal methods
design patterns
software development
user interface
case study
artificial intelligence
machine learning