Translating formal software specifications to natural language - A grammar-based approach

被引：11

作者：

Burke, DA ^{[1
]}

Johannisson, K

机构：

[1] Chalmers Univ Technol, Dept Comp Sci, SE-41296 Gothenburg, Sweden

[2] Univ Gothenburg, SE-41296 Gothenburg, Sweden

来源：

LOGICAL ASPECTS OF COMPUTATIONAL LINGUISTICS, PROCEEDINGS | 2005年 / 3492卷

关键词：

D O I：

10.1007/11422532_4

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

We describe a system for automatically translating formal software specifications to natural language. The system produces natural language which is acceptable to a human reader, and it supports by-hand optimization by users who are not experts of our system. The translation system is implemented using the Grammatical Framework, a grammar formalism based on Martin-Lof's type theory. We show that this grammar-based approach scales well enough to handle a non-trivial case study: translating the Object Constraint Language specifications of the Java Card API into English.

引用

页码：51 / 66

页数：16