{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,4]],"date-time":"2025-11-04T23:06:12Z","timestamp":1762297572181},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540257837"},{"type":"electronic","value":"9783540319535"}],"license":[{"start":{"date-parts":[[2005,1,1]],"date-time":"2005-01-01T00:00:00Z","timestamp":1104537600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11422532_4","type":"book-chapter","created":{"date-parts":[[2010,7,12]],"date-time":"2010-07-12T22:15:43Z","timestamp":1278972943000},"page":"51-66","source":"Crossref","is-referenced-by-count":20,"title":["Translating Formal Software Specifications to Natural Language"],"prefix":"10.1007","author":[{"given":"David A.","family":"Burke","sequence":"first","affiliation":[]},{"given":"Kristofer","family":"Johannisson","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"4_CR1","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1007\/s10270-004-0058-x","volume":"4","author":"W. Ahrendt","year":"2005","unstructured":"Ahrendt, W., Baar, T., Beckert, B., Bubel, R., Giese, M., H\u00e4hnle, R., Menzel, W., Mostowski, W., Roth, A., Schlager, S., Schmitt, P.H.: The KeY tool. Software and System Modeling\u00a04, 32\u201354 (2005)","journal-title":"Software and System Modeling"},{"key":"4_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/3-540-45923-5_16","volume-title":"Fundamental Approaches to Software Engineering","author":"R. H\u00e4hnle","year":"2002","unstructured":"H\u00e4hnle, R., Johannisson, K., Ranta, A.: An authoring tool for informal and formal requirements specifications. In: Kutsche, R.-D., Weber, H. (eds.) FASE 2002. LNCS, vol.\u00a02306, p. 233. Springer, Heidelberg (2002)"},{"key":"4_CR3","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1017\/S0956796803004738","volume":"14","author":"A. Ranta","year":"2004","unstructured":"Ranta, A.: Grammatical Framework: A Type-theoretical Grammar Formalism. The Journal of Functional Programming\u00a014, 145\u2013189 (2004)","journal-title":"The Journal of Functional Programming"},{"key":"4_CR4","volume-title":"Intuitionistic Type Theory","author":"P. Martin-L\u00f6f","year":"1984","unstructured":"Martin-L\u00f6f, P.: Intuitionistic Type Theory. Bibliopolis, Napoli (1984)"},{"key":"4_CR5","unstructured":"Sun Microsystems: Java card homepage (2004), \n                    \n                      http:\/\/java.sun.com\/products\/javacard\/"},{"key":"4_CR6","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1017\/S1351324997001502","volume":"3","author":"E. Reiter","year":"1997","unstructured":"Reiter, E., Dale, R.: Building applied natural language generation systems. Journal of Natural Language Engineering\u00a03, 57\u201387 (1997)","journal-title":"Journal of Natural Language Engineering"},{"key":"4_CR7","unstructured":"Ranta, A.: Grammatical Framework homepage (2005) \n                    \n                      www.cs.chalmers.se\/~aarne\/GF\n                    \n                    \n                  ."},{"key":"4_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-36456-0_48","volume-title":"Computational Linguistics and Intelligent Text Processing","author":"J. Khegai","year":"2003","unstructured":"Khegai, J., Nordstr\u00f6m, B., Ranta, A.: Multilingual syntax editing in GF. In: Gelbukh, A. (ed.) CICLing 2003. LNCS, vol.\u00a02588, Springer, Heidelberg (2003)"},{"key":"4_CR9","unstructured":"Ranta, A.: The GF resource grammar library (2004), \n                    \n                      http:\/\/www.cs.chalmers.se\/~aarne\/GF\/lib\/resource\/"},{"key":"4_CR10","volume-title":"Software Engineering","author":"I. Sommerville","year":"2004","unstructured":"Sommerville, I.: Software Engineering, 7th edn. Addison Wesley, Reading (2004)","edition":"7"},{"key":"4_CR11","unstructured":"The Object Management Group: Object constraint language specification (2004), \n                    \n                      http:\/\/www.omg.org\/docs\/formal\/03-03-13.pdf"},{"key":"4_CR12","unstructured":"The Object Management Group: Unified modelling language homepage (2004), \n                    \n                      http:\/\/www.uml.org"},{"key":"4_CR13","doi-asserted-by":"crossref","unstructured":"Larsson, D., Mostowski, W.: Specifying Java Card API in OCL. In: Schmitt, P.H., ed.: OCL 2.0 Workshop at UML, Volume 102C of ENTCS., Elsevier, 3\u201319 (2003)","DOI":"10.1016\/j.entcs.2003.09.001"},{"key":"4_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1007\/3-540-45418-7_14","volume-title":"Smart Card Programming and Security","author":"H. Meijer","year":"2001","unstructured":"Meijer, H., Poll, E.: Towards a full formal specification of the javaCard API. In: Attali, S., Jensen, T. (eds.) E-smart 2001. LNCS, vol.\u00a02140, pp. 165\u2013178. Springer, Heidelberg (2001)"},{"key":"4_CR15","unstructured":"Burke, D.A.: Improving the natural language translation of formal software specifications. Master\u2019s thesis, Chalmers University of Technology, SE-412 96 G\u00f6teborg, Sweden (2004)"},{"key":"4_CR16","unstructured":"Johannisson, K.: OCL to natural language tool homepage (2004), \n                    \n                      http:\/\/www.cs.chalmers.se\/~krijo\/gfspec\/"},{"key":"4_CR17","unstructured":"Daniels, H.J.: Eine deutsche Grammatik f\u00fcr OCL. Studienarbeit (2003), \n                    \n                      http:\/\/www.cs.chalmers.se\/~krijo\/gfspec\/"},{"key":"4_CR18","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1007\/3-540-44404-1_6","volume-title":"Logic for Programming and Automated Reasoning","author":"T. Hallgren","year":"2000","unstructured":"Hallgren, T., Ranta, A.: An extensible proof text editor. In: Parigot, M., Voronkov, A. (eds.) LPAR 2000. LNCS (LNAI), vol.\u00a01955, pp. 70\u201384. Springer, Heidelberg (2000)"},{"key":"4_CR19","unstructured":"Johannisson, K.: Disambiguating implicit constructions in OCL (2004) Online proceedings of OCL and Model Driven Engineering Workshop at UML (2004), \n                    \n                      http:\/\/www.cs.kent.ac.uk\/projects\/ocl\/oclmdewsuml04\/description.htm"},{"key":"4_CR20","unstructured":"Ljungl\u00f6f, P.: Expressivity and complexity of the Grammatical Framework. PhD thesis, Chalmers University of Technology, G\u00f6teborg University, SE-412 96 G\u00f6teborg, Sweden (2004)"},{"key":"4_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0014048","volume-title":"Typed Lambda Calculi and Applications","author":"Y. Coscoy","year":"1995","unstructured":"Coscoy, Y., Kahn, G., Thery, L.: Extracting text from proofs. In: Dezani-Ciancaglini, M., Plotkin, G. (eds.) TLCA 1995. LNCS, vol.\u00a0902, Springer, Heidelberg (1995)"}],"container-title":["Lecture Notes in Computer Science","Logical Aspects of Computational Linguistics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11422532_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T15:54:25Z","timestamp":1558281265000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11422532_4"}},"subtitle":["A Grammar-Based Approach"],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540257837","9783540319535"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/11422532_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}