Efficient consistency checking of scenario-based product-line specifications.

Joel Greenyer Amir Molzam Sharifloo Maxime Cordy Patrick Heymans

Published in: RE (2012)

Keyphrases

consistency checking
product line
software product line
software engineering
software development
artificial intelligence
query answering
temporal reasoning
product lines
information goods