Harnessing the Power of Interaction.
Reino Kurki-Suonio, Tommi Mikkonen · 1998
Inspired by Peter Wegner's analysis of the paradigm shift from algorithms to interaction and of his conclusion that "proving correctness of interactive systems is not merely difficult but impossible," we outline some consequences that we see inevitable for the specification and design of interactive systems. The technical feasibility of the proposed solutions has been justified by theoretical results and practical experimentation. Although many of the claims have been widely accepted in academic research, and none of them is new, their practical significance has not yet been generally recognized in software engineering. In particular, most proponents of object-oriented specification and design seem to be unaware of them.