{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T19:49:07Z","timestamp":1725652147031},"publisher-location":"Vienna","reference-count":32,"publisher":"Springer Vienna","isbn-type":[{"type":"print","value":"9783211827390"},{"type":"electronic","value":"9783709194379"}],"license":[{"start":{"date-parts":[[1995,1,1]],"date-time":"1995-01-01T00:00:00Z","timestamp":788918400000},"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":[[1995]]},"DOI":"10.1007\/978-3-7091-9437-9_14","type":"book-chapter","created":{"date-parts":[[2012,1,11]],"date-time":"2012-01-11T18:28:42Z","timestamp":1326306522000},"page":"224-241","source":"Crossref","is-referenced-by-count":0,"title":["Proving the Correctness of Formal User Interface Specifications"],"prefix":"10.1007","author":[{"given":"Bernhard","family":"Bauer","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"14_CR1","volume-title":"technical report, Technische Universit\u00e4t M\u00fcnchen, TUM-I9403","author":"B Bauer","year":"1994","unstructured":"B. Bauer: Attributed Term Induction \u2014 A Proof Principle for Attribute Grammars, technical report, Technische Universit\u00e4t M\u00fcnchen, TUM-I9403, February 1994"},{"key":"14_CR2","volume-title":"Technical report, to appear","author":"B Bauer","year":"1995","unstructured":"B. Bauer: A Unifying Concept for Algebraic Specifications and Attribute Grammars: Attributed Algebraic Specifications, technical report, to appear, 1995"},{"key":"14_CR3","first-page":"3","volume-title":"Proc. of the International Symposium on Design and Implementation of Symbolic Computation Systems 93, LNCS 722, Springer, Berlin","author":"B Bauer","year":"1993","unstructured":"B. Bauer, R. Hennicker: Proving the Correctness of Algebraic Implementations by the ISAR System, in: Proc. of the International Symposium on Design and Implementation of Symbolic Computation Systems 93, LNCS 722, Springer, Berlin, pp. 3\u201316, 1993"},{"key":"14_CR4","first-page":"13","volume":"93","author":"H Balzert","year":"1956","unstructured":"H. Balzert: Der JANUS-Dialogexperte: Vom Fachkonzept zur Dialogstruktur, Softwaretechnik, 93 (13), 1993","journal-title":"Softwaretechnik"},{"key":"14_CR5","volume-title":"Informatik Forschung und Entwicklung","author":"H Balzert","year":"1994","unstructured":"H. Balzert: Das JANUS-System, Informatik Forschung und Entwicklung, 1994"},{"key":"14_CR6","first-page":"25","volume-title":"Proc. of the Eurographics Workshop \u201eDesign, Specification and Verification of Interactive Systems","author":"F Bodart","year":"1994","unstructured":"F. Bodart, A.-M. Hennebert, J.-M. Leheureux, I. Provot, J. M. Vanderdonckt: A Model-Based Approach to Presentation: A Continuum from Task Analysis to Prototype, Proc. of the Eurographics Workshop \u201eDesign, Specification and Verification of Interactive Systems, pp. 25\u201339, 1994"},{"key":"14_CR7","volume-title":"An Algebraic Formulation of Knuthian Semantics, 17th Annual Symposium on Foundations of Computer Science, IEEE","author":"LM Chirica","year":"1976","unstructured":"L. M. Chirica, D. F. Martin: An Algebraic Formulation of Knuthian Semantics, 17th Annual Symposium on Foundations of Computer Science, IEEE, Houston, Texas, 1976"},{"key":"14_CR8","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF01744285","volume":"13","author":"LM Chirica","year":"1979","unstructured":"L. M. Chirica, D. F. Martin: An Order-Algebraic Definition of Knuthian Semantics, Math. Systems Theory, 13, pp. 1\u201327, 1979","journal-title":"Math. Systems Theory"},{"key":"14_CR9","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(88)90002-8","volume":"78","author":"B Courcelle","year":"1988","unstructured":"B. Courcelle, P. Deransart: Proofs of Partial Correctness for Attribute Grammars with Application to Recursive Procedures and Logic Programming, Information and Computation, 78, pp. 1\u201355, 1988","journal-title":"Information and Computation"},{"key":"14_CR10","first-page":"431","volume-title":"Proc. of the INTERACT 87, Elsevier","author":"J Coutaz","year":"1988","unstructured":"J. Coutaz: PAC, an implementation model for dialog design, Proc. of the INTERACT 87, Elsevier, pp. 431\u2013436, 1987."},{"key":"14_CR11","volume-title":"Systems and Bibliography","author":"P Deransart","year":"1988","unstructured":"P. Deransart, M. Jourdan, B. Lorho: Attribute Grammars: Definitions, Systems and Bibliography, LNCS 323, Springer, Berlin, 1988"},{"key":"14_CR12","volume-title":"EATCS Monographs on Theoretical Computer Science","author":"H Ehrig","year":"1985","unstructured":"H. Ehrig, B. Mahr: Fundamentals of algebraic specifications 1, EATCS Monographs on Theoretical Computer Science, 6, Springer, Berlin, 1985"},{"key":"14_CR13","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1016\/0010-4655(90)90117-J","volume":"61","author":"J Eickel","year":"1990","unstructured":"J. Eickel: Logical and Layout Structures of Documents, Computer Physics Communication, 61, pp. 201\u2013208, 1990","journal-title":"Computer Physics Communication"},{"key":"14_CR14","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1145\/107215.128716","volume-title":"Intelligent User Interfaces","author":"JD Foley","year":"1991","unstructured":"J. D. Foley, W. C. Kim, S. Kovacevic, K. Murray: UIDE - An Intelligent User Interface Design Environment, in: Intelligent User Interfaces, (eds.) J. W. Sullivan, S. W. Tyler, Addison Wesley, ACM Press, pp. 339\u2013384, 1991"},{"key":"14_CR15","first-page":"375","volume":"93","author":"JD Foley","year":"1993","unstructured":"J. D. Foley, P. N. Sukaviriya, T. Griffith: A Second Generation User Interface Design Environment: The Model and the Runtime Architecture, Proc. ACM INTERCHI 93, Conference on Human Factors in Computing Systems, Model-Based User Interface Development System 93, pp. 375\u2013382, 1993","journal-title":"Model-Based User Interface Development System"},{"key":"14_CR16","volume-title":"Springer","author":"U Fraus","year":"1993","unstructured":"U. Fraus: A Calculus for Conditional Inductive Theorem Proving, Proc. of the CTRS \u201892, Nancy, LNCS 656, Springer, 1993"},{"key":"14_CR17","volume-title":"Mechanizing Inductive Theorem Proving in Conditional Theories","author":"U Fraus","year":"1994","unstructured":"U. Fraus: Mechanizing Inductive Theorem Proving in Conditional Theories, Ph.D thesis, Universit\u00e4t Passau, 1994"},{"issue":"4","key":"14_CR18","doi-asserted-by":"publisher","first-page":"326","DOI":"10.1007\/BF01642507","volume":"3","author":"R Hennicker","year":"1991","unstructured":"R. Hennicker: Context induction: a proof principle for behavioural abstractions and algebraic implementations. Formal Aspects of Computing, 3 (4), pp. 326\u2013345, 1991.","journal-title":"Formal Aspects of Computing"},{"key":"14_CR19","first-page":"241","volume-title":"Proceedings of ACM CHI\u201988 Conference on Human Factors in Computing Systems","author":"HU Hoppe","year":"1988","unstructured":"H. U. Hoppe: Task-Oriented Parsing - A Diagnostic Method to be Used by Adaptive Systems, Proceedings of ACM CHI\u201988 Conference on Human Factors in Computing Systems, pp. 241\u2013247, 1988"},{"key":"14_CR20","first-page":"418","volume-title":"Proc. ACM INTERCHI 93, Conference on Human Factors in Computing Systems, Automated User Interface Generation","author":"C Janssen","year":"1993","unstructured":"Ch. Janssen, A. Weisbecker, J. Ziegler: Generating User Interfaces from Data Models and Dialogue Net Specifications, Proc. ACM INTERCHI 93, Conference on Human Factors in Computing Systems, Automated User Interface Generation, pp. 418\u2013423, 1993"},{"key":"14_CR21","first-page":"177","volume-title":"8th POPL, Williamsburg","author":"T Katayama","year":"1981","unstructured":"T. Katayama, Y. Hoshino: Verification of Attribute Grammars, 8th POPL, Williamsburg, VA, pp. 177\u2013186, January 1981"},{"key":"14_CR22","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1007\/978-3-642-74872-1_15","volume-title":"Software-Entwicklung","author":"G Kr\u00f6nert","year":"1989","unstructured":"G. Kr\u00f6nert, G. Lauber, H.-G. Mannes: Spezifikation, Prototyping und Implementierung von interaktiven Systemen und Verwendung von attributierten Grammatiken, Software-Entwicklung, pp. 225\u2013238, 1989"},{"key":"14_CR23","first-page":"317","volume-title":"Proc. of the Eurographics Workshop \u201eDesign, Specification and Verification of Interactive Systems","author":"A Limpouch","year":"1994","unstructured":"A. Limpouch: Grammar-Based Formal Specification for the Object-Oriented User Interface Development, Proc. of the Eurographics Workshop \u201eDesign, Specification and Verification of Interactive Systems, pp. 317\u2013334, 1994"},{"key":"14_CR24","first-page":"545","volume-title":"Proceedings Attribute Grammars, Application and Systems, International Summer School SAGA, LNCS","author":"U M\u00f6ncke","year":"1991","unstructured":"U. M\u00f6ncke, R. Wilhelm: Grammar Flow Analysis, in: Proceedings Attribute Grammars, Application and Systems, International Summer School SAGA, LNCS 545, Springer, Berlin, 1991"},{"key":"14_CR25","first-page":"527","volume-title":"Proc. INTERACT 84 Human-Computer Interaction, North-Holland","author":"SJ Payne","year":"1994","unstructured":"S. J. Payne: Task-Action-Grammars, Proc. INTERACT 84 Human-Computer Interaction, North-Holland, pp. 527\u2013532, 1985"},{"key":"14_CR26","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1109\/TSE.1981.234520","volume":"7","author":"P Reisner","year":"1981","unstructured":"P. Reisner: Formal Grammar and Human Factors Design of an Interactive Graphics System, IEEE Transactions on Software Engineering, 7 (2), March 1981","journal-title":"IEEE Transactions on Software Engineering"},{"key":"14_CR27","first-page":"41","volume-title":"Proc. of the Eurographics Workshop \u201eDesign, Specification and Verification of Interactive Systems","author":"S Schreiber","year":"1994","unstructured":"S. Schreiber: The BOSS System: Coupling Visual Programming with Model Based Interface Design, Proc. of the Eurographics Workshop \u201eDesign, Specification and Verification of Interactive Systems, pp. 41\u201360, 1994"},{"key":"14_CR28","volume-title":"East-West International Conference on Human-Computer Interaction EWHCI`94","author":"S Schreiber","year":"1994","unstructured":"S. Schreiber: Specification and Generation of User Interfaces with the BOSS System, Proc. East-West International Conference on Human-Computer Interaction EWHCI\u201994, 1994"},{"key":"14_CR29","first-page":"163","volume-title":"Proc. INTERACT 90 Human-Computer Interaction, North-Holland","author":"MJ Tauber","year":"1994","unstructured":"M. J. Tauber: ETAG: Extended Task Action Grammars\u2013A Language for the Description of the User\u2019s Task Language, Proc. INTERACT 90 Human-Computer Interaction, North-Holland, pp. 163\u2013168, 1990"},{"issue":"1","key":"14_CR30","first-page":"68","volume":"24","author":"JA Goguen","year":"1977","unstructured":"J. A. Goguen, J. W. Thatcher, E. G. Wagner, J. B. Wright: Initial Algebra Semantics and Continuous Algebras, Journal of the Association of Computing Machinery, 24 (1), pp. 68\u201395, January 1977","journal-title":"January"},{"key":"14_CR31","volume-title":"User Interface Specification with Attribute Grammars: A New Approach, Proc. 6th International Conference on Systems Research","author":"H Qingyi","year":"1992","unstructured":"H. Qingyi: User Interface Specification with Attribute Grammars: A New Approach, Proc. 6th International Conference on Systems Research, Informatics and Cybernetics, Baden-Baden, 1992."},{"key":"14_CR32","volume-title":"Handbook of Theoretical Computer Science, pp. 676-788, (ed.:) J. van Leeuwen, North Holland","author":"M Wirsing","year":"1990","unstructured":"M. Wirsing: Algebraic Specifications, in: Handbook of Theoretical Computer Science, pp. 676\u2013788, (ed.:) J. van Leeuwen, North Holland, 1990"}],"container-title":["Eurographics","Design, Specification and Verification of Interactive Systems \u201995"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-7091-9437-9_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,6,30]],"date-time":"2020-06-30T17:10:29Z","timestamp":1593537029000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-7091-9437-9_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783211827390","9783709194379"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-7091-9437-9_14","relation":{},"ISSN":["0946-2767"],"issn-type":[{"type":"print","value":"0946-2767"}],"subject":[],"published":{"date-parts":[[1995]]}}}