preprint · ArXiv.org · 1996

Attempto - From Specifications in Controlled Natural Language towards Executable Specifications

Cited by 26Open access

Abstract

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 allow natural usage. The Attempto system translates specifications in ACE into discourse representation structures and into Prolog. The resulting knowledge base can be queried in ACE for verification, and it can be executed for simulation, prototyping and validation of the specification.

Cite this paper

APA 7

Schwitter, R., & Fuchs, N. E. (1996). Attempto - From Specifications in Controlled Natural Language towards Executable Specifications. ArXiv.org. https://doi.org/10.48550/arxiv.cmp-lg/9603004

MLA 9

Schwitter, Rolf, and Norbert E. Fuchs. “Attempto - From Specifications in Controlled Natural Language towards Executable Specifications.” ArXiv.org, 1996, https://doi.org/10.48550/arxiv.cmp-lg/9603004.

Chicago

Schwitter, Rolf, and Norbert E. Fuchs. 1996. “Attempto - From Specifications in Controlled Natural Language towards Executable Specifications.” ArXiv.org. https://doi.org/10.48550/arxiv.cmp-lg/9603004.

Harvard

Schwitter, R. and Fuchs, N.E. (1996) ‘Attempto - From Specifications in Controlled Natural Language towards Executable Specifications’, ArXiv.org. Available at: https://doi.org/10.48550/arxiv.cmp-lg/9603004.

BibTeX

@misc{schwitter1996attempto,
  title = {{Attempto - From Specifications in Controlled Natural Language towards Executable Specifications}},
  author = {Schwitter, Rolf and Fuchs, Norbert E.},
  journal = {ArXiv.org},
  year = {1996},
  doi = {10.48550/arxiv.cmp-lg/9603004}
}

Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.