 It has been under development at the University of Zurich since 1995.In 2013, ACE version 6.7 was announced.ACE can serve as knowledge representation, specification, and query language, and is intended for professionals who want to use formal notations and formal methods, but may not be familiar with them.