Sciweavers

DSVIS
1995
Springer
14 years 3 months ago
Exploring Design Options Rationally
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 ...
Chris Bramwell, Bob Fields, Michael D. Harrison