Keyword : natural language specification


Assignment of Data Types to Words in a Natural Language Specification
Yasunori ISHIHARA Atsushi OHSAKI Hiroyuki SEKI Tadao KASAMI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1996/06/25
Vol. E79-D  No. 6 ; pp. 820-828
Type of Manuscript:  PAPER
Category: Automata,Languages and Theory of Computing
Keyword: 
natural language specificationalgebraic specificationdata type
 Summary | Full Text:PDF

A Translation Method from Natural Language Specifications of Communication Protocols into Algebraic Specifications Using Contextual Dependencies
Yasunori ISHIHARA Hiroyuki SEKI Tadao KASAMI Jun SHIMABUKURO Kazuhiko OKAWA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1993/12/25
Vol. E76-D  No. 12 ; pp. 1479-1489
Type of Manuscript:  PAPER
Category: Automaton, Language and Theory of Computing
Keyword: 
natural language specificationalgebraic specificationcommunication protocoltranslation
 Summary | Full Text:PDF