{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,10]],"date-time":"2024-09-10T16:49:48Z","timestamp":1725986988692},"publisher-location":"Cham","reference-count":30,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319981765"},{"type":"electronic","value":"9783319981772"}],"license":[{"start":{"date-parts":[[1993,1,1]],"date-time":"1993-01-01T00:00:00Z","timestamp":725846400000},"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":[[1993]]},"DOI":"10.1007\/3-540-56777-1_7","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T11:31:32Z","timestamp":1330255892000},"page":"118-142","source":"Crossref","is-referenced-by-count":6,"title":["Using explanations to improve the validation of executable models"],"prefix":"10.1007","author":[{"given":"Jon Atle","family":"Gulla","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Geir","family":"Willumsen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"key":"7_CR1","unstructured":"\u00c5. Bakkane. Code generation in the PPP I-CASE environment. Master's thesis, Norwegian Institute of Technology, Department of Computer Systems and Telematics, February 1991."},{"issue":"3","key":"7_CR2","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1109\/64.87684","volume":"6","author":"B. Chandrasekaran","year":"1991","unstructured":"B. Chandrasekaran and W. Swartout. Explanations in Knowledge Systems. IEEE Experts, 6(3):47\u201349, June 1991.","journal-title":"IEEE Experts"},{"key":"7_CR3","unstructured":"R. Dale, C. Mellish, and M. Zock, editors. Current Research in Natural Language Generation. Academic Press Limited, 1990."},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"H. Dalianis. A method for validating a conceptual model by natural language discourse generation. In P. Loucopoulos, editor, Proceedings of the Forth International Conference on Advanced Information Systems Engineering (CAiSE'92), pages 425\u2013444. Springer-Verlag, May 1992.","DOI":"10.1007\/BFb0035146"},{"key":"7_CR5","doi-asserted-by":"crossref","first-page":"194","DOI":"10.1007\/3-540-54059-8_86","volume-title":"Proceedings of the Third International Conference on Advanced Information Systems Engineering (CAiSE'91)","author":"J. A. Gulla","year":"1991","unstructured":"J. A. Gulla, O. I. Lindland, and G. Willumsen. PPP: An Integrated CASE Environment. In R. Andersen, J. A. Bubenko jr., and A. Solvberg, editors, Proceedings of the Third International Conference on Advanced Information Systems Engineering (CAiSE'91), pages 194\u2013221, Trondheim, May 1991. Springer-Verlag."},{"key":"7_CR6","unstructured":"G. F. H\u00e5land. SIMSPEC \u2014 Simulating a PPP Specification. Master's thesis, Norwegian Institute of Technology, 1991."},{"issue":"4","key":"7_CR7","doi-asserted-by":"crossref","first-page":"403","DOI":"10.1109\/32.54292","volume":"16","author":"D. Harel","year":"1990","unstructured":"D. Harel, H. Lachover, A. Naamad, A. Pnueli, M. Politi, R. Sherman, A. Shtull-Trauring, and M. Trakhtenbrot. STATEMATE: A Working Environment for the Development of Complex Reactive Systems. IEEE Transactions on Software Engineering, 16(4):403\u2013414, April 1990.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"2","key":"7_CR8","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1016\/0950-5849(91)90057-I","volume":"33","author":"J. Jones","year":"1991","unstructured":"J. Jones and M. Virvou. User modelling and advice giving in intelligent help systems for Unix. Information and Software Technology, 33(2):121\u2013133, March 1991.","journal-title":"Information and Software Technology"},{"key":"7_CR9","volume-title":"Master's thesis","author":"J. R. Jorgensen","year":"1991","unstructured":"J. R. Jorgensen, O. T. Kogstad, and H. Nilsen. Rapid Prototyping of User Interfaces in the I-CASE Environment PPP. Master's thesis, Norwegian Institute of Technology, Trondheim, 1991."},{"issue":"4","key":"7_CR10","doi-asserted-by":"crossref","first-page":"399","DOI":"10.1016\/S0020-7373(89)80025-2","volume":"30","author":"J. Kalita","year":"1989","unstructured":"J. Kalita. Automatically generating natural language reports. International Journal of Man-Machine Studies, 30(4):399\u2013423, April 1989.","journal-title":"International Journal of Man-Machine Studies"},{"issue":"2","key":"7_CR11","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1016\/0164-1212(91)90055-B","volume":"15","author":"C. H. Kung","year":"1991","unstructured":"C. H. Kung. Process Interface Modeling and Consistency Checking. The Journal of Systems and Software, 15(2):185\u2013191, May 1991.","journal-title":"The Journal of Systems and Software"},{"key":"7_CR12","doi-asserted-by":"crossref","unstructured":"C.H. LeDoux and D. Stott Parker, Jr. Saving traces for ADA debugging. In Ada In Use, Proceedings of The Acta International Conference, pages 97\u2013108, 1985.","DOI":"10.1145\/324422.324385"},{"key":"7_CR13","doi-asserted-by":"crossref","unstructured":"O. I. Lindland and J. Krogstie. Validating Conceptual Models by Transformational Prototyping. To be presented at the Fifth International Conference on Advanced Information Systems Engineering (CAiSE'93), 1993.","DOI":"10.1007\/3-540-56777-1_9"},{"key":"7_CR14","unstructured":"J. Lingat, P. Colignon, and C. Rolland. Rapid Application Prototyping \u2014 The PROQUEL Language. In Francois Bancilhon and David J. DeWitt, editors, Proceedings of the fourteenth international conference on very large data bases, pages 206\u2013217, 1988."},{"key":"7_CR15","unstructured":"P. Loucopoulos, B. Theodoulidis, and D. Pantazis. Business Rules Modelling: Conceptual Modelling and Object-Oriented Specifications. In F. Van Assche, B. Moulin, and C. Rolland, editors, Object-Oriented Approach in Information Systems, pages 323\u2013342. Elsevier Science Publishers B.V., 1991."},{"key":"7_CR16","doi-asserted-by":"crossref","unstructured":"W. C. Mann and S. A. Thompson. Rhetorical Structure Theory: Description and Construction of Text Structures. In G. Kempen, editor, Natural Language Generation: New Results in Artificial Intelligence, Psychology and Linguistics, chapter 7, pages 85\u201395. Martinus Nijhoff Publishers, 1987.","DOI":"10.1007\/978-94-009-3645-4_7"},{"issue":"2","key":"7_CR17","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1016\/0004-3702(89)90009-X","volume":"41","author":"K. F. McCoy","year":"1989","unstructured":"K. F. McCoy. Generating Context-Sensitive Responses to Object-Related Misconceptions. Artificial Intelligence, 41(2):157\u2013196, December 1989.","journal-title":"Artificial Intelligence"},{"issue":"4","key":"7_CR18","doi-asserted-by":"crossref","first-page":"593","DOI":"10.1145\/76894.76897","volume":"21","author":"C. E. McDowell","year":"1989","unstructured":"C. E. McDowell and D. P. Helmbold. Debugging Concurrent Programs. ACM Computing Surveys, 21(4):593\u2013623, December 1989.","journal-title":"ACM Computing Surveys"},{"key":"7_CR19","first-page":"1","volume-title":"Advances in Natural Language Generation: An Interdisciplinary Perspective (Volume 1)","author":"K. McKeown","year":"1988","unstructured":"K. McKeown and W. R. Swartout. Language generation and explanation. In M. Zock and G. Sabah, editors, Advances in Natural Language Generation: An Interdisciplinary Perspective (Volume 1), chapter 1, pages 1\u201351. Pinter Publishers, London, 1988."},{"issue":"1","key":"7_CR20","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0004-3702(85)90082-7","volume":"27","author":"K. R. McKeown","year":"1985","unstructured":"K. R. McKeown. Discourse Strategies for Generating Natural-Language Text. Artificial Intelligence, 27(1):1\u201342, September 1985.","journal-title":"Artificial Intelligence"},{"key":"7_CR21","doi-asserted-by":"crossref","unstructured":"C. L. Paris. Generation and Explanation: Building an Explanation Facility for the Explainable Expert Systems Framework. In C. L. Paris, W. R. Swartout, and W. C. Mann, editors, Natural Language Generation in Artificial Intelligence and Computational Linguistics, chapter 2, pages 49\u201382. Kluwer Academic Publishers, 1991.","DOI":"10.1007\/978-1-4757-5945-7_2"},{"key":"7_CR22","doi-asserted-by":"crossref","unstructured":"C. Rolland and C. Proix. A Natural Language Approach for Requirements Engineering. In P. Loucopoulos, editor, Proceedings of the Forth International Conference on Advanced Information Systems Engineering (CAiSE'92), pages 257\u2013277. Springer-Verlag, May 1992.","DOI":"10.1007\/BFb0035136"},{"key":"7_CR23","unstructured":"A. H. Seltveit. An Abstraction-Based Rule Approach to Large-Scale Information Systems Development. To be presented at the Fifth International Conference on Advanced Information Systems Engineering (CAiSE'93), 1993."},{"key":"7_CR24","doi-asserted-by":"crossref","unstructured":"R. Snodgrass. Monitoring in a software development environment \u2014 a relational approach. In Proceedings of the Software Engineering Symposium on Practical Software Development Environments, SIGPLAN, ACM SIGSOFT, 1984.","DOI":"10.1145\/800020.808257"},{"key":"7_CR25","unstructured":"A. Solvberg. A contribution to the definition of concepts for expressing user's information systems requirements. In Entity-Relationship Approach to Systems Analysis and Design. North-Holland Publishing Company, 1980."},{"key":"7_CR26","unstructured":"W. Swartout. GIST English Generator. In Proceedings of the National Conference on Artificial Intelligence (AAAI-82), pages 404\u2013409, Pittsburgh, August 1982."},{"key":"7_CR27","first-page":"402","volume-title":"The GIST Behavior Explainer","author":"W. Swartout","year":"1983","unstructured":"W. Swartout. The GIST Behavior Explainer. In Proceedings of The National Conference on Artificial Intelligence (AAAI-83), pages 402\u2013407, Washington, August 1983. William Kaufman, Inc."},{"issue":"3","key":"7_CR28","doi-asserted-by":"crossref","first-page":"285","DOI":"10.1016\/S0004-3702(83)80014-9","volume":"21","author":"W. R. Swartout","year":"1983","unstructured":"W. R. Swartout. XPLAIN: a System for Creating and Explaining Expert Consulting Programs. Artificial Intelligence, 21(3):285\u2013325, March 1983.","journal-title":"Artificial Intelligence"},{"issue":"4","key":"7_CR29","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1145\/58418.58420","volume":"13","author":"L. L. Tripp","year":"1988","unstructured":"L. L. Tripp. A Survey of Graphical Notations for Program Design \u2014 An Update. ACM SIGSOFT Software Engineering Notes, 13(4):39\u201344, October 1988.","journal-title":"ACM SIGSOFT Software Engineering Notes"},{"issue":"2","key":"7_CR30","doi-asserted-by":"crossref","first-page":"198","DOI":"10.1109\/TSE.1986.6312936","volume":"12","author":"P. T. Ward","year":"1986","unstructured":"P. T. Ward. The Transformation Schema: An Extension of the Data Flow Diagram to Represent Control and Timing. IEEE Transactions on Software Engineering, 12(2):198\u2013210, February 1986.","journal-title":"IEEE Transactions on Software Engineering"}],"container-title":["Notes on Numerical Fluid Mechanics and Multidisciplinary Design","Active Flow and Combustion Control 2018"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56777-1_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,20]],"date-time":"2023-06-20T18:24:54Z","timestamp":1687285494000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56777-1_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783319981765","9783319981772"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/3-540-56777-1_7","relation":{},"ISSN":["1612-2909","1860-0824"],"issn-type":[{"type":"print","value":"1612-2909"},{"type":"electronic","value":"1860-0824"}],"subject":[],"published":{"date-parts":[[1993]]}}}