138 citations · 226 across the 3 of their papers we have counts for
3 papers
cmp-lg1996★ 138 cited
Attempto Controlled English (ACE)
Norbert E. Fuchs, Rolf Schwitter
Attempto Controlled English (ACE) allows domain specialists to interactively formulate requirements specifications in domain concepts. ACE can be accurately and efficiently process…
cmp-lg1996★ 26 cited
Attempto - From Specifications in Controlled Natural Language towards Executable Specifications
Rolf Schwitter, 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…
cmp-lg1995★ 62 cited
Specifying Logic Programs in Controlled Natural Language
Norbert E. Fuchs, Rolf Schwitter
Writing specifications for computer programs is not easy since one has to take into account the disparate conceptual worlds of the application domain and of software development. T…