Internet of Things (IoT) describes a world where everyday objects are always connected to the Internet, allowing them to communicate and interact with each other. By connecting these everyday objects to the Internet and making them available everywhere at any time, IoT allows to remotely monitor, manage, and gather status information about them and their surrounding environment. IoT is a revolutionary concept that brought new experiences to everyday life and enabled Smart City initiatives all over the world. These initiatives are using a combination of technology paired with physical infrastructure and services, to improve people's quality of life. One of the high-priority domain to support the Smart City's vision is the field of Smart Mobility. This paper reviews the current IoT approaches and concepts related to Smart Cities and Smart Mobility. In addition, it analyzes distinct features and numerous applications covering both Intelligent Transportation and Real Time Traffic Management Systems.

The widespread use of multi-touch devices and the large amount of research that has been carried out around them has made this technology mature in a very short amount of time. This makes it possible to consider multi-touch interactions in the context of safety critical systems. Indeed, beyond this technical aspect, multi-touch interactions present significant benefits such as input-output integration, reduction of physical space, sophisticated multi-modal interaction? However, interactive cockpits belonging to the class of safety critical systems, development processes and methods used in the mass market industry are not suitable as they usually focus on usability and user experience factors upstaging dependability. This paper presents a tool-supported model-based approach suitable for the development of interactive systems featuring multi-touch interactions techniques. We demonstrate the possibility to describe touch interaction techniques in a complete and unambiguous way and that the formal description technique is amenable to verification. The capabilities of the notation is demonstrated over two different interaction techniques (namely Pitch and Tap and Hold) together with a software architecture explaining how these interaction techniques can be embedded in an interactive application

Graphical user interfaces (GUIs) are critical components of today's software. Developers are dedicating a larger portion of code to implementing them. Given their increased importance, correctness of GUIs code is becoming essential. This paper describes the latest results in the development of GUISurfer, a tool to reverse engineer the GUI layer of interactive computing systems. The ultimate goal of the tool is to enable analysis of interactive system from source code

Humans perceive haptic sensations when manipulating physical objects. Research on haptic devices aims to enable haptic perception, mainly when people interact with virtual or remote environments. One of the significant challenges for a better immersive experience in such environments is the absence of haptic feedback and naturalness, for example, when considering mid-air gesture interactions, where users are not holding a physical device or controller in their hands. Like haptic devices, pseudo-haptic techniques aim to simulate haptic sensations in human–computer interaction between real and virtual worlds. Pseudo-haptics forgo haptic device actuators by exploring multimodal feedback, mainly the visual, and the brain’s capabilities and limitations in human visual-haptic integration. Motivating many studies, pseudo-haptic techniques offer cost advantages with better mobility, portability, and flexibility, without needing a haptic device to be attached or applied to the body, alongside hardware weight, seize, power consumption, and maintenance constraints. Literature continues to be published in this area, simulating a wider variety of techniques and new application areas. In recent years mainly focused on extended reality and mid-air interactions. This ongoing increase in scholarly interest motivated this survey, which proposes a taxonomy that includes pseudo-haptics tactile feedback, kinesthetic feedback, and composite categories. The authors further explore the multimodal approaches and the survey findings identify areas for future research work, notably combining multimodal techniques, for more immersive extended reality and collaborative virtual environments.

Analytic usability analysis methods have been proposed as an alternative to user testing in early phases of development due to the cost of the latter approach. By working with models of the systems, analytic models are not capable of identifying implementation related problems that might have an impact on usability. Model-based testing enables the testing of an implemented software artefact against a model of what it should be (the oracle). In the case of model-based user interface testing, the models should be expressed at an adequate level of abstraction, adequately modelling the interaction process. This paper describes an effort to develop tool support enabling the use of task models as oracles for model- based testing of user interfaces.

This paper presents a catalog of smells in the context of interactive applications. These so-called usability smells are indicators of poor design on an application's user interface, with the potential to hinder not only its usability but also its maintenance and evolution. To eliminate such usability smells we discuss a set of program/usability refactorings. In order to validate the presented usability smells catalog, and the associated refactorings, we present a preliminary empirical study with software developers in the context of a real open source hospital management application. Moreover, a tool that computes graphical user interface behavior models, giving the applications' source code, is used to automatically detect usability smells at the model level.