A tool-supported design framework for safety critical interactive systems

Interacting with Computers

Volumn 15, Issue 3 SPEC., 2003, Pages 309-328

  Bastide, Rémi ^a   Navarre, David ^a   Palanque, Philippe ^a  

^a IRIT   (France)

Author keywords

Interactive cooperative object; Interface; PetShop

Indexed keywords

ACCIDENT PREVENTION; COMPUTER AIDED SOFTWARE ENGINEERING; MATHEMATICAL MODELS;

INTERACTIVE COOPERATIVE OBJECT (ICO);

INTERFACES (COMPUTER);

EID: 0037702784     PISSN: 09535438     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0953-5438(03)00011-0     Document Type: Article

References (23)

1. Bastide R., Palanque P. Implementation techniques for petri net based specifications of human computer dialogues. Vanderdonckt J. Proceedings of the Second Workshop on Computer-Aided Design of User Interfaces CADUI'96 (Namur, 5-7 June 1996). 1996:1996;285-302 Presses Universitaires de Namur, Namur.
2. Bastide R., Sy O., Palanque P. Formal specification and prototyping of CORBA systems. Guerraoui R., Proceedings of 13th European Conference on Object-Oriented Programming ECOOP'99 (Lisbon,1999), Lecture Notes in Computer Science. vol. 1628:1999;474-494 Springer, Berlin.
3. Beaudouin-Lafon M., Instrumental interaction: an interaction model for designing post-WIMP user interfaces, Proceedings of ACM Conference on Human Factors in Computing Systems CHI'2000. Proceedings of ACM Conference on Human Factors in Computing Systems CHI'2000. 2000;ACM Press, New York.
4. Boehm B.W. A spiral model of software development and enhancement. IEEE Computer. 21:(5):1988;61-72.
5. van Dam A. Post-WIMP user interfaces. Communications of the ACM. 40:(2):1997;63-67.
6. Esteban O., Chatty S., Palanque P. Visual construction of highly interactive applications. Proceedings of IFIP 2.8 Conference on Management of Visual Data. 1995;Chapman and Hall, London.
7. Gram C., Cockton G. Design Principles for Interactive Software. 1996;Chapman and Hall, London.
8. Hix D., Hartson R. Developing User Interfaces: Ensuring Usability Through Product and Process. 1993;Wiley, New York.
9. Hussey A., Carrington D. Model-based design of user interfaces using object-Z. Vanderdonckt J., Puerta A. Proceedings of third International Conference on Computer-Aided Design of User Interfaces CADUI'99 (Louvain-la-Neuve, 21-23 October 1999). 1999:1999;43-53 Kluwer Academics Publishers, Dordrecht.
10. Common User Access Guidelines, Object-Oriented Interface Design. Document SC34-4399. 1993;IBM Corporation.
11. Jacob R.J.K. A software model and specification language for non-WIMP user interfaces. ACM Transactions on Computer-Human Interaction. 6:(1):1999;1-46.
12. Märtin C. A method engineering framework for modelling and generating interactive applications. Vanderdonckt J., Puerta A. Proceedings of third International Conference on Computer-Aided Design of User Interfaces CADUI'99 (Louvain-la-Neuve, 21-23 October 1999). 1999:1999;55-60 Kluwer Academics Publishers, Dordrecht.
13. Mc Dermid J., Ripkin K. Life Cycle Support in the ADA Environment. 1984;Cambridge University Press, Cambridge.
14. Navarre D., Palanque P., Bastide R., Sy O., Structuring interactive systems specifications for executability and prototypability, Proceedings of seventh Eurographics Workshop on Design, Specification and Verification of Interactive Systems DSV-IS'2000 (Limerick, 5-6 June 2000). Lecture Notes in Computer Science. vol. 1946:2000;Springer, Berlin. pp. 99-120.
15. Object Management Group., 1998. The Common Object Request Broker: Architecture and Specification. CORBA IIOP 2.2/98-02-01. Framingham.
16. Rational Software Corporation, UML Notation Guide. 1.1 ed. 1997.
17. Rettig M. Prototyping for tiny fingers. Communications of the ACM. 37:(4):1994;21-27.
18. Shneiderman B. Direct manipulation: a step beyond programming languages. IEEE Computer. 1983;27-69.
19. Sy O., Bastide R., Palanque P., Le D.-H., Navarre D., PetShop: a Case tool for the petri net based specification and prototyping of CORBA systems, Proceedings of 20th International Conference on Applications and Theory of Petri Nets ICATPN'99 (Williamsburg, 1999). 1999.
20. Szekely P., Luo O., Netches R. Beyond interface builders: model-based interface tools. Ashlund S., Mullet K., Henderson A., Hollnagel E., White T. Proceedings of the ACM Conference on Human Factors in Computing Systems InterCHI'93 (Amsterdam, 24-29 April 1993. 1993;383-390 ACM Press, New York.
21. Vanderdonckt J., Berquin P. Towards a very large model-based approach for user interface development. Paton N.W., Griffiths T. Proceedings of first International Workshop on User Interfaces to Data Intensive Systems UIDIS'99 (Edinburgh, 5-6 September 1999). 1999:1999;76-85 IEEE Computer Society Press, Los Alamitos.
22. Vanderdonckt J., Bodart F. Encapsulating knowledge for intelligent automatic interaction objects selection. Ashlund S., Mullet K., Henderson A., Hollnagel E., White T. Proceedings of the ACM Conference on Human Factors in Computing Systems InterCHI'93 (Amsterdam, 24-29 April 1993). 1993;424-429 ACM Press, New York.
23. Wilson S., Johnson P., Kelly C., Cunningham J., Markopoulos P. Beyond hacking: A Model Based Approach to User Interface Design. HCI'93. 1993;Cambridge University Press, Loughborough, UK.