VNU-UET Repository

A New Method to Analyze Graphical User Interfaces of Android Applications

Hong Anh Le and Ninh Thuan Truong (2016) A New Method to Analyze Graphical User Interfaces of Android Applications. In: 5th EAI International Conference on Context-Aware Systems and Applications (ICCASA), 24-25 November 2016, Viet Nam.

Full text not available from this repository.


In recent years, the number of Android smartphones increase dramatically and new applications are added numerously in Google store. Android developers usually have to deal with the difficulties such as limited capacity battery, screen design, and limited resources. Among them, specifying graphical user interfaces (GUI) of an application is one of the most important issues. This paper presents a new method to analyze GUI specifications of an Android application. We employ Event-B formal method and its refinement mechanism to formalize the specifications and to check if the constraints are satisfied. A running example of a Note application is given to illustrate the proposed method in detail.

Item Type:Conference or Workshop Item (Paper)
Subjects:Information Technology (IT)
Divisions:Faculty of Information Technology (FIT)
ID Code:1901
Deposited By: Prof. Ninh Thuan Truong
Deposited On:24 Nov 2016 09:00
Last Modified:10 Jun 2017 11:36

Repository Staff Only: item control page