@inproceedings{5882a312b4604b4a973f86e725228d1b,
title = "Attempto controlled English — Not just another logic specification language",
abstract = "The specification language Attempto Controlled English (ACE) is a controlled natural language, i.e. a subset of standard English with a domain-specific vocabulary and a restricted grammar. The restriction of full natural language to a controlled subset is essential for ACE to be suitable for specification purposes. The main goals of this restriction are to reduce ambiguity and vagueness inherent in full natural language and to make ACE computer processable. ACE specifications can be unambiguously translated into logic specification languages, and can be queried and executed. In brief, ACE allows domain specialists to express specifications in familiar natural language and combine this with the rigour of formal specification languages.",
author = "Fuchs, {Norbert E.} and Uta Schwertel and Rolf Schwitter",
year = "1998",
month = jun,
doi = "10.1007/3-540-48958-4_1",
language = "English",
isbn = "3540657657",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer, Springer Nature",
pages = "1--20",
editor = "Pierre Flener",
booktitle = "Logic-Based Program Synthesis and Transformation",
address = "United States",
note = "8th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR - 1998 ; Conference date: 15-06-1998 Through 19-06-1998",
}