Abstract
Attempto Controlled English (ACE) allows domain specialists to interactively formulate requirements specifications in domain concepts. ACE can be accurately and efficiently processed by a computer, but is expressive enough to allow natural usage. The Attempto system translates specification texts in ACE into discourse representation structures and optionally into Prolog. Translated specification texts are incrementally added to a knowledge base. This knowledge base can be queried in ACE for verification, and it can be executed for simulation, prototyping and validation of the specification.
| Original language | English |
|---|---|
| Title of host publication | CLAW 96 |
| Subtitle of host publication | proceedings of the First International Workshop on Controlled Language Applications |
| Place of Publication | Leuven |
| Publisher | Katholieke Universiteit Leuven |
| Publication status | Published - 1996 |
| Externally published | Yes |
| Event | The First International Workshop on Controlled Language Applications - Leuven, Belgium Duration: 26 Mar 1996 → 27 Mar 1996 Conference number: 1st |
Conference
| Conference | The First International Workshop on Controlled Language Applications |
|---|---|
| Abbreviated title | CLAW 96 |
| Country/Territory | Belgium |
| City | Leuven |
| Period | 26/03/96 → 27/03/96 |