Abstract

This paper presents a set of tools supporting the development of interactive systems using two different notations. One of these notations, called ConcurTaskTrees (CTT), is used for task modelling. The other notation, called Interactive Cooperative Objects (ICO), is used for system [...]

Abstract

Computer technology for communication has become an integral aspect of daily operation. The exponential growth of internet services with dynamic inquiries in such areas as manufacturing, business, air traffic control and mission critical systems demands that there be quick, reliable [...]