{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:33:04Z","timestamp":1750307584164,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":23,"publisher":"ACM","license":[{"start":{"date-parts":[[2010,6,19]],"date-time":"2010-06-19T00:00:00Z","timestamp":1276905600000},"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":[[2010,6,19]]},"DOI":"10.1145\/1822018.1822043","type":"proceedings-article","created":{"date-parts":[[2010,6,25]],"date-time":"2010-06-25T17:43:45Z","timestamp":1277487825000},"page":"165-174","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":60,"title":["Beyond modelling"],"prefix":"10.1145","author":[{"given":"Eric","family":"Barboni","sequence":"first","affiliation":[{"name":"University of Toulouse, Toulouse, France"}]},{"given":"Jean-Fran\u00e7ois","family":"Ladry","sequence":"additional","affiliation":[{"name":"University of Toulouse, Toulouse, France"}]},{"given":"David","family":"Navarre","sequence":"additional","affiliation":[{"name":"Institute of Research in Informatics of Toulouse (IRIT), University of Toulouse, France"}]},{"given":"Philippe","family":"Palanque","sequence":"additional","affiliation":[{"name":"University of Toulous, Toulouse, France"}]},{"given":"Marco","family":"Winckler","sequence":"additional","affiliation":[{"name":"University of Toulouse, Toulouse, France"}]}],"member":"320","published-online":{"date-parts":[[2010,6,19]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/506443.506457"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70569-7_22"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/192309.192328"},{"key":"e_1_3_2_1_4_1","unstructured":"Dix A. J. 1991 Formal Methods for Interactive Systems. s.l: Academic Press. 0-12-218315-0.  Dix A. J. 1991 Formal Methods for Interactive Systems. s.l: Academic Press. 0-12-218315-0."},{"key":"e_1_3_2_1_5_1","first-page":"978","article-title":"Developing User Interfaces: ensuring usability through product and process. s.l","volume":"1993","author":"Hix D.","year":"1993","unstructured":"Hix , D. and Rex Harston , H. 1993 . Developing User Interfaces: ensuring usability through product and process. s.l . : Wiley , 1993. 978 - 970 -471-57813-0. Hix, D. and Rex Harston, H. 1993. Developing User Interfaces: ensuring usability through product and process. s.l. : Wiley, 1993. 978-0-471-57813-0.","journal-title":"Wiley"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/11431879_12"},{"key":"e_1_3_2_1_7_1","volume-title":"Engineering for Human-Computer Interaction","author":"Lu S.","year":"1999","unstructured":"Lu S. , Paris C. , Vander Linden K. 1999. Towards the automatic generation of task models from object oriented diagrams . In Engineering for Human-Computer Interaction , Kluwer academic publishers, Boston, 1999 . Lu S., Paris C., Vander Linden K. 1999. Towards the automatic generation of task models from object oriented diagrams. In Engineering for Human-Computer Interaction, Kluwer academic publishers, Boston, 1999."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2331829.2331832"},{"key":"e_1_3_2_1_9_1","first-page":"140","volume-title":"Proc. of TAMODIA","volume":"4849","author":"Navarre D.","year":"2007","unstructured":"Navarre , D. , Palanque , P. , Barboni E. and Mistrzyk , T . 2007. On the Benefit of Synergistic Model-Based Approach for Safety Critical Interactive System Testing . In Proc. of TAMODIA 2007 . (Toulouse, France), Springer LNCS vol. 4849 . pp. 140 -- 154 . Navarre, D., Palanque, P., Barboni E. and Mistrzyk, T. 2007. On the Benefit of Synergistic Model-Based Approach for Safety Critical Interactive System Testing. In Proc. of TAMODIA 2007. (Toulouse, France), Springer LNCS vol. 4849. pp. 140--154."},{"key":"e_1_3_2_1_10_1","volume-title":"DSV-IS'2001 (Glasgow, Scotland, June 13--15","author":"Navarre D.","year":"2001","unstructured":"Navarre , D. ; Palanque , P. ; Bastide , R. ; Patern\u00f3 , F. , and Santoro , C . A tool suite for integrating task and system models through scenarios . In DSV-IS'2001 (Glasgow, Scotland, June 13--15 , 2001 ). LNCS 2220. Springer ; 2001 Navarre, D.; Palanque, P.; Bastide, R.; Patern\u00f3, F., and Santoro, C. A tool suite for integrating task and system models through scenarios. In DSV-IS'2001 (Glasgow, Scotland, June 13--15, 2001). LNCS 2220. Springer; 2001"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1614390.1614393"},{"key":"e_1_3_2_1_12_1","first-page":"357","volume-title":"Task Models and System Models as a Bridge between HCI and Sofware Engineering","author":"Navarre D.","year":"2009","unstructured":"Navarre , D. , Palanque , P. , Winckler , M. Task Models and System Models as a Bridge between HCI and Sofware Engineering . In : Human-Centered Software Engineering Software Engineering Models, Patterns and Architectures for HCI. Springer , June 2009 , pages 357 -- 385 . Navarre, D., Palanque, P., Winckler, M. Task Models and System Models as a Bridge between HCI and Sofware Engineering. In: Human-Centered Software Engineering Software Engineering Models, Patterns and Architectures for HCI. Springer, June 2009, pages 357--385."},{"key":"e_1_3_2_1_13_1","first-page":"129","volume-title":"Synergistic Modelling of Tasks, Users and Systems Using Formal Specification Techniques","author":"Palanque P.","year":"1997","unstructured":"Palanque , P. , Bastide , R. Synergistic Modelling of Tasks, Users and Systems Using Formal Specification Techniques . Elsevier . Interacting With Computers 9 N. 2, pp. 129 -- 153 , 1997 . Palanque, P., Bastide, R. Synergistic Modelling of Tasks, Users and Systems Using Formal Specification Techniques. Elsevier. Interacting With Computers 9 N. 2, pp. 129--53, 1997."},{"key":"e_1_3_2_1_14_1","volume-title":"Dourte L. Contextual Help for Free with Formal Dialogue Design. In Proc. of HCI International'93","author":"Palanque P.","year":"1993","unstructured":"Palanque , P. , Bastide , R. , Dourte L. Contextual Help for Free with Formal Dialogue Design. In Proc. of HCI International'93 , Orlando, USA, 8- -15 August 1993 . Palanque, P., Bastide, R., Dourte L. Contextual Help for Free with Formal Dialogue Design. In Proc. of HCI International'93, Orlando, USA, 8--15 August 1993."},{"key":"e_1_3_2_1_15_1","volume-title":"Proc. of Interact'97","author":"Palanque P.","year":"1997","unstructured":"Palanque , P. , Bastide , R. and Patern\u00f2 , F . 1997. Formal Specification As a Tool for the Objective Assessment of Safety Critical Interactive Systems . In Proc. of Interact'97 , Sydney, Autralia , 1997 , 323--330. Palanque, P., Bastide, R. and Patern\u00f2, F. 1997. Formal Specification As a Tool for the Objective Assessment of Safety Critical Interactive Systems. In Proc. of Interact'97, Sydney, Autralia, 1997, 323--330."},{"key":"e_1_3_2_1_16_1","volume-title":"Proc. of EHCI'95","author":"Palanque P.","year":"1995","unstructured":"Palanque , P. , Bastide , R. and Seng\u00e8s , V . 1995. Validating Interactive System Design Through the Verification of Formal Task and System Models . In Proc. of EHCI'95 , Garn Targhee Resort, Wyoming, USA , August 14-18, 1995 . Chapman et Hall, 1995. Palanque, P., Bastide, R. and Seng\u00e8s, V. 1995. Validating Interactive System Design Through the Verification of Formal Task and System Models. In Proc. of EHCI'95, Garn Targhee Resort, Wyoming, USA, August 14-18, 1995. Chapman et Hall, 1995."},{"key":"e_1_3_2_1_17_1","volume-title":"Proceedings EHCI'98","author":"Patern\u00f2 F.","year":"1998","unstructured":"Patern\u00f2 F. , Breedvelt-Schouten I. , deKonig N. 1998 . Deriving Presentations from Task Models , In Proceedings EHCI'98 , Creete, Kluwiert Publisher. Patern\u00f2 F., Breedvelt-Schouten I., deKonig N. 1998. Deriving Presentations from Task Models, In Proceedings EHCI'98, Creete, Kluwiert Publisher."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/634067.634084"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/291080.291108"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70569-7_8"},{"key":"e_1_3_2_1_21_1","volume-title":"Coupling User Models and System Models: A Modeling Framework for Fault Diagnosis in Complex Systems Interacting with computer","author":"Sawyer J. T.","year":"1996","unstructured":"Sawyer J. T. , Minsk B. , Bisantz A. M. 1996. Coupling User Models and System Models: A Modeling Framework for Fault Diagnosis in Complex Systems Interacting with computer 1996 . Sawyer J. T., Minsk B., Bisantz A. M. 1996. Coupling User Models and System Models: A Modeling Framework for Fault Diagnosis in Complex Systems Interacting with computer 1996."},{"key":"e_1_3_2_1_22_1","unstructured":"Scapin D.and Pierret-Golbreich C. 1989. Towards a method for task description: MAD. Work with DisplayUnits WWU'89 27--34.  Scapin D.and Pierret-Golbreich C. 1989. Towards a method for task description: MAD. Work with DisplayUnits WWU'89 27--34."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70569-7_12"}],"event":{"name":"EICS '10: ACM SIGCHI Symposium on Engineering Interactive Computing Systems","sponsor":["SIGCHI ACM Special Interest Group on Computer-Human Interaction"],"location":"Berlin Germany","acronym":"EICS '10"},"container-title":["Proceedings of the 2nd ACM SIGCHI symposium on Engineering interactive computing systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1822018.1822043","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1822018.1822043","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:41:20Z","timestamp":1750250480000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1822018.1822043"}},"subtitle":["an integrated environment supporting co-execution of tasks and systems models"],"short-title":[],"issued":{"date-parts":[[2010,6,19]]},"references-count":23,"alternative-id":["10.1145\/1822018.1822043","10.1145\/1822018"],"URL":"https:\/\/doi.org\/10.1145\/1822018.1822043","relation":{},"subject":[],"published":{"date-parts":[[2010,6,19]]},"assertion":[{"value":"2010-06-19","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}