138 citations · 226 across the 6 of their papers we have counts for
Showing 1996 · cmp-lgShow all
2 papers · 2 filters
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…