Abstract
This paper introduces an axiomatisation for equational hybrid logic based on previous axiomatizations and natural deduction systems for propositional and first-order hybrid logic. Its soundness and completeness is discussed. This work is part of a broader research project on the development a general proof calculus for hybrid logics.

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 collaborate with other contributors and to contribute to a project can motivate and implicitly foster learning. In order to validate such statements, it is necessary to (1) study the interactions between FLOSS projects' participants, and (2) explore the didactical value of participating in FLOSS projects, designing an appropriate questionnaire asking FLOSS contributors about their experience in FLOSS projects. In this paper, we illustrate how this questionnaire was designed and disseminated. We conclude the paper with results from 27 FLOSS projects contributors, determining that, not only they contribute and collaborate to the project and its community, but also that FLOSS contributors see that this type of activity can be regarded as a complement to formal education.

Abstract

Abstract

Abstract

Abstract
Self-adaptive software systems are known to respond at run time to changes detected internally or in their environment, in an attempt to keep meeting their own functional requirements and agreed levels of service. Such response usually targets their architectures and involve, in particular, the possibility of their dynamic reconfiguration. In contexts where change is the rule rather than the exception, it is difficult to predict when exactly such reconfigurations are needed, and if they will lead the system into a suitable configuration. However, knowing the main attributes of the context, it is possible to plan configurations that will be more likely to perform well in some conjugation of values for such attributes. In this paper we discuss both a model that lays down reconfiguration strategies, planned at design time, and a strategy which actively uses such a model to trigger architectural adaptations at run time. This strategy builds on a framework intended to the formal verification of architectural requirements, either from a qualitative or quantitative (probabilistic) perspective.