Formal consistency checking over specifications in natural languages

@article{Yan2014FormalCC,
  title={Formal consistency checking over specifications in natural languages},
  author={Rongjie Yan and Chih-Hong Cheng and Yesheng Chai},
  journal={2015 Design, Automation & Test in Europe Conference & Exhibition (DATE)},
  year={2014},
  pages={1677-1682}
}
Early stages of system development involve outlining desired features such as functionality, availability, or usability. Specifications are derived from these features that concretize vague ideas presented in natural languages. The challenge for the verification and validation of specifications arises from the syntax and semantic gap between different representations and the need of automatic tools. In this paper, we present a requirement-consistency maintenance framework to produce consistent… CONTINUE READING
1
Twitter Mention

Citations

Publications citing this paper.
SHOWING 1-8 OF 8 CITATIONS

Ontology-Based Behavioral Constraint Authoring

  • 2016 IEEE 20th International Enterprise Distributed Object Computing Workshop (EDOCW)
  • 2016
VIEW 1 EXCERPT
CITES BACKGROUND

ReSA Tool: Structured requirements specification and SAT-based consistency-checking

  • 2016 Federated Conference on Computer Science and Information Systems (FedCSIS)
  • 2016
VIEW 1 EXCERPT
CITES METHODS

Similar Papers

Loading similar papers…