ABSTRACT
No abstract available.
- 1.Allen,. J.F. Maintaning knowledge about temporal interval. Communications of the ACM. 26, 11 (November 1983), 832-843. Google ScholarDigital Library
- 2.Boeing. FAA Certifies Boeing FANS-1 Navigation System. The Boeing Company, World Wide Web Document "http://www.boeing.com/news.release.950620.html" , June, 20 1995.Google Scholar
- 3.Boy, G. Intelligent assistant systems. Academic Press. 1991.Google Scholar
- 4.Hartson, R.H. and Gray, P.D. Temporal aspects of tasks in the User Action Notation in Human Computer Interaction. Lawrence Erlbaum Associates, 1992. Vol. 7, pp. 1-45.Google Scholar
- 5.Jambon, F. Interruptions et formalismes de scripts de taches, in Proc. Septiemes journees sur l'ingenierie de l'Interaction Homme-Machine (IHM'95) (Toulouse, France, 11-13 Octobre, 1995), Cepadues-Editions, pp. 161-168.Google Scholar
- 6.Jambon, F. and Coutaz, J. Controle aerien et liaisons de donnees : Vers un plus grand pallage de l'information, in Proc. Cinquiemes journees sur l'ingenierie des Interfaces Homme-Machine (IHM'93) (Lyon, France, Oetobre, 1993), Reprographie Ecole Centrale de Lyon, pp. 109-114.Google Scholar
- 7.O'Conaill, B. and Frohlich, D. Timespace in the workplace: Dealing with interruptions, in Proc. Human factors in computing systems (CHI'95) (Denver (Colorado), USA, May 7-11, 1995), ACM Press, Conference companion, pp. 262-263. Google ScholarDigital Library
- 8.Scapin, D.L. and Pierret-Golbreich, C. Towards a method for task description : MAD in Work with display units 89. Elsevier Science Public, North-Holland, 1990.Google Scholar
Index Terms
- Formal modelling of task interruptions
Recommendations
Formal modelling for ada implementations: tasking event-b
Ada-Europe'12: Proceedings of the 17th Ada-Europe international conference on Reliable Software TechnologiesThis paper describes a formal modelling approach, where Ada code is automatically generated from the modelling artefacts. We introduce an implementation-level specification, Tasking Event-B, which is an extension to Event-B. Event-B is a formal method, ...
Object coloured Petri nets - a formal technique for object oriented modelling
Concurrent object-oriented programming and petri netsObject Coloured Petri Nets (OCP-Nets) are an extension of Coloured Petri Nets (CPN). OCP-Nets are well suited to model the dynamic aspects of a system. They supersede most techniques currently used in object oriented modelling such as Interaction ...
Task Modelling in Multiple Contexts of Use
DSV-IS '02: Proceedings of the 9th International Workshop on Interactive Systems. Design, Specification, and VerificationThe context of use in which users are carrying out their interactive tasks is continuously submitted to an evolution in the user population, the computing platforms used for the tasks, and the physical environment in which users are living. This ...
Comments