Attempto - From Specifications in Controlled Natural Language towards Executable Specifications

Details Attempto - From Specifications in Controlled Natural Language towards Executable Specifications Attempto - From Specifications in Controlled Natural Language towards Executable Specifications

1996-03-12

arxiv.org/abs/cmp-lg/9603004v1

Computer Science

Computation and Language

15 pages, compressed, uuencoded Postscript, to be presented at EMISA Workshop 'Naturlichsprachlicher Entwurf von Informationss

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

Attempto - From Specifications in Controlled Natural Language towards Executable Specifications does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Attempto - From Specifications in Controlled Natural Language towards Executable Specifications, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Attempto - From Specifications in Controlled Natural Language towards Executable Specifications will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-279131