Tool-Supported Verification of Product Line Requirements.

Prasanna Padmanabhan Robyn R. Lutz

Published in: Autom. Softw. Eng. (2005)

Keyphrases

product line
software product line
software engineering
model checking
software architecture
product lines
high level
software development
functional requirements
formal verification
neural network
decision making
cooperative
future directions
user requirements