Attempto - From Specifications in Controlled Natural Language towards Executable Specifications

  title={Attempto - From Specifications in Controlled Natural Language towards Executable Specifications},
  author={Rolf Schwitter and Norbert E. Fuchs},
Deriving formal specifications from informal requirements is difficult since one has to take into account the disparate conceptual worlds of the application domain and of software development. To bridge the conceptual gap we propose controlled natural language as a textual view on formal specifications in logic. The specification language Attempto Controlled English (ACE) is a subset of natural language that can be accurately and efficiently processed by a computer, but is expressive enough to… CONTINUE READING


Publications citing this paper.
Showing 1-10 of 18 extracted citations


Publications referenced by this paper.
Showing 1-10 of 12 references

GULP 3.1: An Extension of Prolog for Unification-Based Grammar, Report AI-1994-06

M. A. Covington
Artificial Intelligence Center, University of Georgia, • 1994
View 1 Excerpt

Natural Language Processing and Requirements Specification, Presentation at the Prolog Forum, Department of Computer

S. G. Pulman
View 2 Excerpts

Transformational Development of Logic Programs from Executable Specifications

ICLP Workshop: Applications of Logic Programming to Software Engineering • 1994

Natural Language Processing for Requirements Specifications

Macias, Pulman 92 B. Macias, S. Pulman

Similar Papers

Loading similar papers…