Abstract
In software development, coordination allows organizing the team by negotiating/assigning tasks to be performed by a certain order in order to meet the proposed objectives. Coordination is also responsible for managing conflicts associated with attitudes of competition, disorientation, problems of hierarchy and diffusion of responsibility. This work is based on the 4C model dimensions: Communication, Coordination, Cooperation and Collaboration. It is based on the analysis of the interactions between the multidisciplinary team members, that developed the educational resource Courseware Sere - "The Human Being and Natural Resources" concerning the "Coordination" dimension. The results achieved allowed us to detect limitations of Hybrid User Centered Development Methodology used for this courseware development as well as to implement tools to improve the coordination activities.

Abstract

Abstract
We present a formal verification approach for detecting design issues related to user interaction, with a focus on user interface of medical devices. The approach makes a novel use of configuration diagrams proposed by Rushby to formally verify important human factors properties of user interface implementation. In particular, it first translates the software implementation of user interface into an equivalent formal specification, from which a behavioral model is constructed using theorem proving; human factors properties are then verified against the behavioral model; lastly, a comprehensive set of test inputs are produced by exploring the behavioral model, which can be used to challenge the real interface implementation and to ensure that the issues detected in the behavior model do apply to the implementation. We have prototyped the approach based on the PVS proof system, and applied it to analyze the user interface of a real medical device. The analysis detected several interaction design issues in the device, which may potentially lead to severe consequences. © 2014 Springer-Verlag.

Abstract
Runtime Monitoring of hard real-time embedded systems is a promising technique for ensuring that a running system respects timing constraints, possibly combined with faults originated by the software and/or hardware. This is particularly important when we have real-time embedded systems made of several components that must combine different levels of criticality, and different levels of correctness requirements. This paper introduces a compositional monitoring framework coupled with guarantees that include time isolation and the response time of a monitor for a predicted violation. The kind of monitors that we propose are automatically generated by synthesizing logic formulas of a timed temporal logic, and their correctness is ensured by construction.

Abstract

Abstract
Multi-criteria decision analysis(MCDA) has been one of the fastest-growing areas of operations research during the last decades. The academic attention devoted to MCDA motivated the development of a great variety of approaches and methods within the field. These methods distinguish themselves in terms of procedures, theoretical assumptions and type of decision addressed. This diversity poses challenges to the process of selecting the most suited method for a specific real-world decision problem. In this paper we present a case study in a real-world decision problem arising in the painting sector of an automobile plant. We tackle the problem by resorting to the well-known AHP method and to the MCDA method proposed by Pereira and Fontes (2012) (MMASSI). By relying on two, rather than one, MCDA methods we expect to improve the confidence and robustness of the obtained results. The contributions of this paper are twofold: first, we intend to investigate the contrasts and similarities of the results obtained by distinct MCDA approaches (AHP and MMASSI); secondly, we expect to enrich the literature of the field with a real-world MCDA case study on a complex decision making problem since there is a paucity of applied research work addressing real decision problems faced by organizations.