Requirements verification in the presence of variability.

Jean-Pierre Corriveau Soheila Bashardoust-Tajali Vojislav D. Radonjic

Published in: MoDRE (2011)

Keyphrases

user requirements
model checking
verification method
databases
face verification
petri net
real time systems
functional requirements
formal analysis
intra class
design principles
real time
learning environment
decision trees
clustering algorithm
feature selection
information systems
neural network
data sets