Formal consistency checking over specifications in natural languages

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 aris...

Full description

Bibliographic Details

Published in:	2015 Design, Automation & Test in Europe Conference & Exhibition (DATE) pp. 1677 - 1682
Main Authors:	Rongjie Yan, Chih-Hong Cheng, Yesheng Chai
Format:	Conference Proceeding
Language:	English
Published:	EDAA 01.03.2015
Subjects:	Biomedical monitoring Cognition Dictionaries Grammar Natural languages Semantics Syntactics
ISSN:	1530-1591
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!