From formal specifications to natural language: a case study

Authors:
J. M. Punshon;J. P. Tremblay;P. G. Sorenson;P. S. Findeisen
Affiliations:
-;-;-;-
Venue:
ASE '97 Proceedings of the 12th international conference on Automated software engineering (formerly: KBSE)
Year:
1997

Citing 0
Cited 2

Generating text with a theorem prover

Proceedings of the workshop on Student research
Generating natural language descriptions of Z test cases

INLG '10 Proceedings of the 6th International Natural Language Generation Conference

Quantified Score

Hi-index	0.00

Visualization

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