Translating formal software specifications to natural language a grammar-based approach

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3492 LNAI, Issue , 2005, Pages 51-66

  Burke, David A ^a   Johannisson, Kristofer ^a  

^a CHALMERS UNIVERSITY OF TECHNOLOGY   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL GRAMMARS; COMPUTATIONAL LINGUISTICS; COMPUTER SOFTWARE; JAVA PROGRAMMING LANGUAGE; NATURAL LANGUAGE PROCESSING SYSTEMS; TRANSLATION (LANGUAGES);

FORMAL SOFTWARE SPECIFICATIONS; GRAMMAR-BASED APPROACH; NATURAL LANGUAGE; OBJECT CONSTRAINT LANGUAGE SPECIFICATIONS;

FORMAL LANGUAGES;

EID: 33745128779     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11422532_4     Document Type: Conference Paper

References (21)

1. Ahrendt, W., Baar, T., Beckert, B., Bubel, R., Giese, M., Hähnle, R., Menzel, W., Mostowski, W., Roth, A., Schlager, S., Schmitt, P.H.: The KeY tool. Software and System Modeling 4 (2005) 32-54
2. Hähnle, R., Johannisson, K., Ranta, A.: An authoring tool for informal and formal requirements specifications. In Kutsche, R.D., Weber, H., eds,: Fundamental Approaches to Software Engineering. Number 2306 in LNCS (2002)
3. Ranta, A.: Grammatical Framework: A Type-theoretical Grammar Formalism. The Journal of Functional Programming 14 (2004) 145-189
4. Martin-Löf, P.: Intuitionistic Type Theory. Bibliopolis, Napoli (1984)
5. Sun Microsystems: Java card homepage (2004) http://java.sun.com/products/ javacard/.
6. Reiter, E., Dale, R.: Building applied natural language generation systems. Journal of Natural Language Engineering 3 (1997) 57-87
7. Ranta, A.: Grammatical Framework homepage (2005) www.cs.chalmers.se/ ~aarne/GF.
8. Khegai, J., Nordström, B., Ranta, A.: Multilingual syntax editing in GF. In Gelbukh, A., ed.: CICLing-2003, Mexico City, Mexico. LNCS, Springer (2003)
9. Ranta, A.: The GF resource grammar library (2004) http://www.cs.chalmers. se/~aarne/GF/lib/resource/.
10. Sommerville, I.: Software Engineering. Seventh edn. Addison Wesley (2004)
11. The Object Management Group: Object constraint language specification (2004) http://www.omg.org/docs/formal/03-03-13.pdf.
12. The Object Management Group: Unified modelling language homepage (2004) http://www.uml.org.
13. Larsson, D., Mostowski, W.: Specifying Java Card API in OCL. In Schmitt, P.H., ed.: OCL 2.0 Workshop at UML 2003. Volume 102C of ENTCS., Elsevier (2004) 3-19
14. Meijer, H., Poll, E.: Towards a full formal specification of the Java Card API. In Attali, I., Jensen, T., eds.: Smart Card Programming and Security. Number 2140 in LNCS, Springer (2001) 165-178
15. Burke, D.A.: Improving the natural language translation of formal software specifications. Master's thesis, Chalmers University of Technology, SE-412 96 Göteborg, Sweden (2004)
16. Johannisson, K.: OCL to natural language tool homepage (2004) http://www.cs.chalmers.se/~krijo/gfspec/.
17. Daniels, H.J.: Eine deutsche Grammatik für OCL. Studienarbeit (2003) http://www.cs.chalmers.se/~krijo/gfspec/.
18. Hallgren, T., Ranta, A.: An extensible proof text editor. In Parigot, M., Voronkov, A., eds.: Logic for Programming and Automated Reasoning, LPAR. LNAI 1955, Springer (2000) 70-84
19. Johannisson, K.: Disambiguating implicit constructions in OCL (2004) Online proceedings of OCL and Model Driven Engineering Workshop at UML 2004, http://www.cs.kent.ac.uk/projects/ocl/oclmdewsum104/description.htm.
20. Ljunglöf, P.: Expressivity and complexity of the Grammatical Framework. PhD thesis, Chalmers University of Technology, Göteborg University, SE-412 96 Göteborg, Sweden (2004)
21. Coscoy, Y., Kahn, G., Thery, L.: Extracting text from proofs. In Dezani-Ciancaglini, M., Plotkin, G., eds.: Proc. Second Int. Conf. on Typed Lambda Calculi and Applications. Volume 902 of LNCS. (1995) 109-123