{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,19]],"date-time":"2026-03-19T11:55:58Z","timestamp":1773921358103,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":48,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642343469","type":"print"},{"value":"9783642343476","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-34347-6_5","type":"book-chapter","created":{"date-parts":[[2012,9,22]],"date-time":"2012-09-22T06:55:54Z","timestamp":1348296954000},"page":"72-93","source":"Crossref","is-referenced-by-count":16,"title":["A Development Process for Usable Large Scale Interactive Critical Systems: Application to Satellite Ground Segments"],"prefix":"10.1007","author":[{"given":"C\u00e9lia","family":"Martinie","sequence":"first","affiliation":[]},{"given":"Philippe","family":"Palanque","sequence":"additional","affiliation":[]},{"given":"David","family":"Navarre","sequence":"additional","affiliation":[]},{"given":"Eric","family":"Barboni","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"5_CR1","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1146\/annurev.psych.60.110707.163505","volume":"60","author":"H. Aguinis","year":"2009","unstructured":"Aguinis, H., Kraiger, K.: Benefits of Training and Development for Individuals and Teams, Organizations, and Society. Annual Review of Psychology\u00a060, 451\u2013475 (2009)","journal-title":"Annual Review of Psychology"},{"issue":"1","key":"5_CR2","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1080\/10447310903025552","volume":"26","author":"D. Alonso-Rios","year":"2010","unstructured":"Alonso-Rios, D., Vasquez-Garcia, A., Mosqueira-Rey, E., Morey-Bonillo, V.: Usability: A Critical Analysis and Taxonomy. Intl. Journal of Human\u2013Computer Interaction\u00a026(1), 53\u201374 (2010)","journal-title":"Intl. Journal of Human\u2013Computer Interaction"},{"key":"5_CR3","doi-asserted-by":"crossref","unstructured":"Barboni, E., Ladry, J.-F., Navarre, D., Palanque, P., Winckler, M.: Beyond Modelling: An Integrated Environment Supporting Co-Execution of Tasks and Systems Models. In: Proc. of EICS 2010, pp. 143\u2013152. ACM (2010)","DOI":"10.1145\/1822018.1822043"},{"key":"5_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1007\/11752707_5","volume-title":"Interactive Systems. Design, Specification, and Verification","author":"S. Basnyat","year":"2006","unstructured":"Basnyat, S., Chozos, N., Johnson, C.: Incident and Accident Investigation Techniques to Inform Model-Based Design of Safety-Critical Interactive Systems. In: Gilroy, S.W., Harrison, M.D. (eds.) DSV-IS 2005. LNCS, vol.\u00a03941, pp. 51\u201366. Springer, Heidelberg (2006)"},{"issue":"5","key":"5_CR5","doi-asserted-by":"publisher","first-page":"545","DOI":"10.1016\/j.ssci.2007.01.001","volume":"45","author":"S. Basnyat","year":"2007","unstructured":"Basnyat, S., Palanque, P., Schupp, B., Wright, P.: Formal socio-technical barrier modelling for safety-critical interactive systems design. Safety Science\u00a045(5), 545\u2013565 (2007)","journal-title":"Safety Science"},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"Bastide, R., Navarre, D., Palanque, P.: A Tool-Supported Design Framework for Safety Critical Interactive Systems in Interacting with Computers\u00a015(3), 309\u2013328 (2003)","DOI":"10.1016\/S0953-5438(03)00011-0"},{"key":"5_CR7","doi-asserted-by":"crossref","unstructured":"Bernhaupt, R., Navarre, D., Palanque, P., Winckler, M.: Model-Based Evaluation: A New Way to Support Usability Evaluation of Multimodal Interactive Applications. In: Maturing Usability: Quality in Software, Interaction and Quality, series on HCl. Springer (April 2007)","DOI":"10.1007\/978-1-84628-941-5_5"},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"Bodart, F., Hennebert, A.-M., Leheureux, J.-M., Vanderdonckt, J.: Encapsulating Knowledge for Intelligent Automatic Interaction Objects Selection. In: Human Factors in Computing Systems INTERCHI 1993, pp. 424\u2013429. Addison Wesley (1993)","DOI":"10.1145\/169059.169340"},{"issue":"4","key":"5_CR9","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1145\/12944.12948","volume":"11","author":"B. Boehm","year":"1986","unstructured":"Boehm, B.: A spiral model of software development and enhancement. ACM SIGSOFT Software Engineering Notes\u00a011(4), 14\u201324 (1986)","journal-title":"ACM SIGSOFT Software Engineering Notes"},{"key":"5_CR10","doi-asserted-by":"crossref","unstructured":"Boehm, B.: A View of 20th and 21st Century Software Engineering. Invited talk. In: IEEE Int. Conf. on Software Engineering (2006), http:\/\/www.isr.uci.edu\/icse-06\/program\/keynotes\/boehm.html","DOI":"10.1145\/1134285.1134288"},{"key":"5_CR11","volume-title":"Designing Interaction: Psychology at the Human-Computer Interface","author":"J.M. Carroll","year":"1991","unstructured":"Carroll, J.M., Kellogg, W.A., Rosson, M.B.: The Task-Artifact Cycle. In: Carroll, J.M. (ed.) Designing Interaction: Psychology at the Human-Computer Interface. Cambridge University Press, Cambridge (1991)"},{"key":"5_CR12","volume-title":"Designing Object-Oriented user interfaces","author":"D. Collins","year":"1995","unstructured":"Collins, D.: Designing Object-Oriented user interfaces. Benjamin\/Cummings Publishing, Inc., Readwoods City (1995)"},{"key":"5_CR13","doi-asserted-by":"crossref","unstructured":"Curtis, B., Hefley, B.: A WIMP no more: the maturing of user interface engineering. Interactions\u00a01(1) (1994)","DOI":"10.1145\/174800.174803"},{"key":"5_CR14","doi-asserted-by":"crossref","unstructured":"Esteban, O., Chatty, S., Palanque, P.: Whizz\u2019Ed: a Visual Environment for building Highly Interactive Software. In: INTERACT 1995, Lillehammer, Norway, pp. 121\u2013127 (1995)","DOI":"10.1007\/978-1-5041-2896-4_20"},{"key":"5_CR15","unstructured":"Eurocontrol, ESARR 6, Eurocontrol Safety Regulatory Requirement 6, Software in ATM Functionnal Systems, version 2.0 (2010)"},{"key":"5_CR16","unstructured":"European Organisation for Civil Aviation Equipment. DO-178B, Software Consideration in Airborne Systems and Equipment Certification. EUROCAE (1992)"},{"issue":"2","key":"5_CR17","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1002\/spip.174","volume":"8","author":"B. G\u00f6ransson","year":"2003","unstructured":"G\u00f6ransson, B., Gulliksen, J., Boivie, I.: The Usability Design Process - Integrating User-Centered Systems Design in the Software Development Process. Software Process: Improvement and Practice\u00a08(2), 111\u2013131 (2003)","journal-title":"Software Process: Improvement and Practice"},{"key":"5_CR18","doi-asserted-by":"crossref","unstructured":"Hartson, H., Hix, D.: Human-computer interface development: concepts and systems for its management. ACM Computing Surveys\u00a021(1) (1989)","DOI":"10.1145\/62029.62031"},{"key":"5_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1007\/978-3-642-10308-7_19","volume-title":"HCI and Usability for e-Inclusion","author":"Z. Hussain","year":"2009","unstructured":"Hussain, Z., Slany, W., Holzinger, A.: Investigating Agile User-Centered Design in Practice: A Grounded Theory Perspective. In: Holzinger, A., Miesenberger, K. (eds.) USAB 2009. LNCS, vol.\u00a05889, pp. 279\u2013289. Springer, Heidelberg (2009)"},{"key":"5_CR20","unstructured":"International Standard Organisation. Space systems safety requirements. Part 1: System safety. ISO 16420-1 (April 2004)"},{"issue":"1","key":"5_CR21","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/310641.310642","volume":"6","author":"R. Jacob","year":"1999","unstructured":"Jacob, R.: A Software Model and Specification Language for Non-WIMP User Interfaces. ACM Transactions on Computer-Human Interaction\u00a06(1), 1\u201346 (1999)","journal-title":"ACM Transactions on Computer-Human Interaction"},{"key":"5_CR22","unstructured":"Johnson, C.: On the over emphasis of human error as a cause of aviation accidents: systemic failures and human error in US NTSB and Canadian TSB aviation reports 1996\u20132003, Ergonomics (2006)"},{"key":"5_CR23","unstructured":"Martinie, C., Palanque, P., Navarre, D., Winckler, M.: A formal approach supporting effective and efficient training program for improving operators\u2019 reliability. In: Safety and Reliability for managing Risk (ESREL 2010), pp. 234\u2013243 (2010)"},{"key":"5_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"589","DOI":"10.1007\/978-3-642-23765-2_40","volume-title":"Human-Computer Interaction \u2013 INTERACT 2011","author":"C. Martinie","year":"2011","unstructured":"Martinie, C., Palanque, P., Winckler, M.: Structuring and Composition Mechanisms to Address Scalability Issues in Task Models. In: Campos, P., Graham, N., Jorge, J., Nunes, N., Palanque, P., Winckler, M. (eds.) INTERACT 2011, Part III. LNCS, vol.\u00a06948, pp. 589\u2013609. Springer, Heidelberg (2011)"},{"key":"5_CR25","doi-asserted-by":"crossref","unstructured":"Martinie, C., Palanque, P., Winckler, M., Conversy, S.: DREAMER: a design rationale environment for argumentation, modeling and engineering requirements. In: SIGDOC 2010, pp. 73\u201380 (2010)","DOI":"10.1145\/1878450.1878463"},{"key":"5_CR26","doi-asserted-by":"crossref","unstructured":"Martinie, C., Palanque, P., Winckler, M., Navarre, D., Poupart, E.: Model-Based Training: An Approach Supporting Operability of Critical Interactive Systems: Application to Satellite Ground Segments. In: Proc. of EICS 2011, pp. 53\u201362 (2011)","DOI":"10.1145\/1996461.1996495"},{"key":"5_CR27","unstructured":"Mayhew, D.J.: The Usability Engineering Lifecycle, A practitioner\u2019s handbook for User Interface Design. Morgan Kaufmann Publishers, San Francisco"},{"key":"5_CR28","doi-asserted-by":"crossref","unstructured":"McDermid, J., Ripken, K.: Life cycle support in the Ada environment. ACM SIGAda Ada Letters\u00a0III (1) (1983)","DOI":"10.1145\/998373.998379"},{"key":"5_CR29","doi-asserted-by":"crossref","unstructured":"Memon, A.M., Soffa, M.L.: Regression testing of GUIs. In: 9th European Software Engineering Conf., pp. 118\u2013127 (2003)","DOI":"10.1145\/949952.940088"},{"key":"5_CR30","doi-asserted-by":"crossref","unstructured":"Memon, A.M., Soffa, M.L., Pollack, M.E.: Coverage criteria for GUI testing. In: 8th European Software Engineering Conference, pp. 256\u2013267 (2001)","DOI":"10.1145\/503271.503244"},{"key":"5_CR31","unstructured":"Navarre, D., Palanque, P., Martinie, C., Winckler, M., Steere, S.: Formal Description Techniques for Human-Machine Interfaces - ModelS-Based Approaches for the Design and Evaluation of Dependable Usable Interactive Systems. In: Handbook of HMI, A Human-Centered Approach, USA, Ashgate"},{"issue":"4","key":"5_CR32","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1614390.1614393","volume":"16","author":"D. Navarre","year":"2009","unstructured":"Navarre, D., Palanque, P., Ladry, J., Barboni, E.: ICOs: A model-based user interface description technique dedicated to interactive systems addressing usability, reliability and scalability. ACM Trans. Comput.-Hum. Interact.\u00a016(4), 1\u201356 (2009)","journal-title":"ACM Trans. Comput.-Hum. Interact."},{"key":"5_CR33","volume-title":"User Centered System Design: New Perspectives on Human-Computer Interaction","year":"1986","unstructured":"Norman, D., Draper, S. (eds.): User Centered System Design: New Perspectives on Human-Computer Interaction. Lawrence Erlbaum Associates, Hillsdale (1986)"},{"key":"5_CR34","doi-asserted-by":"crossref","unstructured":"Palanque, P., Barboni, E., Martinie, C., Navarre, D., Winckler, M.: A model-based approach for supporting engineering usability evaluation of interaction techniques. In: EICS 2011, pp. 21\u201330. ACM SIGCHI (2011)","DOI":"10.1145\/1996461.1996490"},{"key":"5_CR35","doi-asserted-by":"crossref","unstructured":"Palanque, P., Basnyat, S.: Task Patterns for Taking Into Account in an Efficient and Systematic Way Both Standard and Erroneous User Behaviours. In: HESSD 2004, Toulouse, France, pp. 109\u2013130 (2004)","DOI":"10.1007\/1-4020-8153-7_8"},{"key":"5_CR36","doi-asserted-by":"crossref","unstructured":"Palanque, P., Bastide, R.: Verification of an Interactive Software by analysis of its formal specification. In: INTERACT 1995, Lillehammer, Norway, pp. 191\u2013197 (1995)","DOI":"10.1007\/978-1-5041-2896-4_32"},{"key":"5_CR37","doi-asserted-by":"crossref","unstructured":"Palanque, P., Bernhaupt, R., Navarre, D., Ould, M., Winckler, M.: Supporting Usability Evaluation of Multimodal Man-Machine Interfaces for Space Ground Segment Applications Using Petri net Based Formal Specification. In: Ninth International Conference on Space Operations, Rome, Italy, June 18-22 (2006) CD-ROM proceedings","DOI":"10.2514\/6.2006-5657"},{"issue":"4","key":"5_CR38","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1145\/1614390.1614394","volume":"16","author":"F. Patern\u00f2","year":"2009","unstructured":"Patern\u00f2, F., Santoro, C., Spano, L.D.: MARIA: a universal, declarative, multiple abstraction-level language for service-oriented applications in ubiquitous environments. ACM Transactions on Computer-Human Interaction\u00a016(4), article n. 19 (2009)","journal-title":"ACM Transactions on Computer-Human Interaction"},{"key":"5_CR39","unstructured":"Preece, J., Rogers, Y., Sharp, H., Benyon, D., Holland, S., Carey, T.: Human-Computer Interaction. Addison-Wesley, UK"},{"key":"5_CR40","volume-title":"International Conference on Software Engineering and Knowledge Engineering","author":"M. Rauterberg","year":"1992","unstructured":"Rauterberg, M.: An Iterative-Cyclic Software Process Model. In: International Conference on Software Engineering and Knowledge Engineering. IEEE, Capri (1992)"},{"key":"5_CR41","unstructured":"Reason, J.: Human Error. Cambridge University Press"},{"issue":"4","key":"5_CR42","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1145\/175276.175288","volume":"37","author":"M. Rettig","year":"1994","unstructured":"Rettig, M.: Prototyping for tiny fingers. Commun. ACM\u00a037(4), 21\u201327 (1994)","journal-title":"Commun. ACM"},{"key":"5_CR43","unstructured":"Royce, W.: Managing the Development of Large Software Systems. In: IEEE Wescon, pp. 1\u20139 (1970)"},{"key":"5_CR44","doi-asserted-by":"crossref","unstructured":"Salas, E., Cannon-Bower, J.: The Science of Training: A Decade of Progress. Ann. Review of Psychology, 471\u2013499 (2001)","DOI":"10.1146\/annurev.psych.52.1.471"},{"key":"5_CR45","doi-asserted-by":"crossref","unstructured":"Seffah, A., Donyaee, M., Kline, R.B., Padda, H.K.: Usability measurement and metrics: A consolidated model. Journal of Software Quality Control\u00a014(2) (June 2006)","DOI":"10.1007\/s11219-006-7600-8"},{"key":"5_CR46","unstructured":"Storey, N.: Safety-critical computer systems. Addison-Wesley (1996)"},{"key":"5_CR47","doi-asserted-by":"crossref","unstructured":"Schwaber, K.: Agile Project Management with Scrum. Microsoft Press (February 2004)","DOI":"10.1007\/11499053_47"},{"key":"5_CR48","first-page":"3897","volume-title":"CHI 2008 Extended Abstracts on Human Factors in Computing Systems (CHI EA 2008)","author":"D. Sy","year":"2008","unstructured":"Sy, D., Miller, L.: Optimizing Agile User-centred design. In: CHI 2008 Extended Abstracts on Human Factors in Computing Systems (CHI EA 2008), pp. 3897\u20133900. ACM, New York (2008)"}],"container-title":["Lecture Notes in Computer Science","Human-Centered Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-34347-6_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,9]],"date-time":"2025-04-09T06:23:02Z","timestamp":1744179782000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-34347-6_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642343469","9783642343476"],"references-count":48,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-34347-6_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012]]}}}