Extracting formal specifications from natural language regulatory documents (2006)
by
Nikhil Dinesh
,
Aravind Joshi
,
Insup Lee
,
Bonnie Webber
| Venue: | In: Proceedings of the Fifth International Workshop on Inference in Computational Semantics |
| Citations: | 6 - 3 self |
BibTeX
@INPROCEEDINGS{Dinesh06extractingformal,
author = {Nikhil Dinesh and Aravind Joshi and Insup Lee and Bonnie Webber},
title = {Extracting formal specifications from natural language regulatory documents},
booktitle = {In: Proceedings of the Fifth International Workshop on Inference in Computational Semantics},
year = {2006}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
bonnie @ inf. ed. ac. uk Formal verification techniques provide a way to determine whether regulatory documents are consistent and whether implementations conform to them. To apply these techniques a formal description of the regulation needs to be extracted. We present a framework, under which NLP techniques can be brought to bear, to aid a requirements engineer in extracting the formal description. 1
