Attempto Controlled English (ACE) is knowledge representation, specification, and a query language. For experts who want to use formal notations and formal methods, but may not be familiar with them.
#software_specifiation #ontology #proof_assistants
attempto.ifi.uzh.ch/site/
0
0
0
0