Abstract
It can be argued that participating in free/libre open source software (FLOSS) projects can have a positive effect in the contributor's learning process. The need to interact with other contributors, to read other people's code, write documentation, or use different tools, can motivate and implicitly foster learning. In order to validate this statement we design an appropriate questionnaire asking FLOSS contributors about their experience in FLOSS projects. In this paper, we illustrate how this questionnaire was designed and what we expect to learn from the answers. We conclude the paper with a preview of the results from three cases studies. © Springer-Verlag Berlin Heidelberg 2014.

Abstract
Invariants are constraints on software components which restrict their behavior in some desirable way, but whose maintenance entails some kind of proof obligation discharge. Such constraints may act not only over the input and output domains, as in a purely functional setting, but also over the underlying state space, as in the case of reactive components. This talk introduces an approach for reasoning about invariants which is both compositional and calculational: compositional because it is based on rules which break the complexity of such proof obligations across the structures involved; calculational because such rules are derived thanks to an algebra of invariants encoded in the language of binary relations. A main tool of this approach is the pointfree transform of the predicate calculus, which opens the possibility of changing the underlying mathematical space so as to enable agile algebraic calculation. The development of a theory of invariant preservation requires a broad, but uniform view of computational processes embodied in software components able to take into account data persistence and continued interaction. Such is the plan for this talk: we first introduce such processes as arrows, and then invariants as their types. © 2012 Springer-Verlag.

Abstract

Abstract

Abstract
Modern societies face high demands for skilled professionals, able to successfully design, deploy and utilize complex Information Technology (IT) -enabled socio-technical systems at ever-increasing levels of reliability and security. Contrary to traditional education practices, the high-level training required to fulfill this demand should rely on the principle that the learners are themselves responsible for their learning process, that they have control over this process, and that the process aims at developing cross-disciplinary and problem-driven competences, not only at acquiring content knowledge. However, such training requires the presence of a highly interactive, problem-oriented environment for technology-supported learning (or e-learning). This poster presents a doctoral research project, which aims at designing, validating and monitoring a collaborative e-learning environment based on the principles of Free/Libre Open Source Software (FLOSS). In order to validate its outcomes, the project will rely on two real-life professional training programs: in Software Engineering for software managers and in e-Government for public managers. The poster presents the objectives, research methodology and expected results from this project. Copyright 2012 ACM.

Abstract
Software QoS properties, such as response time, availability, bandwidth requirement, memory usage, among many others, play a major role in the processes of selecting and composing software components. This paper extends a component calculus to deal, in an effective way, with them. The calculus models components as generalised Mealy machines, i. e., state-based entities interacting along their life time through well defined interfaces of observers and actions. QoS is introduced through an algebraic structure specifying the relevant QoS domain and how its values are composed under different disciplines. A major effect of introducing QoS-awareness is that a number of equivalences holding in the plain calculus become refinement laws. The paper also introduces a prototyper for the calculus developed as a 'proof-of-concept' implementation. © 2012 Springer Basel.