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

Celý popis

Podrobná bibliografie

Vydáno v:	2015 Design, Automation & Test in Europe Conference & Exhibition (DATE) s. 1677 - 1682
Hlavní autoři:	Rongjie Yan, Chih-Hong Cheng, Yesheng Chai
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	EDAA 01.03.2015
Témata:	Biomedical monitoring Cognition Dictionaries Grammar Natural languages Semantics Syntactics
ISSN:	1530-1591
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!