Abstract. This paper presents an iterative technique to accurately reverseengineer models of the behaviour of software systems. A key novelty of the approach is the fact that it us...
Reverse engineering is an imperfect process driven by imperfect knowledge. Most current reverse engineering tools do not adequately consider these inherent characteristics. They f...
We report three experiments on manual detection of torque variations experienced through a rotary switch. The experiments were designed to investigate whether torque perception was...
Hong Z. Tan, Shuo Yang, Zygmunt Pizlo, Pietro Butt...
We present the modeling and validation experiments performed with the IFx validation toolset and with the UML profile developed within the IST Omega project, on a representative sp...