Abstract
Formal modelling provides valuable intellectual tools which can be applied to the problem of analysis and optimisation of systems. In this paper we present a novel software tool which provides a graphical approach to modelling of Collective Adaptive Systems (CAS) with constrained [...]Abstract
Walkability Explorer is a software tool for the evaluation of urban walkability which, we argue, is an important aspect of the quality of life in cities. Many conventional approaches to the assessment of quality of life measure the distribution, density and distances of different [...]Abstract
This paper presents the current status of VU-Flow (Visualization of Users Flow), a software tool that is able to automatically record usage data in Virtual Environments and provide a set of 2D and 3D visualizations that make it easy for an evaluator to visually detect peculiar users [...]Abstract
This study compared situation awareness across three flight deck decision aiding modes. Pilots resolved air traffic conflicts using a click and drag software tool. In the automated aiding condition, pilots executed all resolutions generated by the automation. In the interactive condition, [...]