IEEE - Institute of Electrical and Electronics Engineers, Inc. - A translation method from natural language specifications into formal specifications using contextual dependencies

Author(s): Ishihara, Y. ; Seki, H. ; Kasami, T.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 1993
Conference Location: San Diego, CA, USA
Conference Date: 6 January 1993
Page(s): 232 - 239
ISBN (Paper): 0-8186-3120-1
DOI: 10.1109/ISRE.1993.324853
Regular:

A method of translating natural language specifications of communication protocols into algebraic specifications is presented. Such a natural language specification specifies action sequences... View More

Advertisement