We propose a way to define and automate user and usability evaluation from within the integrated development environment (IDE). Specifically, for the automatic analysis of usability issues and functionality problems, we provide a framework for conducting evaluation experiments using TaMoGolog-based formal task models. ...

In current electronic environments, the ever-increasing amount of personal information, means that users focus more on managing their information rather than using it to accomplish their objectives. To overcome this problem, a user task-based interactive environment is needed to help users focus on tasks they wish to ...