English as a formal specification language

Proceedings - International Workshop on Database and Expert Systems Applications, DEXA

Volumn 2002-January, Issue , 2002, Pages 228-232

  Schwitter, Rolf ^a  

^a MACQUARIE UNIVERSITY   (Australia)

Author keywords

Application software; Australia; Formal languages; Formal specifications; Humans; Logic testing; Manuals; Natural languages; Vocabulary; Writing

Indexed keywords

APPLICATION PROGRAMS; COMPUTATIONAL LINGUISTICS; COMPUTER HARDWARE DESCRIPTION LANGUAGES; EXPERT SYSTEMS; FORMAL LANGUAGES; NATURAL LANGUAGE PROCESSING SYSTEMS; SOFTWARE TESTING; SPECIFICATION LANGUAGES; SPECIFICATIONS; TECHNICAL WRITING; TRANSLATION (LANGUAGES);

AUSTRALIA; HUMANS; LOGIC TESTING; MANUALS; NATURAL LANGUAGES; VOCABULARY;

FORMAL SPECIFICATION;

EID: 84948669120     PISSN: 15294188     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DEXA.2002.1045903     Document Type: Conference Paper

References (13)

1. AECMA (The European Association of Aerospace Industries). AECMA Simplified English. AECMA Document PSC-85-16598, A Guide for the Preparation of AircraftMaintenance Documentation in the International Aerospace Maintenance Language, Issue 1, Revision 1, January 1998
2. C. Kamprath, E. Adolphson, T. Mitamura, E. Nyberg. Controlled Language for Multilingual Document Production: Experience with Caterpillar Technical English. In Proceedings of the Second International Workshop on Controlled Language Applications (CLAW '98), Pittsburgh, PA, May 1998
3. T. Mitamura. Controlled Language for Multilingual Machine Translation. In Proceedings of Machine Translation Summit VII, Singapore, September 13-17, 1999
4. S. G. Pulman. Controlled Language for Knowledge Representation. In Proceedings of the First International Workshop on Controlled Language Applications, Katholieke Universiteit Leuven, Belgium, pp. 233-242, 1996
5. N. E. Fuchs, U. Schwertel, R. Schwitter. Attempto Controlled English-Not Just Another Logic Specification Language. In Lecture Notes in Computer Science 1559, Springer, pp. 1-20, 1999
6. C. Grover, A. Holt, E. Klein, M. Moens. Designing a controlled language for interactive model checking. In Proceedings of the Third International Workshop on Controlled Language Applications, 29-30 April 2000, Seattle, pp. 29-30, April 2000
7. K. Böttger, R. Schwitter, D. Richards, O. Aguilera, D. Molla. Reconciling Use Cases via Controlled Language and Graphical Models. INAP 2001, Proceedings of the 14th International Conference on Applications of Prolog, 20-22 October 2001, University of Tokyo, Japan, pp. 186-195, October 2001
8. J. Bos. DORIS 2001: Underspecification, Resolution and Inference for Discourse Representation Structures. In Blackburn and Kohlhase (eds): ICoS-3. Inference in Computational Semantics. Workshop Proceedings, Siena, Italy, June 2001
9. R. Schwitter. Kontrolliertes Englisch für Anforderungsspezifikationen. Dissertation, Universität Zürich, 1998
10. F. J. Pelletier. Seventy-five Problems for Testing Automatic Theorem Provers. In Journal of Automated Reasoning 2, pp. 191-216, 1986
11. M. Krifka, F. J. Pelletier, G. N. Carlson, A. ter Meulen, G. Link, G. Chierchia. Genericity: An Introduction. In G. Carlson, F. J. Pelletier, (eds.), The Generic Book, The University of Chicago Press, Chicago, pp. 1-124, 1995
12. H. Kamp, U. Reyle. From Discourse to Logic. Kluwer, Dordrecht, 1993
13. W. W. McCune. OTTER 3.0 Reference Manual and Guide. Argonne National Laboratory, ANL-94/6, Revision A, August 1995