{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,13]],"date-time":"2026-02-13T18:40:36Z","timestamp":1771008036482,"version":"3.50.1"},"reference-count":23,"publisher":"Oxford University Press (OUP)","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Interacting with Computers"],"published-print":{"date-parts":[[2003,6]]},"DOI":"10.1016\/s0953-5438(03)00011-0","type":"journal-article","created":{"date-parts":[[2003,6,2]],"date-time":"2003-06-02T23:16:03Z","timestamp":1054595763000},"page":"309-328","source":"Crossref","is-referenced-by-count":30,"title":["A tool-supported design framework for safety critical interactive systems"],"prefix":"10.1093","volume":"15","author":[{"given":"R\u00e9mi","family":"Bastide","sequence":"first","affiliation":[]},{"given":"David","family":"Navarre","sequence":"additional","affiliation":[]},{"given":"Philippe","family":"Palanque","sequence":"additional","affiliation":[]}],"member":"286","reference":[{"key":"10.1016\/S0953-5438(03)00011-0_BIB1","first-page":"285","article-title":"Implementation techniques for petri net based specifications of human computer dialogues","volume":"1996","author":"Bastide","year":"1996"},{"key":"10.1016\/S0953-5438(03)00011-0_BIB2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"474","DOI":"10.1007\/3-540-48743-3_22","article-title":"Formal specification and prototyping of CORBA systems","volume":"vol. 1628","author":"Bastide","year":"1999"},{"key":"10.1016\/S0953-5438(03)00011-0_BIB3","series-title":"Proceedings of ACM Conference on Human Factors in Computing Systems CHI\u20192000","author":"Beaudouin-Lafon","year":"2000"},{"issue":"5","key":"10.1016\/S0953-5438(03)00011-0_BIB4","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1109\/2.59","article-title":"A spiral model of software development and enhancement","volume":"21","author":"Boehm","year":"1988","journal-title":"IEEE Computer"},{"issue":"2","key":"10.1016\/S0953-5438(03)00011-0_BIB5","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1145\/253671.253708","article-title":"Post-WIMP user interfaces","volume":"40","author":"van Dam","year":"1997","journal-title":"Communications of the ACM"},{"key":"10.1016\/S0953-5438(03)00011-0_BIB6","series-title":"Proceedings of IFIP 2.8 Conference on Management of Visual Data","article-title":"Visual construction of highly interactive applications","author":"Esteban","year":"1995"},{"key":"10.1016\/S0953-5438(03)00011-0_BIB7","series-title":"Design Principles for Interactive Software","year":"1996"},{"key":"10.1016\/S0953-5438(03)00011-0_BIB8","series-title":"Developing User Interfaces: Ensuring Usability Through Product and Process","author":"Hix","year":"1993"},{"key":"10.1016\/S0953-5438(03)00011-0_BIB9","first-page":"43","article-title":"Model-based design of user interfaces using object-Z","volume":"1999","author":"Hussey","year":"1999"},{"key":"10.1016\/S0953-5438(03)00011-0_BIB10","series-title":"Common User Access Guidelines, Object-Oriented Interface Design. Document SC34-4399","year":"1993"},{"issue":"1","key":"10.1016\/S0953-5438(03)00011-0_BIB11","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/310641.310642","article-title":"A software model and specification language for non-WIMP user interfaces","volume":"6","author":"Jacob","year":"1999","journal-title":"ACM Transactions on Computer\u2013Human Interaction"},{"key":"10.1016\/S0953-5438(03)00011-0_BIB12","first-page":"55","article-title":"A method engineering framework for modelling and generating interactive applications","volume":"1999","author":"M\u00e4rtin","year":"1999"},{"key":"10.1016\/S0953-5438(03)00011-0_BIB13","series-title":"Life Cycle Support in the ADA Environment","author":"Mc Dermid","year":"1984"},{"key":"10.1016\/S0953-5438(03)00011-0_BIB14","series-title":"Proceedings of seventh Eurographics Workshop on Design, Specification and Verification of Interactive Systems DSV-IS\u20192000 (Limerick, 5\u20136 June 2000). Lecture Notes in Computer Science","volume":"vol. 1946","author":"Navarre","year":"2000"},{"key":"10.1016\/S0953-5438(03)00011-0_BIB15","unstructured":"Object Management Group., 1998. The Common Object Request Broker: Architecture and Specification. CORBA IIOP 2.2\/98-02-01. Framingham."},{"key":"10.1016\/S0953-5438(03)00011-0_BIB16","series-title":"UML Notation Guide","year":"1997"},{"issue":"4","key":"10.1016\/S0953-5438(03)00011-0_BIB17","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1145\/175276.175288","article-title":"Prototyping for tiny fingers","volume":"37","author":"Rettig","year":"1994","journal-title":"Communications of the ACM"},{"key":"10.1016\/S0953-5438(03)00011-0_BIB18","first-page":"27","article-title":"Direct manipulation: a step beyond programming languages","author":"Shneiderman","year":"1983","journal-title":"IEEE Computer"},{"key":"10.1016\/S0953-5438(03)00011-0_BIB19","series-title":"Proceedings of 20th International Conference on Applications and Theory of Petri Nets ICATPN\u201999 (Williamsburg, 1999)","author":"Sy","year":"1999"},{"key":"10.1016\/S0953-5438(03)00011-0_BIB20","series-title":"Proceedings of the ACM Conference on Human Factors in Computing Systems InterCHI\u201993 (Amsterdam, 24\u201329 April 1993","first-page":"383","article-title":"Beyond interface builders: model-based interface tools","author":"Szekely","year":"1993"},{"key":"10.1016\/S0953-5438(03)00011-0_BIB21","first-page":"76","article-title":"Towards a very large model-based approach for user interface development","volume":"1999","author":"Vanderdonckt","year":"1999"},{"key":"10.1016\/S0953-5438(03)00011-0_BIB22","series-title":"Proceedings of the ACM Conference on Human Factors in Computing Systems InterCHI\u201993 (Amsterdam, 24\u201329 April 1993)","first-page":"424","article-title":"Encapsulating knowledge for intelligent automatic interaction objects selection","author":"Vanderdonckt","year":"1993"},{"key":"10.1016\/S0953-5438(03)00011-0_BIB23","series-title":"Beyond hacking: A Model Based Approach to User Interface Design. HCI\u201993","author":"Wilson","year":"1993"}],"container-title":["Interacting with Computers"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/iwc\/article-pdf\/15\/3\/309\/7800264\/iwc15-0309.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,8,23]],"date-time":"2017-08-23T11:35:39Z","timestamp":1503488139000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/iwc\/article-lookup\/doi\/10.1016\/S0953-5438(03)00011-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,6]]},"references-count":23,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2003,6]]}},"alternative-id":["S0953543803000110"],"URL":"https:\/\/doi.org\/10.1016\/s0953-5438(03)00011-0","relation":{},"ISSN":["0953-5438"],"issn-type":[{"value":"0953-5438","type":"print"}],"subject":[],"published":{"date-parts":[[2003,6]]}}}