{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,6]],"date-time":"2026-03-06T19:17:34Z","timestamp":1772824654160,"version":"3.50.1"},"reference-count":45,"publisher":"Informa UK Limited","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Human-Comp. Interaction","HHCI"],"published-print":{"date-parts":[[1998,12,1]]},"DOI":"10.1207\/s15327051hci1304_1","type":"journal-article","created":{"date-parts":[[2005,3,23]],"date-time":"2005-03-23T19:12:12Z","timestamp":1111605132000},"page":"337-393","source":"Crossref","is-referenced-by-count":37,"title":["Syndetic Modelling"],"prefix":"10.1080","volume":"13","author":[{"given":"David","family":"Duke","sequence":"first","affiliation":[]},{"given":"Philip","family":"Barnard","sequence":"additional","affiliation":[]},{"given":"David","family":"Duce","sequence":"additional","affiliation":[]},{"given":"Jon","family":"May","sequence":"additional","affiliation":[]}],"member":"301","reference":[{"key":"p_1_1","unstructured":"Barnard, P. & May, J. (1993). Cognitive modelling for user requirements. In P. F. Byerley, P. J. Barnard, & J. May (Eds.), Computers, communication and usability: Design issues, research and methods for integrated services (pp. 101-145). Amsterdam: Elsevier."},{"key":"p_2_2","doi-asserted-by":"crossref","unstructured":"Barnard, P. & May, J. (1995). Interactions with advanced graphical interfaces and the deployment of latent human knowledge. In F. Paternd (Ed.), Eurographics workshop on design, specifiation and verijication of interactive systems (pp. 15-49). New York: Springer-Verlag.","DOI":"10.1007\/978-3-642-87115-3_2"},{"key":"p_4_3","doi-asserted-by":"crossref","unstructured":"Bellotti, V. (1993). Integrating theoreticians' and practitioners' perspectives with design rationale. Proceedings of the ZNTERCHI'93 Conferme on Human Factors in Computing ,!$stems, 101-106. Reading, MA: Addison-Wesley.","DOI":"10.1145\/169059.169107"},{"key":"p_5_4","doi-asserted-by":"crossref","first-page":"357","DOI":"10.1207\/s15327051hci1104_3","volume":"6","author":"Bellotti V.","year":"1996","journal-title":"Human-Computer Interaction"},{"key":"p_6_5","unstructured":"Bellotti, V., Buckingham Shum, S., MacLean, A. & Hammond, N. (1995). Multidisciplinary modelling in HCI design . in theory and in practice. Proceedings of the CH1'95 Confernce on Human Factors in Computer System, 146-153. New York: ACM."},{"key":"p_7_6","doi-asserted-by":"publisher","DOI":"10.1006\/ijhc.1997.0116"},{"key":"p_8_7","doi-asserted-by":"publisher","DOI":"10.1006\/ijhc.1995.1037"},{"key":"p_9_8","unstructured":"Blandford, A. &Young, R. (1995). Separatin user and device descriptions for modelling interactive problem solving. In K. P$ardby, P Helmersen, D.J. Gilmore, & S. Arnsen (Eds.), Human-computer interacti0n:INTERA CT'95(pp. 9 1-96). London: Chapman & Hall."},{"key":"p_10_9","doi-asserted-by":"publisher","DOI":"10.1111\/1467-8659.1230001"},{"key":"p_11_10","doi-asserted-by":"crossref","unstructured":"Buckingham Shum, S., Blandford, A., Duke, D., Good, J., May, J., Patern6, F. & Young, R. (1996). Multidisciplinary modelling for user-centred system design: An air-traffic control case study. Proceedings of HCZ'96: 77th Britisir Computer Society Conference on Human-Computer Interaction, 201-219. New York: Springer-Verlag.","DOI":"10.1007\/978-1-4471-3588-3_14"},{"key":"p_12_11","unstructured":"Chaochen, Z. (1993). Duration calculi: An overview. In D. Bjerner, M. Broy, & I. Pottosin (Eds.), Formal techniques in programming and their applications: Lecture notes in computer science (Vol. 735, pp. 256-266). News York: Springer-Verlag."},{"key":"p_13_12","unstructured":"Dix, A. (1991). Formal methodsfor interactive systems. New York: Academic."},{"key":"p_14_13","doi-asserted-by":"publisher","DOI":"10.1111\/1467-8659.1430055"},{"key":"p_15_14","doi-asserted-by":"crossref","unstructured":"Duke, D. &Harrison, M. (1993). Abstract interaction objects.Computer Graphics Forum, 12(3), C-25-C-36.","DOI":"10.1111\/1467-8659.1230025"},{"key":"p_16_15","unstructured":"Duke, D. & Harrison, M. (1994a). WITIS: A case study informalspecification (Technical Report SM\/WP17, ESPRIT BRA 7040 Amodeus-2). Cambridge, England: MRC Cognition and Brain Sciences Unit. Retrieved January 1994. Available: http:\/\/www.mrc-cbu.cam.ac.uk\/amodeus\/"},{"key":"p_17_16","doi-asserted-by":"crossref","unstructured":"Duke, D. & Harrison, M. (1994b). A theory of presentations. In M. Naftalin, T. Denvir, & M. Bertran (Eds.), FME'94: Industrial benefit offormal methods: Lecture notes in computer science (Vol. 873, pp. 271-290). New York: Springer-Verlag.","DOI":"10.1007\/3-540-58555-9_100"},{"key":"p_18_17","doi-asserted-by":"crossref","unstructured":"Duke, D. & Hamson, M. (1995a). From formal models to formal methods. In R. N. Taylor & J. Coutaz (Eds.), Sopware engineering and human-computer interaction: ICSE'94 workshop on SE-HCI: Joint research issues: Lecture notes in computer science (Vol. 896, pp. 159-173). New York: Springer-Verlag.","DOI":"10.1007\/BFb0035813"},{"key":"p_19_18","doi-asserted-by":"crossref","unstructured":"Duke, D. & Hamson, M. (1995b). Interaction and taskrequirements. In P. Palanque & R. Bastide (Eds.), DSV-IS'95: Eurographics workshop on design, specification and verification of interactive systems (pp. 54-75). New York: Springer-Verlag.","DOI":"10.1007\/978-3-7091-9437-9_5"},{"key":"p_20_19","doi-asserted-by":"crossref","unstructured":"Goldsack, S. (1988). Specification of an operating system kernel: FOREST and VDM compared. In R. Bloomfield, L. Marshall, & R. Jones (Eds.), VDM'88: W M - I l e way ahead: Lecture notes in computer science (Vol. 328, pp. 88-100). New York: Springer-Verlag.","DOI":"10.1007\/3-540-50214-9_9"},{"key":"p_21_20","unstructured":"Harrison, M. & Torres, J. (Eds.). (1997). Design, spectj?cation and vert$cation of interactive system19Z New York: Springer-Verlag."},{"key":"p_22_21","doi-asserted-by":"crossref","unstructured":"Hoare, C. (1996). How did software get so reliable without proof? In M.C. Gaudel &J. Woodcock (Eds.), FME'96: Industrial benefit and advances in formal methods: Lecture notes in computer science (Vol. 1051, pp. 1-17). New York: Springer-Verlag.","DOI":"10.1007\/3-540-60973-3_77"},{"key":"p_23_22","doi-asserted-by":"crossref","unstructured":"Jones, C., Jones, K., Lindsay, P. & Moore, R. (1991). MURAL: Aformal development support system. New York: Springer-Verlag.","DOI":"10.1007\/978-1-4471-3180-9"},{"key":"p_24_23","unstructured":"Kent, S., Maibaum, T. &Quirk, W. (1993). Formally specifying temporal constraints and error recovery. Roceedings of the IEEE International Workshop on Requirements Engineering, 208-215. Los Alamitos, CA: IEEE Press."},{"key":"p_27_24","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1016\/S0020-7373(85)80045-6","volume":"22","author":"Kieras D.","year":"1985","journal-title":"InternationalJournal ofMan-Machine Studies"},{"key":"p_28_25","unstructured":"Lemmon, E. (1993). Beginning logic (3rd ed.). London: Chapman & Hall."},{"key":"p_29_26","doi-asserted-by":"crossref","unstructured":"MacLean, A., Young, R., Bellotti, V. & Moran, T. (1991). Questions, options, and cnteria: Elements of design space analysis. Human- Computer Interaction, 6,20 1-250.","DOI":"10.1207\/s15327051hci0603&4_2"},{"key":"p_30_27","doi-asserted-by":"publisher","DOI":"10.1016\/0953-5438(95)93504-X"},{"key":"p_31_28","doi-asserted-by":"publisher","DOI":"10.1007\/BF01099424"},{"key":"p_32_29","unstructured":"May, J., Scott, S. & Barnard, P. (1995). Structuring displays: A psychological guide (Eurographics Tutorial Notes PS95 TN4). Geneva, Switzerland: European Association for Computer Graphics."},{"key":"p_33_30","doi-asserted-by":"publisher","DOI":"10.1037\/\/0033-295X.104.1.3"},{"key":"p_34_31","unstructured":"Milner, R. (1989). Communication and concurrency (Series in Computer Science). London: Prentice Hall International."},{"key":"p_35_32","doi-asserted-by":"crossref","unstructured":"Milner, R. (1993). Elements of interaction-1993 Turing award lecture. Communications ofthe ACM, 3q1), 78-89.","DOI":"10.1145\/151233.151240"},{"key":"p_36_33","unstructured":"Moher, T., Dirda, V., Bastide, R. & Palanque, P. (1996). Monolingual, articulated modeling of users, devices and interfaces. DSV-IS'96: Eurognz#Ricr workhop on design, specijication and ven!cation of interactive systems (pp. 312-329). New York: Springer-Verlag."},{"key":"p_37_34","unstructured":"Nigay, L. (1994). Conception et modllisation logicieUes dcs systtmes interactifj [The logical basis and modeling of interactive systems]. Unpublished doctoral dissertation, l'Universit6 Joseph Fourier, Grenoble, France."},{"key":"p_38_35","doi-asserted-by":"crossref","unstructured":"Nigay, L. & Coutaz, J. (1995). A generic platform for addressing the multimodal challenge. Roceedity:~ of the CH1'9.5 Confmnce on Human Factors in Computing 3)stems, 98-105. Reading, MA: Addison-Wesley.","DOI":"10.1145\/223904.223917"},{"key":"p_39_36","doi-asserted-by":"publisher","DOI":"10.1109\/32.345827"},{"key":"p_40_37","unstructured":"Paternd, F. & Palanque, P. (Eds.). (1997). Formal methods tn human-computer interaction. New York: Springer-Verlag."},{"key":"p_41_38","doi-asserted-by":"crossref","unstructured":"Ryan, M., Fiadeiro, J. & Maibaum, T. (1991). Sharing actions and attributes in modal action logic. In T. Ito & A. Meyer (Eds.), Theoretical aspects o comflutm software: Lecture notes in computer science (Vol. 526, pp. 569-593 . New York: f Springer-Verlag.","DOI":"10.1007\/3-540-54415-1_65"},{"issue":"4","key":"p_42_39","doi-asserted-by":"crossref","first-page":"16","DOI":"10.1109\/MC.1996.488298","volume":"29","author":"Saiedian H.","year":"1996","journal-title":"IEEE Computer"},{"key":"p_43_40","unstructured":"Spivey, J. (1992). The Znotation: A reference manual (2nd ed.). London: Prentice Hall International."},{"key":"p_44_41","unstructured":"Sykes, J. B. (Ed.). (1986). The concise Oxfirddictionary. Oxford, England: Oxford University Press."},{"key":"p_45_42","unstructured":"Teasdale, J. D. & Barnard, P. (1993). Affect, cognition and change: Re-modelling depressive thought. Hillsdale, NJ: Lawrence Erlbaum Associates, Inc."},{"key":"p_46_43","unstructured":"Voxman, W. & Goetschel, R., Jr. (1981). Advanced cahlus: An introduction to modern analysis. New York: Marcel Dekker."},{"key":"p_47_44","unstructured":"Wharton, C., Rieman, J., Lewis, C. & Polson, P. (1994). The co itive walkthrough method: A practitioner's guide. In J. Nielson & R. Mack (EdsrUsabiliq inspection methodc (pp. 105-140). New York: Wiley."},{"key":"p_48_45","doi-asserted-by":"crossref","unstructured":"Young, R. & Abowd, G. (1994). Multi-perspective modelling of interface design issues: Undo in a collaborative editor. In G. Cockton, S. W. Draper, & G. R S. Weir (Eds.), People and computers ZX: Proceedings ofHCI'94,249-260. Cambridge, England: Cambridge University Press.","DOI":"10.1017\/CBO9780511600821.019"}],"container-title":["Human-Computer Interaction"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.tandfonline.com\/doi\/pdf\/10.1207\/s15327051hci1304_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,6]],"date-time":"2020-04-06T12:28:08Z","timestamp":1586176088000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.tandfonline.com\/doi\/abs\/10.1207\/s15327051hci1304_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,12,1]]},"references-count":45,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1998,12,1]]}},"alternative-id":["784766738"],"URL":"https:\/\/doi.org\/10.1207\/s15327051hci1304_1","relation":{},"ISSN":["0737-0024"],"issn-type":[{"value":"0737-0024","type":"print"}],"subject":[],"published":{"date-parts":[[1998,12,1]]}}}