Login / Signup
Attempto - From Specifications in Controlled Natural Language towards Executable Specifications
Rolf Schwitter
Norbert E. Fuchs
Published in:
CoRR (1996)
Keyphrases
</>
controlled natural language
formal specification
attribute grammars
semantic representation
control flow
formal language
high level
social semantic desktop
text mining
knowledge based systems
model checking
specification language
reactive systems
concurrent systems