TLIM: A Systematic Method for the Design of Interactive Systems

  • Philippe Palanque
  • Fabio Paternò
Part of the Formal Approaches to Computing and Information Technology (FACIT) book series (FACIT)


The TLIM method is the result of some years of research in the area of model-based user interface design, development and evaluation with formal support which has been developed at the User-Centred Design Group of CNUCE.


Model Check Formal Method Software Architecture Task Model Label Transition System 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag London Limited 1998

Authors and Affiliations

  • Philippe Palanque
    • 1
  • Fabio Paternò
    • 2
  1. 1.LIS-FROGISUniversity of ToulouseToulouse CedexFrance
  2. 2.CNUCE-CNRPisaItaly

Personalised recommendations