{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:54:35Z","timestamp":1725486875398},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540428077"},{"type":"electronic","value":"9783540455226"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45522-1_3","type":"book-chapter","created":{"date-parts":[[2007,6,18]],"date-time":"2007-06-18T06:22:20Z","timestamp":1182147740000},"page":"28-48","source":"Crossref","is-referenced-by-count":8,"title":["Abstract User Interfaces: A Model and Notation to Support Plasticity in Interactive Systems"],"prefix":"10.1007","author":[{"given":"Kevin A.","family":"Schneider","sequence":"first","affiliation":[]},{"given":"James R.","family":"Cordy","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,10,29]]},"reference":[{"key":"3_CR1","doi-asserted-by":"crossref","unstructured":"M. Abrams, C. Phanouriou, A. L. Batongbacal, S. M. Williams and J. E. Shuster. UIML: An Appliance-Independent XML User Interface Language. WWW8, Toronto May 1999.","DOI":"10.1016\/S1389-1286(99)00044-4"},{"key":"3_CR2","doi-asserted-by":"crossref","unstructured":"F. Bodart, A.-M. Hennebert, J.-M. Leheureux, and J. Vanderdonckt. A Model-Based Approach to Presentation: A Continuum from Task Analysis to Prototype. In Proceedings of 1st Eurographics Workshop on Design, Specification and Verification of Interactive Systems DSVIS\u201994 (Bocca diMagra, Jun 8\u201310, 1994). F. Patern\u00f3 (ed.). Eurographics Series, Berlin,1994, pp. 25\u201339.","DOI":"10.1007\/978-3-642-87115-3_6"},{"key":"3_CR3","unstructured":"T. Bray, J. Paoli, and C. M. Sperberg-McQueen, eds. Extensible Markup Language (XML) 1.0. W3C Recommendation, 1998."},{"key":"3_CR4","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1145\/36111.1045592","volume":"19","author":"J. Coutaz","year":"1987","unstructured":"J. Coutaz, L. Nigay and D. Salber. PAC: An Object Oriented Model for Implementing User Interfaces. ACM SIGCHI Bulletin, vol. 19, 1987, pages37\u201341.","journal-title":"ACM SIGCHI Bulletin"},{"key":"3_CR5","unstructured":"M. Crease, P. Gray and S. Brewster. A Toolkit of Mechanism and Context Independent Widgets. In Design, Specification and Verification of Interactive Systems (Workshop 8, ICSE 2000), Limerick, Ireland, 2000, pp. 127\u2013141."},{"key":"3_CR6","unstructured":"T. C. N. Graham. Declarative Development of Interactive Systems. Volume 243 of Breichte der GMD. R. Oldenbourg Verlag, July 1995."},{"key":"3_CR7","doi-asserted-by":"crossref","unstructured":"T. C. N. Graham and T. Urnes. Integrating Support for Temporal Media into an Architecture for Graphical User Interfaces. In Proceedings of the International Conference on Software Engineering (ICSE97). IEEE Computer Society Press, Boston, USA, May 1997.","DOI":"10.1145\/253228.253259"},{"issue":"3","key":"3_CR8","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1145\/98188.98191","volume":"8","author":"H. R. Hartson","year":"1990","unstructured":"H. R. Hartson, A. C. Siochi and D. Hix. The UAN: A User-Oriented Representation for Direct Manipulation Interface Designs. ACM Transactions on Information Systems, 1990, 8(3):181\u2013203.","journal-title":"ACM Transactions on Information Systems"},{"key":"3_CR9","unstructured":"J. Herstad, D. Van Thanh and S. Kristoffersen. Wireless Markup Language as a Framework for Interaction with Mobile Computing and Communication Devices. In C.W. Johnson (ed.) Proceedings of the First Workshop on Human Computer Interaction with Mobile Devices, Glasgow, Scotland, 1998."},{"key":"3_CR10","doi-asserted-by":"crossref","unstructured":"R. D. Hill. The Abstraction-Link-View Paradigm: Using Constraints to Connect User Interfaces to Applications. In Human Factors in Computing Systems (Monterey, California, USA), 1992, pages 335\u2013342.","DOI":"10.1145\/142750.142828"},{"key":"3_CR11","unstructured":"P. Hudak, S. P. Jones, P. Wadler, B. Boutel, J. Fairbairn, J. Fasel, M.M. Guzman, K. Hammond, J. Hughes, T. Johnsson, D. Kieburtz, R. Nikhil, W. Partain and J. Peterson. Report on the Programming Language Haskell. Technical Report, YaleUniversity, USA, 1988."},{"key":"3_CR12","unstructured":"M. P. Jones. An Introduction to Gofer. Functional programming environment, Yale University, 1991."},{"issue":"3","key":"3_CR13","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1145\/98188.98204","volume":"8","author":"B. A. Myers","year":"1990","unstructured":"B. A. Myers. A New Model for Handling Input. ACM Transactions on Information Systems, 1990, 8(3):289\u2013320.","journal-title":"ACM Transactions on Information Systems"},{"key":"3_CR14","unstructured":"G. E. Pfa., editor. User Interface Management Systems. Springer-Verlag, Berlin, November 1983."},{"key":"3_CR15","unstructured":"D. Thevenin and J. Coutaz. Plasticity of User Interfaces: Framework and Research Agenda. In M.A. Sasse and C.W. Johnson (eds.) Proceedings of INTERACT\u2019 99. (IFIP TC.13 Conference on Human-Computer Interaction, 30th August-3rd September 1999, inburgh, UK), Technical Sessions, 1999, pages 110\u2013117."},{"key":"3_CR16","doi-asserted-by":"crossref","unstructured":"D. A. Turner. Miranda: A non-strict functional language with polymorphic types. In Proceedings IFIP International Conference on Functional Programming Languages and Computer Architecture (Nancy, France), 1985, pages 1\u201316.","DOI":"10.1007\/3-540-15975-4_26"},{"issue":"1","key":"3_CR17","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1145\/142394.142401","volume":"24","author":"The UIMS Tool Developers Workshop","year":"1992","unstructured":"The UIMS Tool Developers Workshop. A Metamodel for the Runtime Architecture of an Interactive System. SIGCHI Bulletin. Volume 24, Number 1, 1992, pages 32\u201337.","journal-title":"SIGCHI Bulletin"}],"container-title":["Lecture Notes in Computer Science","Interactive Systems: Design, Specification, and Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45522-1_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,12]],"date-time":"2023-05-12T07:46:38Z","timestamp":1683877598000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45522-1_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540428077","9783540455226"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-45522-1_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2001]]}}}