Towards More Efficient Requirements Formalization: A Study

@inproceedings{Li2015TowardsME,
  title={Towards More Efficient Requirements Formalization: A Study},
  author={Wenbin Li and Jane Huffman Hayes and Miroslaw Truszczynski},
  booktitle={REFSQ},
  year={2015}
}
[Context and motivation] Validating natural language requirements is an important but difficult task. Although there are techni ques available for validating formalized requirements, the gap between natural l anguage requirements and formalism is huge. [Question/problem] As part of a larger piece of work on temporal requirements consistency checking, we… CONTINUE READING