‹Programming› 2018
Mon 9 - Thu 12 April 2018 Nice, France
Tue 10 Apr 2018 16:55 - 17:20 at Matisse - PASS 2

Aspect-oriented programming makes possible to express changes in a modular way directly at the level of programming language constructs. This is particularly useful in situations that require explicit change manipulation, such as change reapplication to another version branch in application customization. However, it may be tricky to employ appropriate aspect-oriented constructs in a correct way that accommodates well the change to be implemented. This has been successfully addressed by an approach to aspect-oriented change realization based on a two-level change type model, which features a catalog of speci cation and implementation change types and their relationships, primarily targeting the web application domain. In this paper, we explore the applicability of the change types gathered in this catalog for the mobile application domain. For this, we performed a study that involved a set of hypothetical scenarios and two real mobile applications for Android. The study revealed that the change types known from the web application domain are in their essence applicable to the mobile application domain. It also lead to the discovery of four new specification change types in the mobile application domain and the corresponding speci cation–implementation change type relationships along with further relationships between known change types.

Tue 10 Apr

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

16:30 - 18:00
PASS 2PASS at Matisse
16:30
25m
Talk
Towards Safe Modular Composition of Network Functions
PASS
Matthias Eichholz , Guido Salvaneschi TU Darmstadt, Mira Mezini TU Darmstadt
16:55
25m
Talk
Applying Aspect-Oriented Change Realization in the Mobile Application Domain
PASS
Sandra Kostova Slovak University of Technology in Bratislava, Slovakia, Valentino Vranić Slovak University of Technology in Bratislava
17:20
25m
Talk
Detecting energy bugs and hotspots in control software using model checking
PASS
Pascal van Gastel Avans University of Applied Sciences, Bernard van Gastel Open University of the Netherlands, The Netherlands, Marko van Eekelen Open University of the Netherlands
17:45
15m
Day closing
Discussion & closing
PASS
Yu David Liu State University of New York (SUNY) Binghamton, Lukasz Ziarek SUNY Buffalo, USA, Christoph Bockisch Philipps-Universität Marburg, Hidehiko Masuhara Tokyo Institute of Technology