eprintid: 1901
rev_number: 8
eprint_status: archive
userid: 252
dir: disk0/00/00/19/01
datestamp: 2016-11-24 09:00:04
lastmod: 2017-06-10 11:36:30
status_changed: 2016-11-24 09:00:04
type: conference_item
metadata_visibility: show
creators_name: Le, Hong Anh
creators_name: Truong, Ninh Thuan
creators_id: lehonganh@humg.edu.vn
creators_id: thuantn@vnu.edu.vn
title: A New Method to Analyze Graphical User Interfaces of Android Applications
ispublished: pub
subjects: IT
divisions: fac_fit
abstract: 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.
date: 2016
date_type: published
full_text_status: none
pres_type: paper
event_title: 5th EAI International Conference on Context-Aware Systems and Applications (ICCASA)
event_location: Viet Nam
event_dates: 24-25 November 2016
event_type: conference
refereed: TRUE
funders: Nafosted
projects: 102.03-2014.40
citation:   Le, Hong Anh and Truong, Ninh Thuan  (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.