2 search results - page 1 / 1 » Changing System Interfaces Consistently: A New Refinement St... |
IFM
2009
Springer
13 years 5 months ago
2009
Springer
This paper introduces action refinement in the context of CSP B. Our motivation to include this notion of refinement within the CSP B framework is the desire to increase flexibilit...
ICMI
2007
Springer
14 years 1 months ago
2007
Springer
In this paper, we describe an interface consisting of a virtual showroom where a team of two highly realistic 3D agents presents product items in an entertaining and attractive wa...