Sign in
Towards More Efficient Requirements Formalization: A Study.
Wenbin Li
Jane Huffman Hayes
Miroslaw Truszczynski
Published in:
REFSQ (2015)
Keyphrases
</>
statistical analysis
genetic algorithm
relational databases
query processing
knowledge representation
user requirements
study proposes
formal analysis