3 search results - page 1 / 1 » dsvis 1995 |
DSVIS
1995
Springer
13 years 8 months ago
1995
Springer
Abstract. This paper describes a design technique for interactive systems that allows designs to be specified and refined formally, using a notation based on Action Systems. The ...
DSVIS
1995
Springer
13 years 8 months ago
1995
Springer
This paper introduces a formal model for the description of interactive systems based on the interactor model of [15, 17]. Similarly to that model, it is intended to be used constr...
DSVIS
1995
Springer
13 years 8 months ago
1995
Springer
Any action is performed in a particular context. So what does it mean to do the ‘same’ thing in a different context? There is no simple answer to this question , it depends on ...