{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,10]],"date-time":"2024-07-10T15:22:26Z","timestamp":1720624946323},"reference-count":30,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2001,5,1]],"date-time":"2001-05-01T00:00:00Z","timestamp":988675200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":4472,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[2001,5]]},"DOI":"10.1016\/s1571-0661(04)80894-6","type":"journal-article","created":{"date-parts":[[2004,9,29]],"date-time":"2004-09-29T12:47:47Z","timestamp":1096462067000},"page":"50-74","source":"Crossref","is-referenced-by-count":2,"special_numbering":"C","title":["Syndetic Modelling:"],"prefix":"10.1016","volume":"43","author":[{"given":"D.A.","family":"Duce","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"D.J.","family":"Duke","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(04)80894-6_NEWBIB1","article-title":"Interacting cognitive subsystems: A psycholinguistic approach to short term memory","volume":"Volume 2","author":"Barnard","year":"1985"},{"key":"10.1016\/S1571-0661(04)80894-6_NEWBIB2","series-title":"Computers, Communication and Usability: Design Issues, Research and Methods for Integrated Services","article-title":"Cognitive modelling for user requirements","author":"Barnard","year":"1993"},{"key":"10.1016\/S1571-0661(04)80894-6_NEWBIB3","series-title":"Interactive Systems: Design, Specification and Verification","first-page":"15","article-title":"Interactions with advanced graphical interfaces and the deployment of latent human knowledge","author":"Barnard","year":"1994"},{"key":"10.1016\/S1571-0661(04)80894-6_NEWBIB4","doi-asserted-by":"crossref","first-page":"222","DOI":"10.1145\/353485.353490","article-title":"Systems, interactions and macrotheory","volume":"7","author":"Barnard","year":"2000","journal-title":"Transactions on Computer Human Interaction"},{"key":"10.1016\/S1571-0661(04)80894-6_NEWBIB5","unstructured":"Bellotti A., S. Buckingham Shum, A. MacLean and N. Hammond, Multidisciplinary modelling in HCI design\u2026 in theory and practice, in: Proceedings of CHI'95: Human Factors in Computing Systems (1996), pp. 146\u2013153."},{"key":"10.1016\/S1571-0661(04)80894-6_NEWBIB6","doi-asserted-by":"crossref","first-page":"357","DOI":"10.1207\/s15327051hci1104_3","article-title":"Controlling accessibility in computer mediated communications: A systematic analysis of the design space","volume":"6","author":"Bellotti","year":"1996","journal-title":"Human Computer Interaction"},{"key":"10.1016\/S1571-0661(04)80894-6_NEWBIB7","doi-asserted-by":"crossref","first-page":"653","DOI":"10.1006\/ijhc.1997.0116","article-title":"Integrating user and computer system concerns in the design of interactive systems","volume":"46","author":"Blandford","year":"1997","journal-title":"Int. J. Human-Computer Studies"},{"key":"10.1016\/S1571-0661(04)80894-6_NEWBIB8","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1006\/ijhc.1995.1037","article-title":"Using Interaction Framework to guide the design of interactive systems","volume":"43","author":"Blandford","year":"1995","journal-title":"Int. J. Human-Computer Studies"},{"key":"10.1016\/S1571-0661(04)80894-6_NEWBIB9","doi-asserted-by":"crossref","first-page":"132","DOI":"10.1007\/s001650050045","article-title":"Analysing cognitive behaviour using LOTOS and Mexitl","volume":"11","author":"Bowman","year":"1999","journal-title":"Formal Aspects of Computing"},{"key":"10.1016\/S1571-0661(04)80894-6_NEWBIB10","unstructured":"Buckingham Shum S., A. Blandford, D. Duke, J. Good, J. May, F. Patern\u00f3 and R. Young, Multidisciplinary modelling for user-centred system design: An air-traffic control case study, in: M. Sasse, R. Cunningham and R. Winder, editors, People and Computers XI: Proceedings of HCI'96, 1996, pp. 201\u2013219."},{"key":"10.1016\/S1571-0661(04)80894-6_NEWBIB11","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1007\/s001650070021","article-title":"Demonstrating the cognitive plausibility of interactive system specifications","volume":"12","author":"Butterworth","year":"2000","journal-title":"Formal Aspects of Computing"},{"key":"10.1016\/S1571-0661(04)80894-6_NEWBIB12","series-title":"Distinguished Dissertations in Computer Science","article-title":"\u201cModelling auditory processing and organisation,\u201d","author":"Cooke","year":"1993"},{"key":"10.1016\/S1571-0661(04)80894-6_NEWBIB13","doi-asserted-by":"crossref","first-page":"C\ue4f855\ue4f8C\ue4f866","DOI":"10.1111\/j.1467-8659.1995.cgf143_0055.x","article-title":"Reasoning about gestural interaction","volume":"14","author":"Duke","year":"1995","journal-title":"Computer Graphics Forum"},{"key":"10.1016\/S1571-0661(04)80894-6_NEWBIB14","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1207\/s15327051hci1304_1","article-title":"Syndetic modelling","volume":"13","author":"Duke","year":"1998","journal-title":"Human Computer Interaction"},{"key":"10.1016\/S1571-0661(04)80894-6_NEWBIB15","doi-asserted-by":"crossref","first-page":"665","DOI":"10.1007\/s001659970004","article-title":"The formalization of a cognitive architecture and its application to reasoning about human computer interaction","volume":"11","author":"Duke","year":"1999","journal-title":"Formal Aspects of Computing"},{"key":"10.1016\/S1571-0661(04)80894-6_NEWBIB16","doi-asserted-by":"crossref","first-page":"C\ue4f825\ue4f8C\ue4f836","DOI":"10.1111\/1467-8659.1230025","article-title":"Abstract interaction objects","volume":"12","author":"Duke","year":"1993","journal-title":"Computer Graphics Forum"},{"key":"10.1016\/S1571-0661(04)80894-6_NEWBIB17","unstructured":"Duke D. and M. Harrison, MATIS: a case study in formal specification, Technical Report SM\/WP17, ESPRIT BRA 7040 Amodeus-2 (1994), available at http:\/\/www.mrc-cbu.cam.ac.uk\/amodeus\/."},{"key":"10.1016\/S1571-0661(04)80894-6_NEWBIB18","series-title":"FME'94: Industrial Benefit of Formal Methods, Volume 873 of Lecture Notes in Computer Science","first-page":"271","article-title":"A theory of presentations","author":"Duke","year":"1994"},{"key":"10.1016\/S1571-0661(04)80894-6_NEWBIB19","series-title":"DSV-IS'95: Eurographics Workshop on Design, Specification and Verification of Interactive Systems","first-page":"54","article-title":"Interaction and task requirements","author":"Duke","year":"1995"},{"key":"10.1016\/S1571-0661(04)80894-6_NEWBIB20","series-title":"VDM'88: VDM-The Way Ahead, Volume 328 of Lecture Notes in Computer Science","first-page":"88","article-title":"Specifications of an operating system kernel: FOREST and VDM compared","author":"Goldsack","year":"1994"},{"key":"10.1016\/S1571-0661(04)80894-6_NEWBIB21","series-title":"\u201cAn introduction to the mathematics of neurons, modeling in the frequency domain,\u201d","author":"Hoppensteadt","year":"1997"},{"key":"10.1016\/S1571-0661(04)80894-6_NEWBIB22","first-page":"208","article-title":"Formally specifying temporal constraints and error recovery","author":"Kent","year":"1993","journal-title":"Proc. of the IEEE International Workshop on Requirements Engineering"},{"key":"10.1016\/S1571-0661(04)80894-6_NEWBIB23","unstructured":"May J., S. Scott and P. Barnard, Structuring displays: a psychological guide, Tutorial notes, European Association for Computer Graphics, Geneva (1995)."},{"key":"10.1016\/S1571-0661(04)80894-6_NEWBIB24","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1007\/BF01099424","article-title":"Using structural descriptions of interfaces to automate the modelling of user cognition","volume":"3","author":"May","year":"1993","journal-title":"User Modelling and User Adaptive Interfaces"},{"key":"10.1016\/S1571-0661(04)80894-6_NEWBIB25","series-title":"DSV-IS'95: Eurographics Workshop on Design, Specification and Verification of Interactive Systems","first-page":"76","article-title":"Revising mental models to accomodate expectation failures in human-computer dialogues","author":"Moher","year":"1995"},{"key":"10.1016\/S1571-0661(04)80894-6_NEWBIB26","unstructured":"Nigay L., \u201cConception et mod\u00e9lisation logicielles des syst\u00e8mes interactifs,\u201d Ph.D. thesis, University Joseph Fourier, Grenoble (1994)."},{"key":"10.1016\/S1571-0661(04)80894-6_NEWBIB27","doi-asserted-by":"crossref","unstructured":"Nigay L. and J. Coutaz, A generic platform for addressing the multimodal challenge, in: Proceedings of CHI'95 (1995), pp. 98\u2013105.","DOI":"10.1145\/223904.223917"},{"key":"10.1016\/S1571-0661(04)80894-6_NEWBIB28","series-title":"Theoretical Aspects of Computer Science, Volume 526 of Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"569","DOI":"10.1007\/3-540-54415-1_65","article-title":"Sharing actions and attributes in modal action logic","author":"Ryan","year":"1991"},{"key":"10.1016\/S1571-0661(04)80894-6_NEWBIB29","article-title":"\u201cAffect, Cognition and Change: Re-modeling Depressive Thought,\u201d","author":"Teasdale","year":"1993","journal-title":"Lawrence Erlbaum Associates"},{"key":"10.1016\/S1571-0661(04)80894-6_NEWBIB30","series-title":"The Perception of Visual Information","article-title":"A multiscale geometric model of human vision","author":"Romeny","year":"1993"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104808946?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104808946?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,2,3]],"date-time":"2019-02-03T05:56:10Z","timestamp":1549173370000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066104808946"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,5]]},"references-count":30,"alternative-id":["S1571066104808946"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(04)80894-6","relation":{},"ISSN":["1571-0661"],"issn-type":[{"value":"1571-0661","type":"print"}],"subject":[],"published":{"date-parts":[[2001,5]]}}}