Requirement Analysis and Automated Verification: A Semantic Approach.

Animesh Dutta Prajna Devi Upadhyay Sudipta Acharya

Published in: SEKE (2012)

Keyphrases

requirement analysis
automated verification
model checking
automated reasoning
data warehouse
natural language
model construction
formal verification
high level
semantic information
real world
domain ontology
computer vision
computational complexity
social network analysis
semi automatic