{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:25:01Z","timestamp":1725495901112},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540772217"},{"type":"electronic","value":"9783540772224"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-77222-4_12","type":"book-chapter","created":{"date-parts":[[2007,11,22]],"date-time":"2007-11-22T07:31:12Z","timestamp":1195716672000},"page":"140-154","source":"Crossref","is-referenced-by-count":3,"title":["On the Benefit of Synergistic Model-Based Approach for Safety Critical Interactive System Testing"],"prefix":"10.1007","author":[{"given":"David","family":"Navarre","sequence":"first","affiliation":[]},{"given":"Philippe","family":"Palanque","sequence":"additional","affiliation":[]},{"given":"Eric","family":"Barboni","sequence":"additional","affiliation":[]},{"given":"Tomasz","family":"Mistrzyk","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"12_CR1","unstructured":"Amboss, \n                      \n                        http:\/\/wwwcs.uni-paderborn.de\/cs\/ag-szwillus\/lehre\/ws05_06\/PG\/PGAMBOSS"},{"key":"12_CR2","volume-title":"DSV-IS 1998","author":"R. Bastide","year":"1998","unstructured":"Bastide, R., Palanque, P., Le, D.-H., Mu\u00f1oz, J.: Integrating Rendering Specifications into a Formalism for the Design of Interactive Systems. In: DSV-IS 1998, Abingdon, U. K, Springer, Heidelberg (1998)"},{"key":"12_CR3","doi-asserted-by":"crossref","unstructured":"Bastide, R., Navarre, D., Palanque, P.: A Model-Based Tool for Interactive Prototyping of Highly Interactive Applications. In: Tool demonstration. CHI 2002, Minneapolis (USA) (2002)","DOI":"10.1145\/506443.506457"},{"issue":"2","key":"12_CR4","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1016\/j.ijhcs.2003.08.004","volume":"60","author":"A. Blandford","year":"2004","unstructured":"Blandford, A., Butterworth, R., Curzon, P.: Models of interactive systems: a case study on Programmable User Modelling. International Journal of Human-Computer Studies\u00a060(2), 165\u2013216 (2004)","journal-title":"International Journal of Human-Computer Studies"},{"key":"12_CR5","unstructured":"Booch, G., Rumbaugh, J., Jacobson, I.: The UML reference manual. Addison-Wesley, Reading"},{"key":"12_CR6","first-page":"3","volume-title":"Predicate\/Transitions Nets","author":"H.J. Genrich","year":"1991","unstructured":"Genrich, H.J.: Predicate\/Transitions Nets. High-Levels Petri Nets: Theory and Application. In: Jensen, K., Rozenberg, G. (eds.) Predicate\/Transitions Nets, pp. 3\u201343. Springer, Heidelberg (1991)"},{"key":"12_CR7","doi-asserted-by":"crossref","unstructured":"Green, T.R.G., Benyon, D.R.: The skull beneath the skin; Entity-relationship modelling of Information Artefacts. International Journal of Human-Computer Studies\u00a0 (1996)","DOI":"10.1006\/ijhc.1996.0034"},{"issue":"1","key":"12_CR8","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1007\/s007790170025","volume":"5","author":"A. Jameson","year":"2001","unstructured":"Jameson, A.: Modelling both the Context and the User. Personal Ubiquitous Comput.\u00a05(1), 29\u201333 (2001)","journal-title":"Personal Ubiquitous Comput."},{"key":"12_CR9","volume-title":"Engineering for Human-Computer Interaction","author":"S. Lu","year":"1999","unstructured":"Lu, S., Paris, C., Vander Linden, K.: Towards the automatic generation of task models from object oriented diagrams. In: Chatty, S., Dewan, P. (eds.) Engineering for Human-Computer Interaction, Kluwer academic publishers, Boston (1999)"},{"key":"12_CR10","unstructured":"Lu, S., Paris, C., Vander Linden, K., Colineau, N.: Generating UML Diagrams From Task Models. In: proceedings of CHINZ\u201903, the fourth annual international conference of the New Zealand chapter of the ACM\u2019s SIGCHI, Dunedin, New Zealand (July 3-4, 2003)"},{"issue":"8","key":"12_CR11","doi-asserted-by":"publisher","first-page":"797","DOI":"10.1109\/TSE.2002.1027801","volume":"2","author":"G. Mori","year":"2002","unstructured":"Mori, G., Patern\u00f3, F., Santoro, C.: CTTE: support for developing and analyzing task models for interactive system design. IEEE Trans. Softw. Eng.\u00a02(8), 797\u2013813 (2002)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"12_CR12","doi-asserted-by":"crossref","unstructured":"Navarre, David, Palanque, Philippe, Bastide, R\u00e9mi, Sy, O.: Structuring Interactive Systems Specifications for Executability and Prototypability. In: 7th Eurographics Workshop on DSV-IS 2000, Limerick, Ireland. LNCS","DOI":"10.1007\/3-540-44675-3_7"},{"key":"12_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"88","DOI":"10.1007\/3-540-45522-1_6","volume-title":"8th Eurographics workshop on Design, Specification and Verification of Interactive Systems, DSV-IS 2001","author":"D.. Navarre","year":"2001","unstructured":"Navarre, D., Palanque, P., Bastide, R., Patern\u00f3, F., Santoro, C.: A tool suite for integrating task and system models through scenarios. In: 8th Eurographics workshop on Design, Specification and Verification of Interactive Systems, DSV-IS 2001. LNCS, vol.\u00a02220, pp. 88\u2013113. Springer, Heidelberg (2001)"},{"key":"12_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"100","DOI":"10.1007\/3-540-40011-7_8","volume-title":"Proceedings of the Unified Modeling Language Conference, UML 2000","author":"J.N. Nunes","year":"2000","unstructured":"Nunes, J.N., Cunha, J.F.: Towards a UML Profile for Interaction Design: The Wisdom approach. In: Evans, A., Kent, S. (eds.) Proceedings of the Unified Modeling Language Conference, UML 2000. LNCS, vol.\u00a01939, pp. 100\u2013116. Springer, Heidelberg (2000)"},{"key":"12_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/3-540-44675-3_12","volume-title":"Interactive Systems. Design, Specification, and Verification","author":"N..J.. Nunes","year":"2001","unstructured":"Nunes, N.J., Cunha, J.F.: Wisdom A UML Based Architecture for Interactive Systems (PDF 44.73 Kb). In: Palanque, P., Patern\u00f3, F. (eds.) DSV-IS 2000. LNCS, vol.\u00a01946, pp. 191\u2013205. Springer, Heidelberg (2001)"},{"key":"12_CR16","volume-title":"EHCI 1995","author":"Palanque","year":"1995","unstructured":"Palanque, Philippe, Bastide, R., Seng\u00e9s, V.: Validating Interactive System Design Through the Verification of Formal Task and System Models. In: EHCI 1995. 6th IFIP Conference on Engineering for Human-Computer Interaction, Garn Targhee Resort, Wyoming, USA, August 14-18, Chapman et Hall, Sydney, Australia (1995)"},{"key":"12_CR17","first-page":"323","volume-title":"Interact 1997","author":"Palanque","year":"1997","unstructured":"Palanque, Philippe, Bastide, R., Patern\u00f3, F.: Formal Specification As a Tool for the Objective Assessment of Safety Critical Interactive Systems. In: Interact 1997. 6th IFIP TC13 Conference on Human-Computer Interaction, Sydney, Australia, July 14-18, 1997, pp. 323\u2013330. Chapman et Hall, Sydney, Australia (1997)"},{"key":"12_CR18","volume-title":"Model-Based Design and Evaluation of Interactive Application","author":"F. Patern\u00f3","year":"1999","unstructured":"Patern\u00f3, F.: Model-Based Design and Evaluation of Interactive Application. Springer, Heidelberg (1999)"},{"key":"12_CR19","doi-asserted-by":"crossref","unstructured":"Patern\u00f3, F., Breedvelt-Schouten, I., de Konig, N.: Deriving Presentations from Task Models. In: Proceedings EHCI 1998, Creete, Kluwiert Publisher (1998)","DOI":"10.1007\/978-0-387-35349-4_18"},{"key":"12_CR20","unstructured":"Sawyer, J.T., Minsk, B., Bisantz, A.M.: Coupling User Models and System Models: A Modeling Framework for Fault Diagnosis in Complex Systems Interacting with computer (1996)"},{"key":"12_CR21","first-page":"263","volume-title":"Human-Computer Interaction: Theory and Practice (Part I), Proceedings of HCI International 2003","author":"H.. Uhr","year":"2003","unstructured":"Uhr, H.: TOMBOLA: Simulation and User-Specific Presentation of Executable Task Models, Paper. In: Human-Computer Interaction: Theory and Practice (Part I), Proceedings of HCI International 2003, pp. S263\u2013267. Lawrence Erlbaum Associates, Mahwah, NJ (2003)"}],"container-title":["Lecture Notes in Computer Science","Task Models and Diagrams for User Interface Design"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-77222-4_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T15:07:17Z","timestamp":1558278437000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-77222-4_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540772217","9783540772224"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-77222-4_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}