DocumentCode
1713782
Title
From formal specifications to natural language: a case study
Author
Punshon, J.M. ; Tremblay, J.P. ; Sorenson, P.G. ; Findeisen, P.S.
Author_Institution
Dept. of Comput. Sci., Saskatchewan Univ., Saskatoon, Sask., Canada
fYear
1997
Firstpage
309
Lastpage
310
Abstract
Because software specifications often serve as a formal contract between the developer and the customer, systems have been proposed that help the software client better understand specifications by automatically paraphrasing them in natural language. The REVIEW system applies natural language generation within Metaview, a metasystem that facilitates the construction of CASE environments to support software specification tasks. This paper summarizes a technical report that presents REVIEW through a case study involving the Object Model of Rumbaugh´s OMT specification methodology (1991)
Keywords
computer aided software engineering; formal specification; natural languages; software tools; CASE environments; Metaview; REVIEW system; formal specifications; natural language; software specification; Computer aided software engineering; Contracts; Data models; Databases; Formal specifications; Graph theory; Natural languages; Strategic planning; Terminology; Writing;
fLanguage
English
Publisher
ieee
Conference_Titel
Automated Software Engineering, 1997. Proceedings., 12th IEEE International Conference
Conference_Location
Incline Village, NV
Print_ISBN
0-8186-7961-1
Type
conf
DOI
10.1109/ASE.1997.632859
Filename
632859
Link To Document