{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,19]],"date-time":"2026-03-19T10:40:51Z","timestamp":1773916851187,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":27,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,6,13]],"date-time":"2011-06-13T00:00:00Z","timestamp":1307923200000},"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":[[2011,6,13]]},"DOI":"10.1145\/1996461.1996495","type":"proceedings-article","created":{"date-parts":[[2011,6,14]],"date-time":"2011-06-14T14:45:32Z","timestamp":1308062732000},"page":"53-62","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":34,"title":["Model-based training"],"prefix":"10.1145","author":[{"given":"C\u00e9lia","family":"Martinie","sequence":"first","affiliation":[{"name":"ICS-IRIT, University Paul Sabatier, Toulouse, France"}]},{"given":"Philippe","family":"Palanque","sequence":"additional","affiliation":[{"name":"ICS-IRIT, University Paul Sabatier, Toulouse, France"}]},{"given":"David","family":"Navarre","sequence":"additional","affiliation":[{"name":"ICS-IRIT, University Paul Sabatier, Toulouse, France"}]},{"given":"Marco","family":"Winckler","sequence":"additional","affiliation":[{"name":"ICS-IRIT, University Paul Sabatier, Toulouse, France"}]},{"given":"Erwann","family":"Poupart","sequence":"additional","affiliation":[{"name":"CNES, Toulouse, France"}]}],"member":"320","published-online":{"date-parts":[[2011,6,13]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1822018.1822043"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ress.2003.09.013"},{"key":"e_1_3_2_1_3_1","volume-title":"Carroll, John M. \"Designing Interaction: Psychology at the Human-Computer Interface\"","author":"Carroll J M.","year":"1991","unstructured":"Carroll , J M. , Kellogg , W. and Rosson , M-B . : The Task-Artifact Cycle . In: Carroll, John M. \"Designing Interaction: Psychology at the Human-Computer Interface\" , ( 1991 ), Cambridge University Press . Carroll, J M., Kellogg, W. and Rosson, M-B.: The Task-Artifact Cycle. In: Carroll, John M. \"Designing Interaction: Psychology at the Human-Computer Interface\", (1991), Cambridge University Press."},{"key":"e_1_3_2_1_4_1","volume-title":"ISD Concept Map, retrieved","author":"Clark D. R.","year":"2010","unstructured":"Clark , D. R. , ISD Concept Map, retrieved January 2010 from http:\/\/nwlink.com\/~donclark\/hrd\/ahold\/isd.htm. Clark, D. R., ISD Concept Map, retrieved January 2010 from http:\/\/nwlink.com\/~donclark\/hrd\/ahold\/isd.htm."},{"key":"e_1_3_2_1_5_1","volume-title":"Formal Methods for Interactive Systems","author":"Dix A. J.","year":"1991","unstructured":"Dix , A. J. , Formal Methods for Interactive Systems , Academic Press , ( 1991 ), 0-12-218315-0. Dix, A. J., Formal Methods for Interactive Systems, Academic Press, (1991), 0-12-218315-0."},{"key":"e_1_3_2_1_6_1","volume-title":"ECSS-E-70C","author":"European Cooperation","year":"2008","unstructured":"European Cooperation for Space Standardization , Space Engineering, Ground Systems and Operations , ECSS-E-70C , 31 July 2008 . European Cooperation for Space Standardization, Space Engineering, Ground Systems and Operations, ECSS-E-70C, 31 July 2008."},{"key":"e_1_3_2_1_7_1","unstructured":"European Organisation for the Safety of Air Navigation ATCO Basic Training -- Training Plan (2003).  European Organisation for the Safety of Air Navigation ATCO Basic Training -- Training Plan (2003)."},{"key":"e_1_3_2_1_8_1","unstructured":"European Organisation for the Safety of Air Navigation \"EATM Training Progression and Concepts\" HRS\/TSP-006-GUI-07 26.03.2004.  European Organisation for the Safety of Air Navigation \"EATM Training Progression and Concepts\" HRS\/TSP-006-GUI-07 26.03.2004."},{"key":"e_1_3_2_1_9_1","volume-title":"Holt, Rinehart, and Winston (Eds)","author":"Gagn\u00e9 R.","year":"1985","unstructured":"Gagn\u00e9 , R. , The Conditions of Learning and the Theory of Instruction , Holt, Rinehart, and Winston (Eds) , ( 1985 ). Gagn\u00e9, R., The Conditions of Learning and the Theory of Instruction, Holt, Rinehart, and Winston (Eds), (1985)."},{"key":"e_1_3_2_1_10_1","volume-title":"last accessed","year":"2010","unstructured":"http:\/\/ihcs.irit.fr\/petshop\/ , last accessed Nov. 2010 . http:\/\/ihcs.irit.fr\/petshop\/, last accessed Nov. 2010."},{"key":"e_1_3_2_1_11_1","volume-title":"Experience in the use of Systematic Approach to Training (SAT) for Nuclear Power Plant Personnel","author":"1International Atomic Energy Agency","unstructured":"1International Atomic Energy Agency , Experience in the use of Systematic Approach to Training (SAT) for Nuclear Power Plant Personnel , Technical Report , IAEA-TECDOC- 1057. 1International Atomic Energy Agency, Experience in the use of Systematic Approach to Training (SAT) for Nuclear Power Plant Personnel, Technical Report, IAEA-TECDOC-1057."},{"key":"e_1_3_2_1_12_1","unstructured":"International Atomic Energy Agency IAEA Nuclear Energy Series \"Managing Human Resources in the Field of Nuclear Energy\" N\u00b0 NG-G-2.1.  International Atomic Energy Agency IAEA Nuclear Energy Series \"Managing Human Resources in the Field of Nuclear Energy\" N\u00b0 NG-G-2.1."},{"key":"e_1_3_2_1_13_1","volume-title":"A formal approach supporting effective and efficient training program for improving operators' reliability. Safety and Reliability for managing Risk (ESREL","author":"Martinie C.","year":"2010","unstructured":"Martinie C. , Palanque P. , Navarre D. , Winckler M. A formal approach supporting effective and efficient training program for improving operators' reliability. Safety and Reliability for managing Risk (ESREL 2010 ), p. 234--243. Martinie C., Palanque P., Navarre D., Winckler M. A formal approach supporting effective and efficient training program for improving operators' reliability. Safety and Reliability for managing Risk (ESREL 2010), p. 234--243."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/1782434.1782451"},{"key":"e_1_3_2_1_15_1","first-page":"357","volume-title":"Task Models and System Models as a Bridge between HCI and Software Engineering. In book \"Human-Centered Software Engineering Software Engineering Models, Patterns and Architectures for HCI","author":"Navarre D.","year":"2009","unstructured":"Navarre , D. , Palanque , P. , Winckler , M. Task Models and System Models as a Bridge between HCI and Software Engineering. In book \"Human-Centered Software Engineering Software Engineering Models, Patterns and Architectures for HCI \". Springer (Human-Computer Interaction Series) , 2009 , pages 357 -- 385 . Navarre, D., Palanque, P., Winckler, M. Task Models and System Models as a Bridge between HCI and Software Engineering. In book \"Human-Centered Software Engineering Software Engineering Models, Patterns and Architectures for HCI\". Springer (Human-Computer Interaction Series), 2009, pages 357--385."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1614390.1614393"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/MIA.2006.1628845"},{"key":"e_1_3_2_1_18_1","volume-title":"The Design of everyday things","author":"Norman D","year":"2002","unstructured":"Norman D , The Design of everyday things , Basic Books , 2002 . Norman D, The Design of everyday things, Basic Books, 2002."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/543434.543435"},{"key":"e_1_3_2_1_20_1","first-page":"455","volume-title":"August","author":"Object Management Group","year":"2003","unstructured":"Object Management Group . Unified Modeling Language (UML) 2.0 Superstructure Specification , August 2003 , Ptc\/ 03-08-02, pp. 455 -- 510 . Object Management Group. Unified Modeling Language (UML) 2.0 Superstructure Specification, August 2003, Ptc\/03-08-02, pp. 455--510."},{"key":"e_1_3_2_1_21_1","first-page":"129","volume-title":"Synergistic modeling of tasks, system and users using formal specification techniques Interacting With Computers","author":"Palanque P.","year":"1997","unstructured":"Palanque P. & Bastide R , Synergistic modeling of tasks, system and users using formal specification techniques Interacting With Computers , 1997 , Academic Press , pp. 129 -- 153 . Palanque P. & Bastide R, Synergistic modeling of tasks, system and users using formal specification techniques Interacting With Computers, 1997, Academic Press, pp. 129--153."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02574-7_75"},{"key":"e_1_3_2_1_23_1","volume-title":"rules, knowledge","author":"Rasmussen J.","year":"1983","unstructured":"Rasmussen , J. , Skills , rules, knowledge ; signals, signs, and symbols, and other distinctions in human performance models, 1983 , IEEE trans. on systems, man and cybernetics, 13, 257--266. Rasmussen, J., Skills, rules, knowledge; signals, signs, and symbols, and other distinctions in human performance models, 1983, IEEE trans. on systems, man and cybernetics, 13, 257--266."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1016\/0020-7373(89)90014-X"},{"key":"e_1_3_2_1_25_1","first-page":"57","volume-title":"Educational Technology Research and Development","author":"Reiser R.A.","year":"2001","unstructured":"Reiser R.A. , A History of Instructional Design and Technology: Part II: A History of Instructional Design , Educational Technology Research and Development , vol. 49 , N. 2, 2001 , pp. 57 -- 61 . Reiser R.A., A History of Instructional Design and Technology: Part II: A History of Instructional Design, Educational Technology Research and Development, vol. 49, N. 2, 2001, pp. 57--61."},{"key":"e_1_3_2_1_27_1","volume-title":"August, 1975.","author":"U.S. Department of Defense Training Document","year":"1975","unstructured":"U.S. Department of Defense Training Document ( 1975 ). Pamphlet 350--30 . August, 1975. U.S. Department of Defense Training Document (1975). Pamphlet 350--30. August, 1975."},{"key":"e_1_3_2_1_28_1","volume-title":"A System Approach To Training (Course Student textbook). ST - 5K061FD9","author":"Army Field Artillery School","year":"1984","unstructured":"U.S. Army Field Artillery School ( 1984 ). A System Approach To Training (Course Student textbook). ST - 5K061FD9 . U.S. Army Field Artillery School (1984). A System Approach To Training (Course Student textbook). ST - 5K061FD9."}],"event":{"name":"EICS '11: ACM SIGCHI Symposium on Engineering Interactive Computing Systems","location":"Pisa Italy","acronym":"EICS '11","sponsor":["SIGCHI ACM Special Interest Group on Computer-Human Interaction"]},"container-title":["Proceedings of the 3rd ACM SIGCHI symposium on Engineering interactive computing systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1996461.1996495","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1996461.1996495","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T11:05:56Z","timestamp":1750244756000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1996461.1996495"}},"subtitle":["an approach supporting operability of critical interactive systems"],"short-title":[],"issued":{"date-parts":[[2011,6,13]]},"references-count":27,"alternative-id":["10.1145\/1996461.1996495","10.1145\/1996461"],"URL":"https:\/\/doi.org\/10.1145\/1996461.1996495","relation":{},"subject":[],"published":{"date-parts":[[2011,6,13]]},"assertion":[{"value":"2011-06-13","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}