Abstract

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
This paper characterizes refinement of state-based software components modelled as pointed coalgebras for some Set endofunctors. The proposed characterization is parametric on a specification of the underlying behaviour model introduced as a strong monad. This provides a basis to reason about (and transform) state-based software designs.

Abstract
The complexity of interactions governing the coordination of loosely-coupled services, which forms the core of current software, brought behavioural issues up to the front of architectural concerns. This paper takes such a challenge seriously by lifting typical behaviour modelling techniques to the specification of both types and instances of architectural patterns in which the later ones are connected by ports that behave according to a water flow metaphor. A specific language is introduced for this purpose as well as a translator to mCRL2 so that the simulation and analysis techniques available in the corresponding toolset can be used to reason about (the behavioural layer of) software architectures. The approach is illustrated in a few examples. Copyright 2011 ACM.