{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T12:43:33Z","timestamp":1725713013965},"publisher-location":"London","reference-count":11,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540762614"},{"type":"electronic","value":"9781447136057"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/978-1-4471-3605-7_11","type":"book-chapter","created":{"date-parts":[[2013,1,21]],"date-time":"2013-01-21T02:07:15Z","timestamp":1358734035000},"page":"177-188","source":"Crossref","is-referenced-by-count":0,"title":["Detecting and Resolving Temporal Ambiguities in User Interface Specifications"],"prefix":"10.1007","author":[{"given":"Paul","family":"Chesson","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lorraine","family":"Johnston","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Philip","family":"Dart","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"11_CR1","first-page":"273","volume-title":"Formal Methods in Human\u2013Computer Interaction, Cambridge Series on Human\u2013Computer Interaction, Cambridge University Press, chapter","author":"H Alexander","year":"1990","unstructured":"Alexander, H. (1990), Structuring Dialogues using CSP, in M. D. Harrison & H. W. Thimbleby (eds.), Formal Methods in Human\u2013Computer Interaction, Cambridge Series on Human\u2013Computer Interaction, Cambridge University Press, chapter 9, pp. 273\u201395."},{"key":"11_CR2","unstructured":"Chesson, P. & Johnston, L (1996), FLUID: Specifying Data Flow and Control for User Interfaces, in L. Yong, L. Herman, Y. Leung & J. Moyes (eds.), Proceedings of the First Asia-Pacific Conference on Computer\u2013Human Interaction,Information Technology Institute, pp.171\u201380."},{"key":"11_CR3","volume-title":"The University of Melbourne","author":"P Chesson","year":"1997","unstructured":"Chesson, P., Johnston, L. & Dart, P. (1997), Detecting and Resolving Temporal Ambiguities in User Interface Specifications, Technical Report 97\/29, Department of Computer Science, The University of Melbourne."},{"issue":"1","key":"11_CR4","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1080\/01449299508914624","volume":"14","author":"M Curry","year":"1995","unstructured":"Curry, M. & Monk, A. (1995), \u201cDialogue Modelling of Graphical User Interfaces with a Production System\u201d, Behaviour & Information Technology 14 (1), 41\u201355.","journal-title":"Behaviour & Information Technology"},{"key":"11_CR5","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1007\/978-3-7091-9437-9_12","volume-title":"Design, Specification and Verification of Interactive Systems, Springer-Verlag","author":"T Elwert","year":"1995","unstructured":"Elwert, T. & Schlungbaum, E. (1995), Modelling and Generation of Graphical User Interfaces in the TADEUS Approach, in P. Palanque & R. Bastide (eds.), Design, Specification and Verification of Interactive Systems, Springer-Verlag, pp. 193\u2013208."},{"key":"11_CR6","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1207\/s15327051hci0701_1","volume":"7","author":"H Hartson","year":"1992","unstructured":"Hartson, H. & Gray, P. (1992), `Temporal Aspects of Tasks in the User Action Notation\u201c, Human\u2013Computer Interaction 7, 1\u201345.","journal-title":"Human\u2013Computer Interaction"},{"issue":"3","key":"11_CR7","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1145\/24054.24055","volume":"5","author":"R Hill","year":"1986","unstructured":"Hill, R. (1986), \u201cSupporting Concurrency, Communication, and Synchronization in Human\u2013Computer Interaction \u2014 The Sassafras UIMS\u201d, ACM Transactions on Graphics 5 (3), 179\u2013210.","journal-title":"ACM Transactions on Graphics"},{"issue":"4","key":"11_CR8","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1145\/27623.27624","volume":"5","author":"R Jacob","year":"1986","unstructured":"Jacob, R. (1986), \u201cA Specification Language for Direct-manipulation User Interfaces\u201d, ACM Transactions on Graphics 5 (4), 283\u2013317.","journal-title":"ACM Transactions on Graphics"},{"key":"11_CR9","first-page":"1019","volume-title":"Proceedings of INTERACT90 \u2014 Third IFIP Conference on Human\u2013Computer Interaction, Elsevier Science","author":"C Johnson","year":"1990","unstructured":"Johnson, C. (1990), Using Temporal Logic to Prototype Interactive Systems, in D. Diaper, D. Gilmore, G. Cockton & B. Shackel (eds.), Proceedings of INTERACT\u201990 \u2014 Third IFIP Conference on Human\u2013Computer Interaction, Elsevier Science, pp. 1019\u201320."},{"key":"11_CR10","volume-title":"Propositional","author":"D Olsen","year":"1990","unstructured":"Olsen, D. (1990), Propositional Production Systems for Dialog Description., in J. C. Chew & J. Whiteside (eds.), Proceedings of CHI\u201990: Human Factors in Computing Systems, ACM Press, pp.57\u201363."},{"key":"11_CR11","doi-asserted-by":"crossref","first-page":"362","DOI":"10.1007\/978-0-387-35175-9_58","volume-title":"Human\u2013Computer Interaction \u2014 INTERACT97: Proceedings of the Fifth IFIP Conference on Human\u2013Computer Interaction, Chapman & Hall","author":"F Paterno\u2019","year":"1997","unstructured":"Paterno\u2019, F., Mancini, C. & Meniconi, S. (1997), ConcurTaskTrees: A Diagrammatic Notation for Specifying Task Models, in S. Howard, J. Hammond & G. K. Lindgaard (eds.), Human\u2013Computer Interaction \u2014 INTERACT\u201997: Proceedings of the Fifth IFIP Conference on Human\u2013Computer Interaction, Chapman & Hall, pp. 362\u20139."}],"container-title":["People and Computers XIII"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3605-7_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,4]],"date-time":"2024-05-04T22:30:05Z","timestamp":1714861805000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-3605-7_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540762614","9781447136057"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3605-7_11","relation":{},"subject":[],"published":{"date-parts":[[1998]]}}}