Abstract
Current mobile devices allow the execution of sophisticated applications with the capacity for identifying the user situation, which can be helpful in treatments of mental disorders. In this paper, we present SituMan, a solution that provides situation awareness to MoodBuster, an ecological momentary assessment and intervention mobile application used to request self-assessments from patients in depression treatments. SituMan has a fuzzy inference engine to identify patient situations using context data gathered from the sensors embedded in mobile devices. Situations are specified jointly by the patient and mental health professional, and they can represent the patient's daily routine (e.g., "studying", "at work", "working out"). MoodBuster requests mental status self-assessments from patients at adequate moments using situation awareness. In addition, SituMan saves and displays patient situations in a summary, delivering them for consultation by mental health professionals. A first experimental evaluation was performed to assess the user satisfaction with the approaches to define and identify situations. This experiment showed that SituMan was well evaluated in both criteria. A second experiment was performed to assess the accuracy of the fuzzy engine to infer situations. Results from the second experiment showed that the fuzzy inference engine has a good accuracy to identify situations.

Abstract
Manufacturing applications address business to business (B2B) with highly customised applications developed for specific requirements, offering highly specialised solution-oriented and service-based software components, systems, and digital tools that aim at a fast and accurate decision-making support system. The purpose of this paper is to describe the implementation of digital technologies for operations management using manufacturing or engineering apps (eApps), for product design and manufacturing processes. In particular, starting from the specific needs of two companies from mature European industries as automotive and food, this work depicts how this kind of solutions can support companies and improve their operations. In particular, related benefits and challenges faced for the full implementation of the developed tools are highlighted. Moreover a business model to exploit the manufacturing apps is also proposed. The business model proposed for the exploitation of the eApps supports the commercialisation of all the revenue streams offered by this rapidly growing sector taking into account the specific needs of the concerned stakeholders through a diversified value proposition.

Abstract
The reactive paradigm recently became very popular in user-interface development: updates - such as the ones from the mouse, keyboard, or from the network - can trigger a chain of computations organised in a dependency graph, letting the underlying engine control the scheduling of these computations. In the context of the Internet of Things (IoT), typical applications deploy components in distributed nodes and link their interfaces, employing a publish-subscribe architecture. The paradigm for Distributed Reactive Programming marries these two concepts, treating each distributed component as a reactive computation. However, existing approaches either require expensive synchronisation mechanisms or they do not support pipelining, i.e., allowingmultiple "waves" of updates to be executed in parallel. We propose Quarp (Quality-Aware Reactive Programming), a scalable and light-weight mechanism aimed at the IoT to orchestrate components triggered by updates of data-producing components or of aggregating components. This mechanism appends meta-information tomessages between components capturing the context of the data, used to dynamically monitor and guarantee useful properties of the dynamic applications. These include the so-called glitch freedom, time synchronisation, and geographical proximity. We formalise Quarp using a simple operational semantics, provide concrete examples of useful instances of contexts, and situate our approach in the realm of distributed reactive programming.

Abstract
This paper describes an energy management system that is being developed in the AnyPLACE project to support new energy services, like demand response, in residential buildings. In the project end-user interfaces are designed and implemented to allow the input of preferences regarding the flexible use of shiftable and thermal appliances. Monitoring and self-learning algorithm are used to allow additional information to be collected and an automation platform is available for the management and control of appliances. An energy management algorithm is presented that processes end-user preferences and devices characteristics to produce an optimal dispatch considering demand response incentives. Results show the successful implementation of an optimized energy scheduling.

Abstract
Usability is a critical aspect of software systems because poor user experience can lead users to choose other software. One way to improve usability is through testing. But, usability testing is a challenge because, most of the times, it can not be accomplished without the presence of real users, which is complex and requires a lot of effort. However, there are some aspects and usability guidelines that can be tested automatically. This paper presents a test approach that defines generic test strategies (test patterns) to test usability guidelines (or best practices). It is an extension to previous work on testing functional aspects of web applications through the GUI (PBGT - Pattern Based GUI Testing). The main goal of this work is to be the first step in extending PBGT's PARADIGM language with usability testing patterns, so that it is possible to build test models from which usability tests can be generated and automatically executed over a website. This paper presents a new usability test pattern, called 'Reachability Test Pattern', which is validated in a case study performed over an academic software system available on the web.

Abstract
By rethinking how digital information and media have evolved, we intend to discuss how Information Visualization is performing an essential role in the field of newspapers, and how it can evolve with particular emphasis on content archiving for future access. The presence of new visual structures used in fields such as digital archiving, have questioned digital methods of preservation and how the interrelation between information and access to knowledge is revealed. In digital newspapers, the development of access and information retrieval processes has become an essential part of their duties, but it is still in it’s infancy and dependent on text search rather then content awareness. By outlining the links between Visual Archives and Information Visualization, with focus on online press, we venture in a path of trial and error. This is present by the recognition of lack of efficient articulation between different types of contents, as well as between the user interaction and the contents outcomes. Thus proposing a visual lexicon that can adjust to the constraints of technology, different user devices, and the promptitude of publication that a Web context demands it is utmost relevant. A combination of fields, with attention to visual perception and arbitrary conventions in relation to image and content awareness, grants the association of concepts such as big data and thick data description, being part of the outcomes of this research a proposal to a theoretical model grounded on prototyping testing in a newsroom office.      This empirical methodological approach is supported by a low-fidelity prototype, for iterative formative evaluations, fostering field’s observations with potential users in order to identify the best visual components of a digital visual archive for online newspapers. The challenge is to develop visual structures that preserve and present the interconnections of news, information and knowledge to be seen, accessed and linked. By making use of a lo-fi prototype of a visual digital archive we aimed, to test, re-test, and find responses in dialogue, failure and retrial. The body of work shown here presents the practical outcomes of the theoretical model.