{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,14]],"date-time":"2025-03-14T21:40:16Z","timestamp":1741988416481,"version":"3.38.0"},"publisher-location":"Vienna","reference-count":33,"publisher":"Springer Vienna","isbn-type":[{"type":"print","value":"9783211829004"},{"type":"electronic","value":"9783709174913"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/978-3-7091-7491-3_8","type":"book-chapter","created":{"date-parts":[[2011,12,5]],"date-time":"2011-12-05T05:34:51Z","timestamp":1323063291000},"page":"141-161","source":"Crossref","is-referenced-by-count":1,"title":["Toward more understandable user interface specifications"],"prefix":"10.1007","author":[{"given":"David A.","family":"Carr","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"8_CR1","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1109\/MS.1985.229778","volume":"2","author":"MH Brown","year":"1985","unstructured":"Brown, M. H. and R. Sedgewick: Techniques for algorithm animation\u201d. IEEE Software, 2(1), Jan. 1985, 28\u201339.","journal-title":"IEEE Software"},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"Carr, David: Specification of interface interaction objects. Proceedings of ACM CHI\u201994 Conference on Human Factors in Computing Systems. 372\u2013378.","DOI":"10.1145\/191666.191793"},{"key":"8_CR3","unstructured":"Carr, David, A Compact Graphical Representation of User Interface Interaction Objects. University of Maryland, Department of Computer Science, Ph.D., 1995."},{"issue":"2","key":"8_CR4","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1016\/S0020-7373(79)80019-X","volume":"11","author":"M Fitter","year":"1979","unstructured":"Fitter, M. and T. R. G. Green: When do diagrams make good computer languages?. International Journal of Man-Machine Studies, 11(2), 1979, 235\u2013261.","journal-title":"International Journal of Man-Machine Studies"},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"Gieskens, Daniel and James Foley: Controlling user interface objects through pre-and postconditions. Proceedings of the ACM CHI\u201992 Conference on Human Factors in Computing Systems, 189\u2013194.","DOI":"10.1145\/142750.142787"},{"key":"8_CR6","first-page":"265","volume-title":"Visual Programming Environments: Paradigms and Systems","author":"EP Glinert","year":"1990","unstructured":"Glinert, Ephraim P. and Steven L. Tanimoto: PICT: An interactive graphical programming environment. In: Visual Programming Environments: Paradigms and Systems. E. Glinert, ed. IEEE Computer Society Press, Los Alamitos, CA, 1990, 265\u2013283."},{"key":"8_CR7","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1017\/CBO9780511600821.023","volume-title":"People and Computers IX","author":"PD Gray","year":"1994","unstructured":"Gray, P. D., D. England, and S. McGowan: XUAN: enhancing UAN to capture temporal relationships among actions. In G. Cockton, S. W. Draper and G.R.S. Weir, ed. People and Computers IX, 1994, Cambridge University Press, Cambridge, UK., 301\u2013312"},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"Guttag, John and J. J. Horning: Formal specification as a design tool. Proceedings of the Seventh ACM Symposium on Principles of Programming Language. 1980, 251\u2013261.","DOI":"10.1145\/567446.567471"},{"key":"8_CR9","unstructured":"Haarslev, Volker and Ralf M\u00f6ller: VIPEX: visual programming of experimental systems. In: Visual Languages and Visual Programming. Shi-Kuo Chang, ed. Plenum Press, 1990, New York, NY, 185\u2013212."},{"issue":"3","key":"8_CR10","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1145\/98188.98191","volume":"8","author":"HR Hartson","year":"1990","unstructured":"Hartson, H. Rex, Antonio C. Siochi, and Deborah Hix: The UAN: a useroriented representation for direct manipulation interface designs. ACM Transactions on Information Systems, 8(3), July, 1990, 181\u2013203.","journal-title":"ACM Transactions on Information Systems"},{"key":"8_CR11","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1207\/s15327051hci0701_1","volume":"7","author":"HR Hartson","year":"1992","unstructured":"Hartson, H. Rex and Phillip D. Gray: Temporal aspects of tasks in the user action notation. Human-Computer Interaction, 1992, vol. 7, Lawrence Erlbaum Associates, 1\u201345.","journal-title":"Human-Computer Interaction"},{"key":"8_CR12","unstructured":"Hartson, H. Rex and Kevin A. Mayo: A framework for precise reusable task abstractions. Interactive Systems: Design, Specification, and Verification. F. Paterno, ed. Springer-Verlag, 1994, 279\u2013297."},{"issue":"5","key":"8_CR13","doi-asserted-by":"publisher","first-page":"514","DOI":"10.1145\/42411.42414","volume":"31","author":"D Harel","year":"1988","unstructured":"Harel, David: On visual formalisms. Communications of the ACM. 31(5), May, 1988, 514\u2013530.","journal-title":"Communications of the ACM"},{"issue":"3","key":"8_CR14","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1145\/24054.24055","volume":"5","author":"RD Hill","year":"1986","unstructured":"Hill, Ralph D.: Supporting concurrency, communication, and synchronization in human-computer interaction \u2014 the Sassafras UIMS. ACM Transactions on Graphics, 5(3), July, 1986, 179\u2013210.","journal-title":"ACM Transactions on Graphics"},{"key":"8_CR15","doi-asserted-by":"crossref","unstructured":"Hudson, Scott E.: Graphical specification of flexible user interface displays. Proceedings of the ACM SIGGRAPH Symposium on User Interface Software and Technology, 1989, 105\u2013114.","DOI":"10.1145\/73660.73673"},{"issue":"4","key":"8_CR16","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1145\/27623.27624","volume":"5","author":"RJK Jacob","year":"1986","unstructured":"Jacob, Robert J. K.: A specification language for direct-manipulation user interfaces. ACM Transactions on Graphics, 5(4), October, 1986, 283\u2013317.","journal-title":"ACM Transactions on Graphics"},{"key":"8_CR17","volume-title":"PASCAL User Manual and Report","author":"K Jensen","year":"1975","unstructured":"Jensen, Kathleen and Nicolas Wirth: PASCAL User Manual and Report. Springer-Verlag, New York, 1975."},{"issue":"3","key":"8_CR18","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1145\/196699.196702","volume":"1","author":"S Murkherjea","year":"1994","unstructured":"Murkherjea, Sougata and John T. Stasko: Toward visual debugging: integrating algorithm animation capabilities within a source-level debugger. ACM Transactions on Computer-Human Interaction, 1(3), Sept. 1994, 215\u2013244.","journal-title":"ACM Transactions on Computer-Human Interaction"},{"issue":"3","key":"8_CR19","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1145\/964967.801140","volume":"17","author":"BA Myers","year":"1983","unstructured":"Myers, Brad A.: A system for displaying data structures. Computer Graphics. 17(3), July, 1983, 115\u2013125.","journal-title":"Computer Graphics"},{"key":"8_CR20","unstructured":"Myers, Brad A.: Creating User Interfaces by Demonstration. Academic Press, Boston, 1988."},{"key":"8_CR21","doi-asserted-by":"crossref","unstructured":"Olsen, Dan R. Jr. and Kirk Allan: Creating interactive techniques by symbolically solving geometric constraints. Proceedings of the ACM SIGGRAPH Symposium on User Interface Software and Technology, 1990, 102\u2013107.","DOI":"10.1145\/97924.97936"},{"issue":"2","key":"8_CR22","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1016\/S0020-7373(89)80011-2","volume":"30","author":"SJ Payne","year":"1989","unstructured":"Payne, Stephen J and T. R. G. Green: The structure of command languages: an experiment on task-action grammar. International Journal of Man-Machine Studies, 30(2), Feb., 1989, 213\u2013234.","journal-title":"International Journal of Man-Machine Studies"},{"key":"8_CR23","doi-asserted-by":"crossref","unstructured":"Plaisant, Catherine, and D. Wallace: Touchscreen toggle design. Proceedings of the ACM CHI\u201992 Conference on Human Factors in Computing Systems. 667\u2013668 (Video).","DOI":"10.1145\/142750.143079"},{"key":"8_CR24","doi-asserted-by":"crossref","unstructured":"Palanque, Phillipe, and Rem\u00e9 Bastide: Petri net based design of user-driven interfaces using the interactive cooperative objects formalism. Interactive Systems: Design, Specification, and Verification. F. Paterno\u2019, ed. Springer-Verlag, 1994, 383\u2013400.","DOI":"10.1007\/978-3-642-87115-3_23"},{"key":"8_CR25","first-page":"324","volume-title":"Visual Programming Environments: Paradigms and Systems","author":"SP Reiss","year":"1990","unstructured":"Reiss, Steven P.: PECAN: program development systems that support multiple views. In: Visual Programming Environments: Paradigms and Systems, E. Glinert, ed. IEEE Computer Society Press, Los Alamitos, CA, 1990, 324\u2013333."},{"key":"8_CR26","unstructured":"Rouff, C. and E. Horowitz: A system for specifying and rapidly prototyping user interfaces. Taking Software Design Seriously, J. Karat, ed., Academic Press, 1991, 257\u2013272."},{"issue":"2","key":"8_CR27","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1109\/TSMC.1982.4308798","volume":"12","author":"B Shneiderman","year":"1982","unstructured":"Shneiderman, Ben: Multiparty grammars and related features for defining interactive eystems. IEEE Transactions on Systems, Man, and Cybernetics, 12(2), 1982, 148\u2013154.","journal-title":"IEEE Transactions on Systems, Man, and Cybernetics"},{"issue":"3","key":"8_CR28","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1109\/52.88943","volume":"8","author":"T Shimomura","year":"1990","unstructured":"Shimomura, T. and S. Isoda: Linked-list visualization systems. IEEE Software, 8(3), May, 1990, 44\u201351.","journal-title":"IEEE Software"},{"key":"8_CR29","unstructured":"Siochi, Antonio C, and H. Rex Hartson: Task oriented representation of asynchronous rser interfaces. Proceedings of the ACM CHI\u201989 Conference on Human Factors in Computer Systems, 325\u2013330."},{"key":"8_CR30","doi-asserted-by":"crossref","unstructured":"Singh, Gurminder, Chun Hong Kok, and Teng Ye Ngan: Druid: a system for demonstrational rapid user interface development. Proceedings of the ACM SIGGRAPH Symposium on User Interface Software and Technology, 1990, 167\u2013177.","DOI":"10.1145\/97924.97943"},{"issue":"9","key":"8_CR31","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1109\/2.58216","volume":"23","author":"JT Stasko","year":"1990","unstructured":"Stasko, John T.: \u201cTANGO: a framework and system for algorithm animation. Computer, 23(9), Sept., 1990, 27\u201339.","journal-title":"Computer"},{"issue":"8","key":"8_CR32","doi-asserted-by":"publisher","first-page":"699","DOI":"10.1109\/TSE.1985.232519","volume":"11","author":"AI Wasserman","year":"1985","unstructured":"Wasserman, Anthony I.: Extending state transition diagrams for the specification of human-computer interaction. IEEE Transactions on Software Engineering, SE-11(8), August, 1985, 699\u2013713.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"8_CR33","doi-asserted-by":"crossref","unstructured":"Wellner, Pierre D.: Statemaster: a UIMS based on statecharts for prototyping and target implementation notation for specification. Proceedings of the ACM CHI\u201989 Conference on Human Factors in Computing Systems, 177\u2013182.","DOI":"10.1145\/67450.67486"}],"container-title":["Eurographics","Design, Specification and Verification of Interactive Systems \u201996"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-7091-7491-3_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,14]],"date-time":"2025-03-14T21:03:51Z","timestamp":1741986231000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-7091-7491-3_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783211829004","9783709174913"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-7091-7491-3_8","relation":{},"ISSN":["0946-2767"],"issn-type":[{"type":"print","value":"0946-2767"}],"subject":[],"published":{"date-parts":[[1996]]}}}