{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,28]],"date-time":"2026-01-28T20:46:36Z","timestamp":1769633196441,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540657651","type":"print"},{"value":"9783540489580","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48958-4_1","type":"book-chapter","created":{"date-parts":[[2007,7,22]],"date-time":"2007-07-22T22:11:42Z","timestamp":1185142302000},"page":"1-20","source":"Crossref","is-referenced-by-count":47,"title":["Attempto Controlled English \u2014 Not Just Another Logic Specification Language"],"prefix":"10.1007","author":[{"given":"Norbert E.","family":"Fuchs","sequence":"first","affiliation":[]},{"given":"Uta","family":"Schwertel","sequence":"additional","affiliation":[]},{"given":"Rolf","family":"Schwitter","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[1999,4,30]]},"reference":[{"key":"1_CR1","unstructured":"H. Alshawi, The Core Language Engine, MIT Press, 1992"},{"issue":"11","key":"1_CR2","doi-asserted-by":"publisher","first-page":"1257","DOI":"10.1109\/TSE.1985.231877","volume":"11","author":"R. M. Balzer","year":"1985","unstructured":"R. M. Balzer, A 15 Year Perspective on Automatic Programming, IEEE Transactions Software Engineering, vol. 11, no. 11, pp. 1257\u20131268, 1985","journal-title":"IEEE Transactions Software Engineering"},{"key":"1_CR3","doi-asserted-by":"crossref","unstructured":"J. P. Bowen, M. G. Hinchey, Seven More Myths of Formal Methods, IEEE Software, July 1995, pp. 34\u201341, 1995","DOI":"10.1109\/52.391826"},{"issue":"4","key":"1_CR4","doi-asserted-by":"crossref","first-page":"56","DOI":"10.1109\/2.375178","volume":"28","author":"J. P. Bowen","year":"1995","unstructured":"J. P. Bowen, M. G. Hinchey, Ten Commandments of Formal Methods, IEEE Computer, vol. 28, no. 4, pp. 56\u201363, 1995","journal-title":"IEEE Computer"},{"key":"1_CR5","unstructured":"F. Bry, N. Eisinger, H. Sch\u00fctz, S. Torge, SIC: Satisfiability Checking for Integrity Constraints, Research Report PMS-FB-1998-3, Institut f\u00fcr Informatik, Universit\u00e4t M\u00fcnchen, 1998"},{"key":"1_CR6","unstructured":"A. Businger, Expert Systems for the Configuration of Elevators at Schindler AG, Talk at Department of Computer Science, University of Zurich, July 1994"},{"issue":"3","key":"1_CR7","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1016\/S0164-1212(98)00172-1","volume":"40","author":"B. Charlier Le","year":"1998","unstructured":"B. LeCharlier, P. Flener, Specifications Are Necessarily Informal, or: The Ultimate Myths of Formal Methods, Journal of Systems and Software, Special Issue on Formal Methods Technology Transfer, vol. 40, no. 3, pp. 275\u2013296, March 1998","journal-title":"Journal of Systems and Software"},{"key":"1_CR8","unstructured":"Second International Workshop on Controlled Language Applications CLAW\u201998, Carnegie Mellon University, 21\u201322 May 1998"},{"key":"1_CR9","unstructured":"M. A. Covington, GULP 3.1: An Extension of Prolog for Unification-Based Grammars, Research Report AI-1994-06, Artificial Intelligence Center, University of Georgia, 1994"},{"key":"1_CR10","unstructured":"Y. Deville, Logic Programming, Systematic Program Development, Addison-Wesley, 1990"},{"issue":"5","key":"1_CR11","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1049\/sej.1992.0033","volume":"7","author":"N. E. Fuchs","year":"1992","unstructured":"N. E. Fuchs, Specifications Are (Preferably) Executable, Software Engineering Journal, vol. 7, no. 5 (September 1992), pp. 323\u2013334, 1992; reprinted in: J. P. Bowen, M. G. Hinchey, High-Integrity System Specification and Design, Springer-Verlag London Ltd., 1999 (to appear)","journal-title":"Software Engineering Journal"},{"key":"1_CR12","unstructured":"N. E. Fuchs, U. Schwertel, R. Schwitter, Attempto Controlled English (ACE), Language Manual, Version 2.0, Institut f\u00fcr Informatik, Universit\u00e4t Z\u00fcrich, 1998"},{"issue":"5","key":"1_CR13","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1109\/52.57887","volume":"7","author":"A. Hall","year":"1990","unstructured":"A. Hall, Seven Myths of Formal Methods, IEEE Software, vol. 7, no. 5, pp. 11\u201319, 1990","journal-title":"IEEE Software"},{"issue":"1","key":"1_CR14","first-page":"103","volume":"19","author":"D. Hindle","year":"1993","unstructured":"D. Hindle, M. Rooth, Structural Ambiguity and Lexical Relations, Computational Linguistics, vol. 19, no. 1, pp. 103\u2013120, 1993","journal-title":"Computational Linguistics"},{"key":"1_CR15","unstructured":"G. Hirst, Context as a Spurious Concept, AAAI Fall Symposium on Context in Knowledge Representation and Natural Language, Cambridge, Mass., 8 November 1997"},{"key":"1_CR16","unstructured":"IEEE Standard Glossary of Software Engineering Terminology, Corrected Edition, February 1991 (IEEE Std 610.12-1990)"},{"key":"1_CR17","unstructured":"M. Jackson, Software Requirements & Specifications: A Lexicon of Practice, Principles and Prejudices, Addison-Wesley, 1995"},{"key":"1_CR18","doi-asserted-by":"crossref","unstructured":"H. Kamp, U. Reyle, From Discourse to Logic, Introduction to Modeltheoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory, Studies in Linguistics and Philosophy 42, Kluwer, 1993","DOI":"10.1007\/978-94-017-1616-1"},{"key":"1_CR19","doi-asserted-by":"crossref","unstructured":"R. Kowalski, English as a Logic Programming Language, New Generation Computing, no. 8, pp. 91\u201393, 1990","DOI":"10.1007\/BF03037468"},{"issue":"4","key":"1_CR20","doi-asserted-by":"crossref","first-page":"310","DOI":"10.1093\/comjnl\/38.4.310","volume":"38","author":"B. Macias","year":"1995","unstructured":"B. Macias, S. G. Pulman, A Method for Controlling the Production of Specifications in Natural Language, The Computer Journal, vol. 38, no. 4, pp. 310\u2013318, 1995","journal-title":"The Computer Journal"},{"issue":"1","key":"1_CR21","doi-asserted-by":"publisher","first-page":"6","DOI":"10.1109\/MS.1985.229776","volume":"2","author":"B. Meyer","year":"1985","unstructured":"B. Meyer, On Formalism in Specifications, IEEE Software, vol. 2, no. 1, pp. 6\u201326, 1985","journal-title":"IEEE Software"},{"key":"1_CR22","doi-asserted-by":"crossref","unstructured":"T. F. M\u00fcnte, K. Schiltz, M. Kutas, When temporal terms belie conceptual order, Nature, no. 395, p. 71, 1998","DOI":"10.1038\/25731"},{"key":"1_CR23","unstructured":"T. Parsons, Events in the Semantics of English: A Study in Subatomic Semantics, Current Studies in Linguistics, MIT Press, 1994"},{"key":"1_CR24","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1093\/jos\/10.2.123","volume":"10","author":"U. Reyle","year":"1993","unstructured":"U. Reyle, Dealing with Ambiguities by Underspecification: Construction, Representation and Deduction, Journal of Semantics, 10, pp. 123\u2013178, 1993","journal-title":"Journal of Semantics"},{"key":"1_CR25","doi-asserted-by":"crossref","unstructured":"U. Reyle, D. M. Gabbay, Direct Deductive Computation on Discourse Representation Structures, Linguistics and Philosophy, 17, August 94, pp. 343\u2013390, 1994","DOI":"10.1007\/BF00985573"},{"key":"1_CR26","unstructured":"F. Sadri, R. Kowalski, Variants of the Event Calculus, in: L. Sterling(ed.), Proc. ICLP\u201995, 12th International Conference on Logic Programming, MIT Press, pp. 67\u201382, 1995"},{"key":"1_CR27","unstructured":"R. Schwitter, Kontrolliertes Englisch f\u00fcr Anforderungsspezifikationen, Dissertation, Universit\u00e4t Z\u00fcrich, 1998"},{"issue":"9","key":"1_CR28","doi-asserted-by":"crossref","first-page":"8","DOI":"10.1109\/2.58215","volume":"23","author":"J. M. Wing","year":"1990","unstructured":"J. M. Wing, A Specifiers\u2019s Introduction to Formal Methods, IEEE Computer, vol. 23, no. 9, pp. 8\u201324, 1990","journal-title":"IEEE Computer"}],"container-title":["Lecture Notes in Computer Science","Logic-Based Program Synthesis and Transformation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48958-4_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T07:42:19Z","timestamp":1556696539000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48958-4_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540657651","9783540489580"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/3-540-48958-4_1","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[1999]]}}}