{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:26:11Z","timestamp":1750220771592,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":17,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,6,23]],"date-time":"2020-06-23T00:00:00Z","timestamp":1592870400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,6,23]]},"DOI":"10.1145\/3393672.3398639","type":"proceedings-article","created":{"date-parts":[[2020,5,30]],"date-time":"2020-05-30T04:39:40Z","timestamp":1590813580000},"page":"1-6","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["SeqCheck"],"prefix":"10.1145","author":[{"given":"Jessica","family":"Turner","sequence":"first","affiliation":[{"name":"University of Waikato, Tauranga, New Zealand"}]},{"given":"Judy","family":"Bowen","sequence":"additional","affiliation":[{"name":"University of Waikato, Hamilton, New Zealand"}]},{"given":"Steve","family":"Reeves","sequence":"additional","affiliation":[{"name":"University of Waikato, Hamilton, New Zealand"}]}],"member":"320","published-online":{"date-parts":[[2020,6,23]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11334-013-0199-6"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"crossref","unstructured":"G. Brat C. Martinie and P. Palanque. 2013. V&V of Lexical Syntactic and Semantic Properties for Interactive Systems through Model Checking of Formal Description of Dialog. In Human-Computer Interaction. Human-Centred Design Approaches Methods Tools and Environments M. Kurosu (Ed.). Springer Berlin Heidelberg Berlin Heidelberg 290--299.  G. Brat C. Martinie and P. Palanque. 2013. V&V of Lexical Syntactic and Semantic Properties for Interactive Systems through Model Checking of Formal Description of Dialog. In Human-Computer Interaction. Human-Centred Design Approaches Methods Tools and Environments M. Kurosu (Ed.). Springer Berlin Heidelberg Berlin Heidelberg 290--299.","DOI":"10.1007\/978-3-642-39232-0_33"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/THMS.2015.2421511"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/3220134.3220142"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3319499.3328228"},{"volume-title":"Introduction to Automata Theory, Languages, and Computation","author":"Hopcroft J. E.","key":"e_1_3_2_1_6_1","unstructured":"J. E. Hopcroft . 1979. Introduction to Automata Theory, Languages, and Computation . Addison-Wesley , Reading, Mass . J. E. Hopcroft. 1979. Introduction to Automata Theory, Languages, and Computation. Addison-Wesley, Reading, Mass."},{"volume-title":"The Way of Z: Practical Programming with Formal Methods","author":"Jacky J.","key":"e_1_3_2_1_7_1","unstructured":"J. Jacky . 1997. The Way of Z: Practical Programming with Formal Methods . Cambridge University Press , Cambridge; New York, NY, USA . J. Jacky. 1997. The Way of Z: Practical Programming with Formal Methods. Cambridge University Press, Cambridge; New York, NY, USA."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"crossref","unstructured":"P. K\u00f6rner and J. Bendisposto. 2018. Distributed model checking using ProB. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 10811 244--260.  P. K\u00f6rner and J. Bendisposto. 2018. Distributed model checking using ProB. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 10811 244--260.","DOI":"10.1007\/978-3-319-77935-5_18"},{"key":"e_1_3_2_1_9_1","first-page":"3","article-title":"A Cookbook for Using the Model-view Controller User Interface Paradigm in Smalltalk-80","volume":"1","author":"Krasner Glenn E.","year":"1988","unstructured":"Glenn E. Krasner and Stephen T. Pope . 1988 . A Cookbook for Using the Model-view Controller User Interface Paradigm in Smalltalk-80 . J. Object Oriented Program. 1 , 3 (Aug. 1988), 26--49. http:\/\/dl.acm.org\/citation.cfm?id=50757.50759 Glenn E. Krasner and Stephen T. Pope. 1988. A Cookbook for Using the Model-view Controller User Interface Paradigm in Smalltalk-80. J. Object Oriented Program. 1, 3 (Aug. 1988), 26--49. http:\/\/dl.acm.org\/citation.cfm?id=50757.50759","journal-title":"J. Object Oriented Program."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"crossref","unstructured":"M. Leuschel and M. Butler. 2003. ProB: A Model Checker for B. Lecture Notes in Computer Science 2805.  M. Leuschel and M. Butler. 2003. ProB: A Model Checker for B. Lecture Notes in Computer Science 2805.","DOI":"10.1007\/978-3-540-45236-2_46"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2002.1115016"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"crossref","unstructured":"P. Masci P. Oladimeji P. Curzon and H. Thimbleby. 2017. Using PVSio-web to Demonstrate Software Issues in Medical User Interfaces. In Software Engineering in Health Care M. Huhn and L. Williams (Eds.). Springer International Publishing Cham 214--221.  P. Masci P. Oladimeji P. Curzon and H. Thimbleby. 2017. Using PVSio-web to Demonstrate Software Issues in Medical User Interfaces. In Software Engineering in Health Care M. Huhn and L. Williams (Eds.). Springer International Publishing Cham 214--221.","DOI":"10.1007\/978-3-319-63194-3_14"},{"key":"e_1_3_2_1_13_1","article-title":"PVSio-web: mathematically based tool support for the design of interactive and interoperable medical systems","volume":"2","author":"Masci P.","year":"2016","unstructured":"P. Masci , P. Oladimeji , P. Mallozzi , P. Curzon , and H. Thimbleby . 2016 . PVSio-web: mathematically based tool support for the design of interactive and interoperable medical systems . EAI Endorsed Transactions on Collaborative Computing 2 , 7 (11 2016), 42--45. http:\/\/ezproxy.waikato.ac.nz\/login?url=https:\/\/search-proquest-com.ezproxy.waikato.ac.nz\/docview\/2306216856?accountid=17287 P. Masci, P. Oladimeji, P. Mallozzi, P. Curzon, and H. Thimbleby. 2016. PVSio-web: mathematically based tool support for the design of interactive and interoperable medical systems. EAI Endorsed Transactions on Collaborative Computing 2, 7 (11 2016), 42--45. http:\/\/ezproxy.waikato.ac.nz\/login?url=https:\/\/search-proquest-com.ezproxy.waikato.ac.nz\/docview\/2306216856?accountid=17287","journal-title":"EAI Endorsed Transactions on Collaborative Computing"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"crossref","unstructured":"C. Romanyk R. McCallum and P. Salehi. 2016. A Model Based Approach to Web Application Design for Older Adults using MVC Design Pattern. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Vol. 9752. Springer Verlag 348--357.  C. Romanyk R. McCallum and P. Salehi. 2016. A Model Based Approach to Web Application Design for Older Adults using MVC Design Pattern. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Vol. 9752. Springer Verlag 348--357.","DOI":"10.1007\/978-3-319-39399-5_33"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3220134.3220139"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"crossref","unstructured":"J. Turner J. Bowen and S. Reeves. 2018. Using Abstraction with Interaction Sequences for Interactive System Modelling. In Software Technologies: Applications and Foundations M. Mazzara I. Ober and G. Sala\u00fcn (Eds.). Springer International Publishing Cham 257--273.  J. Turner J. Bowen and S. Reeves. 2018. Using Abstraction with Interaction Sequences for Interactive System Modelling. In Software Technologies: Applications and Foundations M. Mazzara I. Ober and G. Sala\u00fcn (Eds.). Springer International Publishing Cham 257--273.","DOI":"10.1007\/978-3-030-04771-9_20"},{"key":"e_1_3_2_1_18_1","unstructured":"J. Woodcock and J. Davies. 1996. Using Z: specification refinement and proof. Prentice Hall Hemel Hempstead Herts.  J. Woodcock and J. Davies. 1996. Using Z: specification refinement and proof. Prentice Hall Hemel Hempstead Herts."}],"event":{"name":"EICS '20: ACM SIGCHI Symposium on Engineering Interactive Computing Systems","sponsor":["SIGCHI ACM Special Interest Group on Computer-Human Interaction"],"location":"Sophia Antipolis France","acronym":"EICS '20"},"container-title":["Companion Proceedings of the 12th ACM SIGCHI Symposium on Engineering Interactive Computing Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3393672.3398639","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3393672.3398639","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:41:17Z","timestamp":1750200077000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3393672.3398639"}},"subtitle":["a model checking tool for interactive systems"],"short-title":[],"issued":{"date-parts":[[2020,6,23]]},"references-count":17,"alternative-id":["10.1145\/3393672.3398639","10.1145\/3393672"],"URL":"https:\/\/doi.org\/10.1145\/3393672.3398639","relation":{},"subject":[],"published":{"date-parts":[[2020,6,23]]},"assertion":[{"value":"2020-06-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}