Abstrakt. Specificeringsspråket Försöko Kontrollerad Engelska (ACE) är ett kontrollerat naturligt språk, dvs.. En delmängd av standardengelska med ett domänspecifikt ordförråd och begränsad grammatik. Begränsningen av fullständigt naturligt språk till en kontrollerad delmängd är av avgörande betydelse för att ACE ska vara lämpligt för specifikationsändamål. Huvudsyftet med denna begränsning är att minska tvetydigheten och vagheten i hela det naturliga språket och att göra ACE-datorn möjlig att bearbeta. ACE-specifikationerna kan på ett otvetydigt sätt översättas till logikspecifika språk och kan ställas till svars och verkställas. I korthet gör ACE det möjligt för domänspecialister att uttrycka specifikationer i välbekanta naturliga språk och kombinera detta med strängheten i formella specifikationsspråk.
Kontrollerat naturligt språk nära naturligt språk är i huvudsak ett slags formellt språk, såsom ACE REF.