{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,15]],"date-time":"2024-09-15T14:36:39Z","timestamp":1726410999001},"publisher-location":"Vienna","reference-count":19,"publisher":"Springer Vienna","isbn-type":[{"type":"print","value":"9783211834053"},{"type":"electronic","value":"9783709168158"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/978-3-7091-6815-8_12","type":"book-chapter","created":{"date-parts":[[2011,9,19]],"date-time":"2011-09-19T19:23:51Z","timestamp":1316460231000},"page":"167-188","source":"Crossref","is-referenced-by-count":0,"title":["Using automated reasoning in the design of an audio-visual communication system"],"prefix":"10.1007","author":[{"given":"Jos\u00e9 C.","family":"Campos","sequence":"first","affiliation":[]},{"given":"Michael D.","family":"Harrison","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"12_CR1","first-page":"357","volume-title":"Interpersonal access control in computer-mediated communications: A systematic analysis of the design space","author":"V Bellotti","year":"1996","unstructured":"Victoria Bellotti, Ann Blandford, David Duke, Allan MacLean, Jon May, and Laurence Nigay. Interpersonal access control in computer-mediated communications: A systematic analysis of the design space. Human-Computer Interaction, 11: 357\u2013432, 1996."},{"key":"12_CR2","volume-title":"Combining Formal Techniques and Prototyping in User Interface Construction and verification","author":"P Bumbulis","year":"1996","unstructured":"Peter Bumbulis. Combining Formal Techniques and Prototyping in User Interface Construction and verification. PhD thesis, University of Waterloo, 1996."},{"key":"12_CR3","volume-title":"University of York","author":"C Jos\u00e9","year":"1999","unstructured":"Jos\u00e9 C. Campos. Automated Reasoning and Interactive Systems Development. DPhil thesis, Department of Computer Science, University of York, 1999. in preparation."},{"key":"12_CR4","unstructured":"Jos\u00e9 C. Campos and Michael D. Harrison. Detecting interface mode complexity with interactor specifications. submitted, 1998."},{"key":"12_CR5","doi-asserted-by":"crossref","unstructured":"Jos\u00e9 C. Campos and Michael D. Harrison. The role of verification in interactive systems design. In Markopoulos and Johnson [15], pages 155\u2013170.","DOI":"10.1007\/978-3-7091-3693-5_11"},{"key":"12_CR6","doi-asserted-by":"crossref","unstructured":"Bruno d\u2019Ausbourg. Using model checking for the automatic validation of user interfaces systems. In Markopoulos and Johnson [15], pages 242\u2013260.","DOI":"10.1007\/978-3-7091-3693-5_16"},{"key":"12_CR7","volume-title":"Prentice-Hall","author":"A Dix","year":"1993","unstructured":"Alan Dix, Janet Finlay, Gregory Abowd, and Russell Beale. Human-Computer Interaction. Prentice-Hall, 1993."},{"key":"12_CR8","unstructured":"G. Doherty, J. C. Campos, and M. D. Harrison. Representational reasoning and verification. In J. I. Siddiqi, editor, Proceedings of the BCS-FACS Workshop: Formal Aspects of the Human Computer Interaction,pages 193\u2013212. SHU Press, 1998. ISBN 0 86339 7948."},{"key":"12_CR9","doi-asserted-by":"crossref","unstructured":"Gavin Doherty and Michael D. Harrison. A representational approach to the specification of presentations. In Harrison and Tones [14], pages 273\u2013290.","DOI":"10.1007\/978-3-7091-6878-3_18"},{"issue":"3","key":"12_CR10","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1111\/1467-8659.1230025","volume":"12","author":"DJ Duke","year":"1993","unstructured":"David J. Duke and Michael D. Harrison. Abstract interaction objects. Computer Graphics Forum, 12 (3): 25\u201336, 1993.","journal-title":"Computer Graphics Forum"},{"key":"12_CR11","volume-title":"Mehdi Jazayeri and Helmut Schauer, editors, Software Engineering \u2014 ESEC\/FSE \u201887, number 1301 in Lecture Notes in Computer Science, pages 244-261. Springer","author":"MB Dwyer","year":"1997","unstructured":"Matthew B. Dwyer, Vicki Can, and Laura Hines. Model checking graphical user interfaces using abstractions. In Mehdi Jazayeri and Helmut Schauer, editors, Software Engineering \u2014 ESEC\/FSE \u201887, number 1301 in Lecture Notes in Computer Science, pages 244\u2013261. Springer, 1997."},{"key":"12_CR12","volume-title":"C. Vandoni and D. Duce, editors, Eurographics \u201880, pages 481-494. North-Holland","author":"G Faconti","year":"1990","unstructured":"G. Faconti and F. Paternb. An approach to the formal specification of the components of an interaction. In C. Vandoni and D. Duce, editors, Eurographics \u201880, pages 481\u2013494. North-Holland, 1990."},{"key":"12_CR13","doi-asserted-by":"crossref","unstructured":"Bob Fields, Nick Merriam, and Andy Dearden. DMVIS: Design, modelling and validation of interactive systems. In Harrison and Tones [14], pages 29\u201344.","DOI":"10.1007\/978-3-7091-6878-3_3"},{"volume-title":"Design, Specification and Verification of Interactive Systems \u201887","year":"1997","key":"12_CR14","unstructured":"M. D. Harrison and J. C. Torres, editors. Design, Specification and Verification of Interactive Systems \u201887, Springer Computer Science. Springer-Verlag\/Vien, June 1997."},{"volume-title":"Design, Specification and Verification of Interactive Systems \u201888","year":"1998","key":"12_CR15","unstructured":"P. Markopoulos and P. Johnson, editors. Design, Specification and Verification of Interactive Systems \u201888, Springer Computer Science. Springer-Verlag\/Vien, 1998."},{"key":"12_CR16","volume-title":"The SMV system","author":"KL McMillan","year":"1992","unstructured":"K. L. McMillan. The SMV system. Carnegie-Mellon University, draft edition, February 1992."},{"key":"12_CR17","volume-title":"User Guide for the PVS Specification and Verification System. Computer Science Laboratory, SRI Internatinal, Menlo Park CA","author":"S Owre","year":"1993","unstructured":"S. Owre, N. Shankar, and J. M. Rushby. User Guide for the PVS Specification and Verification System. Computer Science Laboratory, SRI Internatinal, Menlo Park CA 94025, USA, (beta release) edition, March 1993."},{"key":"12_CR18","volume-title":"University of York","author":"D Fabio","year":"1995","unstructured":"Fabio D. Paternb. A Method for Formal Specification and Verification of Interactive Systems. PhD thesis, Department of Computer Science, University of York, 1995."},{"key":"12_CR19","volume-title":"T. Ito and A. R. Meyer, editors, Theoretical Aspects of Computer Software, volume 526 of Lecture Notes in Computer Science, pages 569-593. Springer-Verlag","author":"M Ryan","year":"1991","unstructured":"Mark Ryan, Jos\u00e9 Fiadeiro, and Tom Maibaum. Sharing actions and attributes in modal action logic. In T. Ito and A. R. Meyer, editors, Theoretical Aspects of Computer Software, volume 526 of Lecture Notes in Computer Science, pages 569\u2013593. Springer-Verlag, 1991."}],"container-title":["Eurographics","Design, Specification and Verification of Interactive Systems \u201999"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-7091-6815-8_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,23]],"date-time":"2020-11-23T04:51:17Z","timestamp":1606107077000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-7091-6815-8_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783211834053","9783709168158"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-7091-6815-8_12","relation":{},"ISSN":["0946-2767"],"issn-type":[{"type":"print","value":"0946-2767"}],"subject":[],"published":{"date-parts":[[1999]]}}}