Towards an integrated proposal for Interactive Systems design based on TLIM and ICO

The importance of applying formal methods in the design and development process of Interactive Systems is increasingly recognised. However it is still an open issue the identification of systematic methods able to support designers and developers in specifying and demonstrating properties of user interfaces. TLIM and ICO are two formal methods which have been used for this purpose with interesting results. They address similar concepts but also have different features which allow us to consider useful their integrated use to obtain synergistic and complementary results. In this paper we show their application to some examples in order to discuss similarities and differences and we outline a proposal for their integrated use.