A 15 Year Perspective on Automatic Programming
IEEE Transactions on Software Engineering - Special issue on artificial intelligence and software engineering
Logic programming: systematic program development
Logic programming: systematic program development
Specifications are (preferably) executable
Software Engineering Journal
Software requirements & specifications: a lexicon of practice, principles and prejudices
Software requirements & specifications: a lexicon of practice, principles and prejudices
Specifications are necessarily informal or: some more myths of formal methods
Journal of Systems and Software - Special issue on formal methods technology transfer
Ten Commandments of Formal Methods
Computer
IEEE Software
Seven More Myths of Formal Methods
IEEE Software
Structural ambiguity and lexical relations
Computational Linguistics - Special issue on using large corpora: I
On Formalism in Specifications
IEEE Software
Translating Role-Based Access Control Policy within Context
POLICY '01 Proceedings of the International Workshop on Policies for Distributed Systems and Networks
Working for Two: A Bidirectional Grammar for a Controlled Natural Language
AI '08 Proceedings of the 21st Australasian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
YIWCALA '10 Proceedings of the NAACL HLT 2010 Young Investigators Workshop on Computational Approaches to Languages of the Americas
Testing techniques in software engineering
Testing techniques in software engineering
Loki: semantic wiki with logical knowledge representation
Transactions on computational collective intelligence III
Integration of the controlled language ACE to the amine platform
ICCS'11 Proceedings of the 19th international conference on Conceptual structures for discovering knowledge
A controlled natural language layer for the semantic web
AI'05 Proceedings of the 18th Australian Joint conference on Advances in Artificial Intelligence
Improving text mining with controlled natural language: a case study for protein interactions
DILS'06 Proceedings of the Third international conference on Data Integration in the Life Sciences
Generating model-based test cases from natural language requirements for space application software
Software Quality Control
Capturing modeling processes: towards the MoDial modeling laboratory
OTM'06 Proceedings of the 2006 international conference on On the Move to Meaningful Internet Systems: AWeSOMe, CAMS, COMINF, IS, KSinBIT, MIOS-CIAO, MONET - Volume Part II
Ten theses on logic languages for the semantic web
PPSWR'05 Proceedings of the Third international conference on Principles and Practice of Semantic Web Reasoning
Working with events and states in PENG light
CNL'10 Proceedings of the Second international conference on Controlled Natural Language
A Principled Approach to Grammars for Controlled Natural Languages and Predictive Editors
Journal of Logic, Language and Information
Interpreting spatiotemporal expressions from english to fuzzy logic
RuleML'13 Proceedings of the 7th international conference on Theory, Practice, and Applications of Rules on the Web
Hi-index | 0.00 |
The specification language Attempto Controlled English (ACE) is a controlled natural language, i.e. a subset of standard English with a domain-specific vocabulary and a restricted grammar. The restriction of full natural language to a controlled subset is essential for ACE to be suitable for specification purposes. The main goals of this restriction are to reduce ambiguity and vagueness inherent in full natural language and to make ACE computer processable. ACE specifications can be unambiguously translated into logic specification languages, and can be queried and executed. In brief, ACE allows domain specialists to express specifications in familiar natural language and combine this with the rigour of formal specification languages.