Toward consistency checking of natural language temporal requirements

DOI 10.1109/ase.2011.6100148 dblp

Abstract

We discuss the problem of identifying inconsistencies in temporal requirements expressed as natural language text. We propose a partially automated approach that aims to minimize analysts' workload and improve accuracy. As one of the ingredients of the approach, we introduce a formal language to represent temporal requirements precisely and unambiguously. We call this language Temporal Action Language (TAL).

BibTeX

@inproceedings{Li:ASE11,
  author    = {Wenbin Li},
  title     = {Toward consistency checking of natural language temporal requirements},
  booktitle = {ASE},
  pages     = {651--655},
  publisher = {{IEEE} Computer Society},
  year      = {2011},
}

Toward consistency checking of natural language temporal requirements

Abstract

Related papers