{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T08:13:19Z","timestamp":1760170399128,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540416630"},{"type":"electronic","value":"9783540446750"}],"license":[{"start":{"date-parts":[[2001,1,1]],"date-time":"2001-01-01T00:00:00Z","timestamp":978307200000},"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":[[2001]]},"DOI":"10.1007\/3-540-44675-3_9","type":"book-chapter","created":{"date-parts":[[2007,6,3]],"date-time":"2007-06-03T20:44:02Z","timestamp":1180903442000},"page":"135-150","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":26,"title":["Integrating Model Checking and HCI Tools to Help Designers Verify User Interface Properties"],"prefix":"10.1007","author":[{"given":"Fabio","family":"Patern\u00f2","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carmen","family":"Santoro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,5,11]]},"reference":[{"key":"9_CR1","doi-asserted-by":"crossref","unstructured":"B. d\u2019Ausbourg, C. Seguin, G. Durrieu, P. Roch\u00e9, Helping the Automated Validation Process of User Interfaces Systems, Proceedings ICSE\u201998 pp.219\u2013228.","DOI":"10.1109\/ICSE.1998.671121"},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"G. Abowd, H. Wang, A. Monk, \u201cA formal technique for automated dialogue development\u201d, Proceedings DIS\u201995, ACM Press, pp.219\u2013226.","DOI":"10.1145\/225434.225459"},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"G. Ballardin, C. Mancini, F. Patern\u00f2, Computer-Aided Analysis of Cooperative Applications, Proceedings Computer-Aided Design of User Interfaces, pp.257\u2013270,, Kluwer, 1999.","DOI":"10.1007\/978-94-011-4295-3_21"},{"key":"9_CR4","unstructured":"G. Booch, J. Rumbaugh, I. Jacobson, Unified Modeling Language Reference Manual, Addison Wesley, 1999"},{"key":"9_CR5","first-page":"761","volume":"25","author":"R. Nicola De","year":"1993","unstructured":"R. De Nicola, A. Fantechi, S. Gnesi, and G. Ristori. An action-based framework for verifying logical and behavioural properties of concurrent systems, Computer Network and ISDN systems, 25, 1993, 761\u2013778","journal-title":"An action-based framework for verifying logical and behavioural properties of concurrent systems, Computer Network and ISDN systems"},{"key":"9_CR6","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"437","DOI":"10.1007\/3-540-61474-5_97","volume-title":"Proceedings of the 8th Conference on Computer-Aided Verification","author":"J. Fernandez","year":"1996","unstructured":"J. Fernandez, H. Garavel, A. Kerbrat, R. Mateescu, L. Mounier, M. Sighireanu, CADP (CAESAR\/ALDEBARAN Development Package): A Protocol Validation and Verification Toolbox, Proceedings of the 8th Conference on Computer-Aided Verification, LNCS 1102, Springer Verlag, pp. 437\u2013440, 1996."},{"key":"9_CR7","doi-asserted-by":"crossref","unstructured":"A. Hall, \u201cUsing Formal Methods to Develop an ATC Information System\u201d, IEEE Software, pp.66\u201376, March 1996.","DOI":"10.1109\/52.506463"},{"key":"9_CR8","unstructured":"ISO (1988). Information Processing Systems \u2014 Open Systems Interconnection \u2014 LOTOS \u2014 A Formal Description Based on Temporal Ordering of Observational Behaviour. ISO\/IS 8807. ISO Central Secretariat."},{"key":"9_CR9","unstructured":"R. Mateescu and H. Garavel, XTL: A Meta-Language and Tool for Temporal Logic Model-Checking. Proceedings of the International Workshop on Software Tools for Technology. Transfer STTT\u201998 (Aalborg, Denmark), July 1998."},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"Myers, B., Rosson, M. B., \u201cSurvey on User Interface Programming\u201d, Proceedings CHI\u201992, pp. 195\u2013202, ACM Press, 1992.","DOI":"10.1145\/142750.142789"},{"key":"9_CR11","doi-asserted-by":"crossref","unstructured":"P. Palanque, F. Patern\u00f2(eds.), Formal Methods in Human-Computer Interaction, Springer Verlag, 1997.","DOI":"10.1007\/978-1-4471-3425-1"},{"key":"9_CR12","doi-asserted-by":"crossref","unstructured":"F. Patern\u00f2, Formal Reasoning about Dialogue Properties with Automatic Support, Interacting with Computers, August 1997, pp.173\u2013196, Elsevier.","DOI":"10.1016\/S0953-5438(97)00015-5"},{"key":"9_CR13","unstructured":"F. Patern\u00f2, Model-Based Design and Usability Evaluation of Interactive Applications, Springer Verlag, ISBN 1-85233-155-0, 1999."},{"key":"9_CR14","unstructured":"F. Patern\u00f2, G. Faconti, On the Use of LOTOS to Describe Graphical Interaction, in Monk, Diaper & Harrison eds. People and Computers VII: Proceedings of the HCI\u201992 Conference, pp.155\u2013173, Cambridge University Press."},{"key":"9_CR15","doi-asserted-by":"crossref","unstructured":"A. Puerta, A Model-Based Interface Development Environment, IEEE Software, pp. 40\u201347, July\/August 1997.","DOI":"10.1109\/52.595902"}],"container-title":["Lecture Notes in Computer Science","Interactive Systems Design, Specification, and Verification"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44675-3_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,16]],"date-time":"2025-01-16T22:03:52Z","timestamp":1737065032000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44675-3_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540416630","9783540446750"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-44675-3_9","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]},"assertion":[{"value":"11 May 2001","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}