Interaction programming bridges the gap between interaction design and programming, but it has not yet been related directly to mainstream 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. Keywords Discovery tools; interaction programming; model checking. ACM Classification Keywords H.5.2 User interfaces: Theory and methods.
Harold W. Thimbleby