Abstract
Use case driven development methodologies put use cases at the center of the software development process. However, in order to support automated development and analysis, use cases need to be appropriately formalized. This will also help guarantee consistency between requirements specifications and developed solutions. Formal methods tend to suffer from take up issues, as they are usually hard to accept by industry. In this context, it is relevant not only to produce languages and approaches to support formalization, but also to perform their validation. In previous works we have developed an approach to formalize use cases resorting to ontologies. In this paper we present the validation of one such approach. Through a three stage study, we evaluate the acceptance of the language and supporting tool. The first stage focusses on the acceptance of the process and language, the second on the support the tool provides to the process, and finally the third one on the tool's usability aspects. Results show test subjects found the approach feasible and useful and the tool easy to use.

Abstract
This paper proposes an interactive annotation technique for 360 degrees videos that allows the use of traditional video editing techniques to add content to immersive videos. Using the case study of immersive journalism the main objective is to diminish the entry barrier for annotating 360 degrees video pieces, by providing a different annotation paradigm and a set of tools for annotation. The spread of virtual reality systems and immersive content has been growing substantially due to technological progress and cost reductions in equipment and software. From all the technologies employed in virtual reality systems, 360 degrees video is one that currently presents unique conditions to be widely used by various industries -especially for communication purposes. From the various areas that can benefit from the usage of virtual reality systems, the communication field is one that requires innovation in the way that narratives are built, especially in virtual reality systems. In the case of immersive journalism, 360 degrees video technology is currently one of the most used mediums by several media outlets. This kind of news content, whose innovative role should be highlighted, is still being studied in the field of journalism, needing a clearly defined set of rules and good practises. In order to improve the introduction of virtual elements in the 360 degrees videos this paper proposes a set of annotation paradigms for 1) Media information display and 2) Narrative and attention focusing. In this paper we present a list of possible techniques that solve the problem of immersive annotation, as well as a description of a prototype that was developed to test these concepts. The prototype implements an annotation technique based on masked videos and the extension of standard subtitle file formats. Finally a fast-track user study was developed to evaluate the acceptance of the visualisation techniques and to refine the set of tools.

Abstract
Portuguese teacher placements' system is a centralized system managed by the Portuguese government, specifically by the Ministry of Education and Science. It is a system with some issues and, therefore, has been criticized by its stakeholders, mainly by teachers. This paper aims to do a systematic review and a meta-analysis of the Portuguese teacher placements' system. An objective is to understand and describe how similar system works in European Union countries. Another objective is to interview school specialists, in this particular case-teachers, to find solutions for teacher placements' system. Finally, from solutions from European Union countries and from solutions arising from schools' specialists, a set of requirements is identified that the teacher placements' system should take into account, in order to avoid the issues identified.

Abstract
We consider the problem faced by a wage-earner with an uncertain lifetime having to reach decisions concerning consumption and life-insurance purchase, while investing his savings in a financial market comprised of one risk-free security and an arbitrary number of risky securities whose prices are determined by diffusive linear stochastic differential equations. We assume that life-insurance is continuously available for the wage-earner to buy from a market composed of a fixed number of life insurance companies offering pairwise distinct life-insurance contracts. We characterize the optimal consumption, investment and life-insurance selection and purchase strategies for the wage-earner with an uncertain lifetime and whose goal is to maximize the expected utility obtained from his family consumption, from the size of the estate in the event of premature death, and from the size of the estate at the time of retirement. We use dynamic programming techniques to obtain an explicit solution in the case of discounted constant relative risk aversion (CRRA) utility functions.

Abstract

Abstract
Till nowadays, the Controller Area Network (CAN) has been a de facto standard for communication in automotive applications. To meet the requirements of new high-end vehicular systems, new communication protocols such as the FlexRay Communication System and the CAN with Flexible Data-rate (CAN-FD) has been developed. In the near future, it is expected the coexistence of those protocols in the same vehicle, with electronic control units (ECUs) connected to different network buses exchanging information through gateways. In this paper we investigate the following problem: "how to schedule the communication in a vehicular system, considering that a message is transmitted through a network that is composed of CAN-FD, FlexRay and CAN segments interconnected by gateways." We propose a method for the schedulability analysis of such systems, focusing on the case where a message is generated in a ECU connected to a CAN-FD segment is used by an ECU connected to a CAN bus.