{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:48:57Z","timestamp":1750308537318,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":29,"publisher":"ACM","license":[{"start":{"date-parts":[[2015,6,23]],"date-time":"2015-06-23T00:00:00Z","timestamp":1435017600000},"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":[[2015,6,23]]},"DOI":"10.1145\/2774225.2774848","type":"proceedings-article","created":{"date-parts":[[2015,6,15]],"date-time":"2015-06-15T18:00:19Z","timestamp":1434391219000},"page":"276-285","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":14,"title":["Verification of properties of interactive components from their executable code"],"prefix":"10.1145","author":[{"given":"St\u00e9phane","family":"Chatty","sequence":"first","affiliation":[{"name":"Universit\u00e9 de Toulouse - ENAC, Toulouse, France"}]},{"given":"Mathieu","family":"Magnaudet","sequence":"additional","affiliation":[{"name":"Universit\u00e9 de Toulouse - ENAC, Toulouse, France"}]},{"given":"Daniel","family":"Prun","sequence":"additional","affiliation":[{"name":"Universit\u00e9 de Toulouse - ENAC, Toulouse, France"}]}],"member":"320","published-online":{"date-parts":[[2015,6,23]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Proc. IFIP EHCI'92","author":"Abowd G. D.","year":"1992","unstructured":"Abowd , G. D. , Coutaz , J. , and Nigay , L . Structuring the space of interactive system properties . In Proc. IFIP EHCI'92 , North-Holland ( 1992 ), 113--129. Abowd, G. D., Coutaz, J., and Nigay, L. Structuring the space of interactive system properties. In Proc. IFIP EHCI'92, North-Holland (1992), 113--129."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-009-0109-2"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2004.07.036"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6423(99)00015-5"},{"key":"e_1_3_2_1_5_1","volume-title":"Design and Implementation of a Special-Purpose Static Program Analyzer for Safety-Critical Real-Time Embedded Software. LNCS 2566","author":"Blanchet B.","year":"2002","unstructured":"Blanchet , B. , Cousot , P. , Cousot , R. , Feret , J. , Mauborgne , L. , Mine , A. , Monniaux , D. , and Rival , X . Design and Implementation of a Special-Purpose Static Program Analyzer for Safety-Critical Real-Time Embedded Software. LNCS 2566 . Springer , Oct. 2002 , 85--108. Blanchet, B., Cousot, P., Cousot, R., Feret, J., Mauborgne, L., Mine, A., Monniaux, D., and Rival, X. Design and Implementation of a Special-Purpose Static Program Analyzer for Safety-Critical Real-Time Embedded Software. LNCS 2566. Springer, Oct. 2002, 85--108."},{"key":"e_1_3_2_1_6_1","first-page":"365","article-title":"Validating properties of component-based graphical user interfaces","volume":"347","author":"Bumbulis P.","year":"1996","unstructured":"Bumbulis , P. , Alencar , P. , Cowan , D. , and Lucena , C . Validating properties of component-based graphical user interfaces . In Proc. DSV-IS96. Springer , 1996 , 347 -- 365 . Bumbulis, P., Alencar, P., Cowan, D., and Lucena, C. Validating properties of component-based graphical user interfaces. In Proc. DSV-IS96. Springer, 1996, 347--365.","journal-title":"Proc. DSV-IS96. Springer"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/12276.13328"},{"key":"e_1_3_2_1_8_1","volume-title":"Proc. DSV-IS98","author":"Campos J.","year":"1998","unstructured":"Campos , J. , and Harrison , M . The role of verification in interactive systems design . In Proc. DSV-IS98 , Springer ( 1998 ), 155--170. Campos, J., and Harrison, M. The role of verification in interactive systems design. In Proc. DSV-IS98, Springer (1998), 155--170."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/800283.811113"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/TABLETOP.2007.27"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/1793034.1793053"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/512950.512973"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1111\/1467-8659.1230025"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-34874-3","volume-title":"Interactive computation - the new paradigm","author":"Goldin D.","year":"2006","unstructured":"Goldin , D. , Smolka , S. , and Wegner , P. , Eds . Interactive computation - the new paradigm . Springer Verlag , 2006 . Goldin, D., Smolka, S., and Wegner, P., Eds. Interactive computation - the new paradigm. Springer Verlag, 2006."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10209-013-0310-7"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/645396.651969"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.97300"},{"key":"e_1_3_2_1_18_1","first-page":"174","article-title":"Specifying a Web Browser Interface Using Object-Z","volume":"157","author":"Hussey A.","year":"1998","unstructured":"Hussey , A. , and Carrington , D . Specifying a Web Browser Interface Using Object-Z . Springer , 1998 , 157 -- 174 . Hussey, A., and Carrington, D. Specifying a Web Browser Interface Using Object-Z. Springer, 1998, 157--174.","journal-title":"Springer"},{"key":"e_1_3_2_1_19_1","volume-title":"Morgan Kaufmann","author":"Kennedy K.","year":"2002","unstructured":"Kennedy , K. , and Allen , J. R . Optimizing Compilers for Modern Architectures: A Dependence-based Approach . Morgan Kaufmann , 2002 . Kennedy, K., and Allen, J. R. Optimizing Compilers for Modern Architectures: A Dependence-based Approach. Morgan Kaufmann, 2002."},{"key":"e_1_3_2_1_20_1","volume-title":"Proc. DSV-IS'96","author":"Le Charlier B.","year":"1996","unstructured":"Le Charlier , B. Abstract interpretation and application to interactive system verification . In Proc. DSV-IS'96 , Springer ( 1996 ), 46--72. Le Charlier, B. Abstract interpretation and application to interactive system verification. In Proc. DSV-IS'96, Springer (1996), 46--72."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/263699.263719"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/2607023.2607028"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.21236\/ADA049055"},{"key":"e_1_3_2_1_24_1","volume-title":"Object-Oriented Software Construction","author":"Meyer B.","year":"1988","unstructured":"Meyer , B. Object-Oriented Software Construction . Prentice Hall , 1988 . Meyer, B. Object-Oriented Software Construction. Prentice Hall, 1988."},{"key":"e_1_3_2_1_25_1","volume-title":"Multifeature Systems: The CARE Properties and Their Impact on Software Design","author":"Nigay L.","year":"1997","unstructured":"Nigay , L. , and Coutaz , J . Multifeature Systems: The CARE Properties and Their Impact on Software Design . 1997 . Nigay, L., and Coutaz, J. Multifeature Systems: The CARE Properties and Their Impact on Software Design. 1997."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1996461.1996490"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0953-5438(97)00015-5"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-92698-6_30"},{"volume-title":"XML path language (XPath) 2.0","key":"e_1_3_2_1_30_1","unstructured":"W3C. XML path language (XPath) 2.0 ( second edition). http:\/\/www.w3.org\/TR\/xpath20\/. W3C. XML path language (XPath) 2.0 (second edition). http:\/\/www.w3.org\/TR\/xpath20\/."}],"event":{"name":"EICS'15: ACM SIGCHI Symposium on Engineering Interactive Computing Systems","sponsor":["SIGCHI ACM Special Interest Group on Computer-Human Interaction"],"location":"Duisburg Germany","acronym":"EICS'15"},"container-title":["Proceedings of the 7th ACM SIGCHI Symposium on Engineering Interactive Computing Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2774225.2774848","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2774225.2774848","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T18:56:04Z","timestamp":1750272964000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2774225.2774848"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,6,23]]},"references-count":29,"alternative-id":["10.1145\/2774225.2774848","10.1145\/2774225"],"URL":"https:\/\/doi.org\/10.1145\/2774225.2774848","relation":{},"subject":[],"published":{"date-parts":[[2015,6,23]]},"assertion":[{"value":"2015-06-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}