{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,22]],"date-time":"2025-08-22T04:44:45Z","timestamp":1755837885288},"reference-count":31,"publisher":"Association for Computing Machinery (ACM)","issue":"2","license":[{"start":{"date-parts":[[1999,9,1]],"date-time":"1999-09-01T00:00:00Z","timestamp":936144000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Form. Asp. Comput."],"published-print":{"date-parts":[[1999,9]]},"abstract":"<jats:title>Abstract.<\/jats:title>\n          <jats:p>\n            There is considerable interest within the Human Computer Interaction (HCI) community in the use of media spaces to enhance awareness and interaction between workers in offices or other spatially distributed environments. In addition to the technical challenges of providing reliable and efficient audio-visual communication, there are important social questions, in particular how users are able to control access to their personal environments, and how to advise other users about their level of availability. Within AMODEUS-2\n            <jats:sup>1<\/jats:sup>\n            , an ESPRIT Basic Research Action concerned with the development, transfer and assessment of techniques for modelling human-computer interaction, a prototype media space has been analysed by various user and system oriented modelling techniques. This paper describes how formal specification can be used to express requirements on the interfaces needed to control access and availability in a media space. Beyond its obvious use in clarifying the subtle relationship between these concerns, the paper describes how the specification assists in assessing design options originating from other modelling disciplines.\n          <\/jats:p>","DOI":"10.1007\/s001650050044","type":"journal-article","created":{"date-parts":[[2002,8,25]],"date-time":"2002-08-25T09:25:39Z","timestamp":1030267539000},"page":"107-131","source":"Crossref","is-referenced-by-count":7,"title":["A Case Study in the Specification and Analysis of Design Alternatives for a User Interface"],"prefix":"10.1145","volume":"11","author":[{"given":"David","family":"Duke","sequence":"first","affiliation":[{"name":"Human-Computer Interaction Group, Department of Computer Science, University of York, UK, , , , , , UK"}]},{"given":"Bob","family":"Fields","sequence":"additional","affiliation":[{"name":"Human-Computer Interaction Group, Department of Computer Science, University of York, UK, , , , , , UK"}]},{"given":"Michael D.","family":"Harrison","sequence":"additional","affiliation":[{"name":"Human-Computer Interaction Group, Department of Computer Science, University of York, UK, , , , , , UK"}]}],"member":"320","reference":[{"key":"p_1","first-page":"143","volume-title":"Proceedings of INTERACT'90","author":"Abo","year":"1990"},{"key":"p_2","volume-title":"ACM SIGCHI Bulletin","volume":"24","author":"Arc","year":"1992"},{"key":"p_3","volume-title":"Human Computer Interaction","author":"Bellotti V.","year":"1996"},{"key":"p_4","volume-title":"Proc. CHI'95","author":"Bellotti V.","year":"1995"},{"key":"p_5","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":"Bl","year":"1997","journal-title":"International Journal of Human-Computer Studies"},{"key":"p_6","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1007\/978-3-7091-9437-9_9","volume-title":"DSV-IS'95: Eurographics Workshop on Design, Specification and Verification of Interactive Systems","author":"Bramwell C.","year":"1995"},{"key":"p_7","volume-title":"Cognitive modelling for user requirements","author":"Ba","year":"1993"},{"key":"p_8","first-page":"15","volume-title":"Eurographics Workshop on Design, Specification and Verification of Interactive Systems","author":"Ba","year":"1995"},{"key":"p_9","first-page":"91","volume-title":"Human-Computer Interaction: INTERACT'95","author":"Bl","year":"1995"},{"key":"p_10","volume-title":"North Holland","author":"Carrington D. A.","year":"1990"},{"key":"p_11","volume-title":"Proc. ACM Conference on Computer-Supported Cooperative Work CSCW'92","author":"Do","year":"1992"},{"key":"p_12","volume-title":"Proc. ACM Conference on Human Factors in Computing Systems CHI'92","author":"Do","year":"1992"},{"key":"p_13","volume-title":"Abstract Interaction Objects. Computer Graphics Forum, 12(3):C-25 - C-36","author":"Du","year":"1993"},{"key":"p_15","doi-asserted-by":"crossref","unstructured":"[\n      Du\n    H94b] Duke D. J. and \n      Harrison M. D\n  .: \n  A theory of presentations\n  . In M. Naftalin T. Denvir and M. Bertran editors FME'94: Industrial Benefit of Formal Methods volume \n  873\n   of \n  Lecture Notes in Computer Science pages \n  271\n  -\n  290\n  . \n  Springer-Verlag 1994\n  .","DOI":"10.1007\/3-540-58555-9_100"},{"key":"p_16","first-page":"333","volume-title":"Interactive Systems: Design, Specification and Verification, Focus on Computer Graphics","author":"Du","year":"1995"},{"key":"p_17","series-title":"Lecture Notes in Computer Science","first-page":"159","volume-title":"Proc Intl. Workshop on Software Engineering and Human-Computer Interaction","author":"Du","year":"1995"},{"key":"p_18","first-page":"54","volume-title":"DSV-IS'95: Eurographics Workshop on Design, Specification and Verification of Interactive Systems","author":"Du","year":"1995"},{"key":"p_20","first-page":"18","volume-title":"Second IEEE International Symposium on Requirements Engineering (RE'95)","author":"Fields B.","year":"1995"},{"key":"p_21","volume-title":"Human Computer Interaction: Psychology, Task Analysis and Software Engineering","author":"Joh","year":"1992"},{"key":"p_22","volume-title":"C","author":"Jon","year":"1990"},{"issue":"4","key":"p_23","first-page":"20","article-title":"A Rigorous Approach to Formal Methods","volume":"29","author":"Jon","year":"1996","journal-title":"IEEE Computer"},{"key":"p_24","first-page":"208","volume-title":"Proc. of the IEEE International Workshop on Requirements Engineering","author":"Kent S. J.","year":"1993"},{"issue":"4","key":"p_25","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1093\/spp\/21.4.233","article-title":"Computer-related accidental death: an empirical exploration","volume":"21","author":"Mac","year":"1994","journal-title":"Science and Public Policy"},{"key":"p_27","volume-title":"Structuring Displays: A Psychological Guide. Eurographics Tutorial Notes","author":"May J.","year":"1995"},{"key":"p_28","volume-title":"Unified Theories of Cognition","author":"New","year":"1990"},{"key":"p_29","volume-title":"editors","author":"Pa","year":"1997"},{"key":"p_30","volume-title":"Human Error","author":"Rea","year":"1990"},{"key":"p_31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"569","DOI":"10.1007\/3-540-54415-1_65","volume-title":"Theoretical Aspects of Computer Software","author":"Ryan M.","year":"1991"},{"key":"p_32","volume-title":": The Z Notation: A Reference Manual","author":"Spi","year":"1992"},{"key":"p_33","volume-title":"E","author":"Tuf","year":"1990"},{"key":"p_34","volume-title":"Behind human error: Cognitive systems, computers and hindsight. State-of-the-Art Report SOAR 94-01","author":"Woods D. D.","year":"1994"}],"container-title":["Formal Aspects of Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s001650050044.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s001650050044\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1007\/s001650050044","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,6]],"date-time":"2022-01-06T15:25:54Z","timestamp":1641482754000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1007\/s001650050044"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,9]]},"references-count":31,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1999,9]]}},"alternative-id":["10.1007\/s001650050044"],"URL":"https:\/\/doi.org\/10.1007\/s001650050044","relation":{},"ISSN":["0934-5043","1433-299X"],"issn-type":[{"value":"0934-5043","type":"print"},{"value":"1433-299X","type":"electronic"}],"subject":[],"published":{"date-parts":[[1999,9]]}}}