[Attempto] executable specifications

[Kenneth Jones]

Hi Norbert,

ACE was initially created as a language for the expression of executable
software specifications.  You have since turned your attention to other
potential applications of ACE.  Why is that?

Also, As far as I know, ACE has not been used in industry to improve the
quality of specifications.  Why do you think that is?

-- Ken
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.ifi.uzh.ch/pipermail/attempto/attachments/20101030/3ae5ab95/attachment.htm>