{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T19:45:38Z","timestamp":1725651938295},"publisher-location":"Vienna","reference-count":23,"publisher":"Springer Vienna","isbn-type":[{"type":"print","value":"9783211827390"},{"type":"electronic","value":"9783709194379"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/978-3-7091-9437-9_8","type":"book-chapter","created":{"date-parts":[[2012,1,11]],"date-time":"2012-01-11T18:28:42Z","timestamp":1326306522000},"page":"113-133","source":"Crossref","is-referenced-by-count":7,"title":["Requirements For The Next Generation Of User Interface Specification Languages"],"prefix":"10.1007","author":[{"given":"Phil","family":"Gray","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chris","family":"Johnson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8_CR1","first-page":"625","volume-title":"Interact90","author":"R Bastide","year":"1990","unstructured":"Bastide, R. and Palanque, P. (1990) Petri Net Objects For The Design, Validation And Prototyping Of User-Driven Interfaces. In D. Diaper, D. Gilmore, G. Cockton and B. Shackel, editors, Interact\u201990, pages 625\u2013631, Elsevier Science Publishers, North Holland."},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"Berners-Lee, T.J., Cailliau, R. and Groff, J.-F. (1992) The World Wide Web, Computer Networks And ISDN Systems, (25): 454\u2013459.","DOI":"10.1016\/0169-7552(92)90039-S"},{"key":"8_CR3","first-page":"131","volume-title":"Logic Of Programs 1981, 52-71, LNCS","author":"EM Clarke","year":"1982","unstructured":"Clarke, E.M. and Emerson, E.A. (1982) The Design And Synthesis Of Synchronisation Skeletons Using Branching Time Temporal Logic. In D. Kozen (ed.) Logic Of Programs 1981, 52\u201371, LNCS 131, Springer Verlag, Berlin, Germany."},{"key":"8_CR4","volume-title":"Addison Wesley","author":"G Coulouris","year":"1994","unstructured":"Coulouris, G., Dollimore, J. and Kindberg, T. (1994) Distributed Systems: Concepts And Design, Addison Wesley, Wokingham, United Kingdom."},{"key":"8_CR5","first-page":"206","volume-title":"Proceedings of the 1.4th International Conference On The Application And Theory Of Petri Nets, Chicago, USA, June","author":"Y Deng","year":"1993","unstructured":"Deng, Y., Perkusich, A., Figueired, J. and Chang, S.K. (1993) Integrating Software Engineering Methods And Petri Nets For The Specification And Prototyping Of Complex Information Systems. In Proceedings of the 1.4th International Conference On The Application And Theory Of Petri Nets, Chicago, USA, June 1993, pp. 206\u2013223."},{"key":"8_CR6","volume-title":"Academic Press","author":"A Dix","year":"1991","unstructured":"Dix, A. (1991) Formal Methods For Interactive Systems, Academic Press, London, United Kingdom."},{"key":"8_CR7","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1017\/CBO9780511600821.023","volume-title":"People And Computers IX","author":"PD Gray","year":"1994","unstructured":"Gray, P.D., England, D. and McGowan, S. (1994) XUAN: Enhancing UAN To Capture Temporal Relations Among Actions. In G. Cockton, S.W. Draper and G.R.S. Weir, editors, People And Computers IX, pages 301\u2013312, Cambridge University Press, Cambridge, United Kingdom."},{"key":"8_CR8","first-page":"1993","volume-title":"Developing User Interfaces","author":"D Hix","year":"1993","unstructured":"Hix, D. and Hartson, H.R. (1993), Developing User Interfaces, John Wiley and Sons, London, 1993."},{"key":"8_CR9","doi-asserted-by":"crossref","unstructured":"Johnson, C.W., McCarthy, J. and Wright, P.C. (1995) Using Petri Nets To Support Natural Language In Accident Reports. To appear in Ergonomics.","DOI":"10.1080\/00140139508925187"},{"key":"8_CR10","first-page":"195","volume-title":"Eurographics 91","author":"CW Johnson","year":"1991","unstructured":"Johnson, C.W. (1991) Declarative Graphics And Dynamic Interaction. In F.H. Post and W. Barth, editors, Eurographics \u201881, 195\u2013207. Elsevier, North Holland."},{"key":"8_CR11","unstructured":"Johnson, C.W. (1992) A Formal Approach To The Integration Of Human Factors And Systems Engineering, DPhil thesis, University Of York, York, United Kingdom. Available as technical report YCST 95 \/05."},{"key":"8_CR12","first-page":"335","volume-title":"People And Computers VIII","author":"CW Johnson","year":"1993","unstructured":"Johnson, C.W. (1993) A Formal Approach To The Presentation of CSCW Systems. In J.L. Alty, D. Diaper and S. Guest, editors, People And Computers VIII, 335\u2013352, Cambridge University Press, Cambridge, United Kingdom."},{"key":"8_CR13","doi-asserted-by":"crossref","unstructured":"Johnson, C.W. (1993a) A Probabilistic Logic For The Development Of Safety-Critical Interactive Systems, International Journal of Man-Machine Studies, (38)2: 333\u2013351.","DOI":"10.1006\/imms.1993.1064"},{"key":"8_CR14","doi-asserted-by":"crossref","unstructured":"Johnson, C.W. (1995) Using Z To Support The Design Of Interactive, Safety-Critical Systems. The Software Engineering Journal, (10)2: 49\u201360.","DOI":"10.1049\/sej.1995.0008"},{"issue":"1","key":"8_CR15","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1016\/0164-1212(91)90074-G","volume":"15","author":"B Kramer","year":"1991","unstructured":"Kramer, B. (1991) Introducing The GRASPIN Specification Language SEGRAS, Journal Of Systems And Software, 15 (1): 17\u201331.","journal-title":"Journal Of Systems And Software"},{"key":"8_CR16","doi-asserted-by":"crossref","unstructured":"Kuhmann, W. (1989) The Stress Inducing Properties Of System Response Times, Ergonomics, (32)3: 271\u2013280.","DOI":"10.1080\/00140138908966087"},{"key":"8_CR17","doi-asserted-by":"crossref","unstructured":"Martin, J.L. (1993) Travels With Gopher, IEEE Computer, (26)5: 84\u20137.","DOI":"10.1109\/2.179165"},{"key":"8_CR18","first-page":"133","volume-title":"People And Computers VI","author":"V Miles","year":"1991","unstructured":"Miles, V., Johnson, C.W., McCarthy, J. and Harrison, M. (1991) Supporting Prediction In Complex Dynamic Systems. In D. Diaper and N. Hammond (editors), People And Computers VI, 133\u2013144, Cambridge University Press, Cambridge; United Kingdom."},{"key":"8_CR19","volume-title":"Personal Correspondence","author":"P Palanque","year":"1995","unstructured":"Palanque, P. (1995), Integrating UAN and Object Petri Nets, Personal Correspondence."},{"key":"8_CR20","doi-asserted-by":"crossref","unstructured":"Pejtersen, A.M., (1989) A. Library System For Information Retrieval Based On A Cognitive Task Analysis And Supported By An Icon Based Interface. In ACM SIGIR Proceedings, Boston. ACM Press, New York, United States of America.","DOI":"10.1145\/75335.75340"},{"issue":"3","key":"8_CR21","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1145\/356698.356702","volume":"9","author":"JL Peterson","year":"1977","unstructured":"Peterson, J.L. (1977), Petri Nets, Computing Surveys, 9 (3): 223\u2013252.","journal-title":"Petri Nets, Computing Surveys"},{"key":"8_CR22","first-page":"271","volume-title":"Interact90","author":"B Sharratt","year":"1990","unstructured":"Sharratt, B. (1990), Memory-Cognition-Action Tables: A Pragmatic Approach To Analytical Modelling. In D. Diaper, D. Gilmore, G. Cockton and B. Shackel, editors, Interact\u201990, pages 271\u2013275, Elsevier Science Publishers, North Holland."},{"key":"8_CR23","first-page":"153","volume-title":"Formal Methods in Human Computer Interaction","author":"B Sufrin","year":"1990","unstructured":"Sufrin, B. and He, J. (1990), Specification, Refinement And Analysis Of Interactive Processes. In M. D. Harrison and H. W. Thimbleby, editors, Formal Methods in Human Computer Interaction, pages 153\u2013200, Cambridge University Press, Cambridge, United Kingdom, 1990."}],"container-title":["Eurographics","Design, Specification and Verification of Interactive Systems \u201995"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-7091-9437-9_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,6]],"date-time":"2021-05-06T15:49:06Z","timestamp":1620316146000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-7091-9437-9_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783211827390","9783709194379"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-7091-9437-9_8","relation":{},"ISSN":["0946-2767"],"issn-type":[{"type":"print","value":"0946-2767"}],"subject":[],"published":{"date-parts":[[1995]]}}}