{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T20:08:07Z","timestamp":1762459687282,"version":"3.37.3"},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030047702"},{"type":"electronic","value":"9783030047719"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-030-04771-9_21","type":"book-chapter","created":{"date-parts":[[2018,12,5]],"date-time":"2018-12-05T17:02:53Z","timestamp":1544029373000},"page":"274-289","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Formal Modelling as a Component of User Centred Design"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5567-9650","authenticated-orcid":false,"given":"Michael D.","family":"Harrison","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0667-7763","authenticated-orcid":false,"given":"Paolo","family":"Masci","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9163-580X","authenticated-orcid":false,"given":"Jos\u00e9 Creissac","family":"Campos","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,12,6]]},"reference":[{"key":"21_CR1","volume-title":"Contextual Design: Defining Customer-centred Systems","author":"H Beyer","year":"1998","unstructured":"Beyer, H., Holtzblatt, K.: Contextual Design: Defining Customer-centred Systems. Morgan Kaufmann, Burlington (1998)"},{"key":"21_CR2","first-page":"1","volume":"99","author":"ML Bolton","year":"2013","unstructured":"Bolton, M.L., Bass, E., Siminiceanu, R.: Using formal verification to evaluate human-automation interaction, a review. IEEE Trans. Syst., Man, Cybern., Part A: Syst. Hum. 99, 1\u201316 (2013)","journal-title":"IEEE Trans. Syst., Man, Cybern., Part A: Syst. Hum."},{"issue":"5","key":"21_CR3","doi-asserted-by":"publisher","first-page":"561","DOI":"10.1109\/THMS.2014.2329476","volume":"44","author":"M Bolton","year":"2014","unstructured":"Bolton, M., Jim\u00e9nez, N., van Paassen, M., Trujillo, M.: Automatically generating specification properties from task models for the verification of human-automation interaction. IEEE Trans. Hum. Mach. Syst. 44(5), 561\u2013575 (2014)","journal-title":"IEEE Trans. Hum. Mach. Syst."},{"key":"21_CR4","series-title":"Human\u2013Computer Interaction Series","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/978-3-319-51838-1_6","volume-title":"The Handbook of Formal Methods in Human-Computer Interaction","author":"J Bowen","year":"2017","unstructured":"Bowen, J., Reeves, S.: Combining models for interactive system modelling. In: Weyers, B., Bowen, J., Dix, A., Palanque, P. (eds.) The Handbook of Formal Methods in Human-Computer Interaction. HIS, pp. 161\u2013182. Springer, Cham (2017). \nhttps:\/\/doi.org\/10.1007\/978-3-319-51838-1_6"},{"volume-title":"Scenario Based Design: Envisioning Work and Technology in System Development","year":"1995","key":"21_CR5","unstructured":"Carroll, J. (ed.): Scenario Based Design: Envisioning Work and Technology in System Development. Wiley, Hoboken (1995)"},{"key":"21_CR6","unstructured":"Fields, R.E.: Analysis of erroneous actions in the design of critical systems. Ph.D. thesis, Department of Computer Science, University of York, Heslington, York, YO10 5DD (2001)"},{"issue":"3","key":"21_CR7","doi-asserted-by":"publisher","first-page":"300","DOI":"10.1145\/3166.3170","volume":"28","author":"JD Gould","year":"1985","unstructured":"Gould, J.D., Lewis, C.: Designing for usability: key principles and what users think. Commun. ACM 28(3), 300\u2013311 (1985)","journal-title":"Commun. ACM"},{"key":"21_CR8","series-title":"Studies in Computational Intelligence","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/978-3-642-14562-9_5","volume-title":"Model-Driven Development of Advanced User Interfaces","author":"M Haesen","year":"2011","unstructured":"Haesen, M., et al.: Using storyboards to integrate models and informal design knowledge. In: Hussmann, H., Meixner, G., Zuehlke, D. (eds.) Model-Driven Development of Advanced User Interfaces. SCI, pp. 87\u2013106. Springer, Heidelberg (2011). \nhttps:\/\/doi.org\/10.1007\/978-3-642-14562-9_5"},{"key":"21_CR9","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D Harel","year":"1987","unstructured":"Harel, D.: Statecharts: a visual formalism for complex systems. Sci. Comput. Program. 8, 231\u2013274 (1987)","journal-title":"Sci. Comput. Program."},{"key":"21_CR10","doi-asserted-by":"crossref","unstructured":"Harrison, M., Masci, P., Campos, J.: Verification templates for the analysis of user interface software design. IEEE Trans. Softw. Eng. (2018). epub ahead of print","DOI":"10.1109\/TSE.2018.2804939"},{"key":"21_CR11","unstructured":"Martinie, C., et al.: Formal tasks and systems models as a tool for specifying and assessing automation designs. In: Proceedings of the 1st International Conference on Application and Theory of Automation in Command and Control Systems, ATACCS 2011, pp. 50\u201359, IRIT Press, Toulouse, France (2011)"},{"key":"21_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"470","DOI":"10.1007\/978-3-319-21690-4_30","volume-title":"Computer Aided Verification","author":"P Masci","year":"2015","unstructured":"Masci, P., Oladimeji, P., Zhang, Y., Jones, P., Curzon, P., Thimbleby, H.: PVSio-web 2.0: Joining PVS to HCI. In: Kroening, D., P\u0103s\u0103reanu, C.S. (eds.) CAV 2015. LNCS, vol. 9206, pp. 470\u2013478. Springer, Cham (2015). \nhttps:\/\/doi.org\/10.1007\/978-3-319-21690-4_30"},{"key":"21_CR13","volume-title":"Improving Your Human-computer Interface: A Practical Technique","author":"A Monk","year":"1993","unstructured":"Monk, A., Wright, P., Haber, J., Davenport, L.: Improving Your Human-computer Interface: A Practical Technique. Prentice-Hall, Upper Saddle River (1993)"},{"issue":"8","key":"21_CR14","doi-asserted-by":"publisher","first-page":"797","DOI":"10.1109\/TSE.2002.1027801","volume":"28","author":"G Mori","year":"2002","unstructured":"Mori, G., Patern\u00f2, F., Santoro, C.: CTTE: support for developing and analyzing task models for interactive system design. IEEE Trans. Software Eng. 28(8), 797\u2013813 (2002)","journal-title":"IEEE Trans. Software Eng."},{"key":"21_CR15","unstructured":"Mu\u00f1oz, C.: Rapid prototyping in PVS. Technical Report, NIA Report No. 2003\u201303, NASA\/CR-2003-212418, National Institute of Aerospace (2003)"},{"key":"21_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"748","DOI":"10.1007\/3-540-55602-8_217","volume-title":"Automated Deduction\u2014CADE-11","author":"S Owre","year":"1992","unstructured":"Owre, S., Rushby, J.M., Shankar, N.: PVS: a prototype verification system. In: Kapur, Deepak (ed.) CADE 1992. LNCS, vol. 607, pp. 748\u2013752. Springer, Heidelberg (1992). \nhttps:\/\/doi.org\/10.1007\/3-540-55602-8_217"},{"key":"21_CR17","volume-title":"Software Engineering","author":"I Sommerville","year":"2010","unstructured":"Sommerville, I.: Software Engineering. Addison-Wesley, Boston (2010)"},{"key":"21_CR18","doi-asserted-by":"publisher","first-page":"95","DOI":"10.4204\/EPTCS.284.8","volume":"284","author":"Nathaniel Watson","year":"2018","unstructured":"Watson, N., Reeves, S., Masci, P.: Integrating user design and formal models within PVSio-Web. In: Workshop on Formal Intergrated Development Environment (F-IDE-18). Electronic Proceedings in Theoretical Computer Science (EPTCS) (2018)","journal-title":"Electronic Proceedings in Theoretical Computer Science"}],"container-title":["Lecture Notes in Computer Science","Software Technologies: Applications and Foundations"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-04771-9_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,12,5]],"date-time":"2018-12-05T17:15:43Z","timestamp":1544030143000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-04771-9_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783030047702","9783030047719"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-04771-9_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]},"assertion":[{"value":"STAF","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Federation of International Conferences on Software Technologies: Applications and Foundations","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Toulouse","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"France","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2018","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"25 June 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"29 June 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"staf2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.staf2018.fr\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}