Contributing to safety and due diligence in safety-critical interactive systems development by generating and analyzing finite state models
Harold Thimbleby · 2009
Interaction programming bridges the gap between interaction design and programming, but it has not yet been related directly to mainstream user interface development practice. This paper presents UI model discovery tools to enable existing systems and traditional development processes to benefit from interaction programming tools and methods; in particular, to enable checking of safety-critical interaction properties, and to contribute to due diligence practices in safety-critical interactive systems design.