TLIM: A Systematic Method for the Design of Interactive Systems
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.
KeywordsModel Check Formal Method Software Architecture Task Model Label Transition System
Unable to display preview. Download preview PDF.