Abstract
Modeling and building software systems for a given specific domain is a complex task. Domain-Specific Languages (DSLs) have been increasingly gaining attention because they are developed to cope with particularities of specific domains. However, DSL development consists in a set of tasks to be performed and some can be error-prone. Identifying the correct set of elements within a DSL and their constraints can be very demanding. Alloy is a popular lightweight intuitive formal language with a simple notation that is easy to read and write. When models of a DSL are specified using Alloy, it becomes possible to generate instances that should represent valid models. So, this paper presents a generic innovative methodology using Alloy in DSL engineering, in order to find and tune language constraints in a systematic way. It also presents an empirical study illustrating the applicability of the proposed methodology.

Abstract

Abstract
This paper presents an educational game (iLearnTest) to teach software testing. The body of knowledge covered by the game corresponds to the ISTQB certification foundation level. The game was validated in an experiment with college students where it was intended to assess whether the results of an examination by the students who used the game in learning were better than those obtained by students who have not used it. The results show that the iLearnTest may be a good complement to traditional teaching.

Abstract
Prior studies have shown that terminology support can improve health information retrieval but have not taken into account the characteristics of the user performing the search. In this chapter, the impact of translating queries' terms between lay and medico-scientific terminology, in users with different levels of health literacy and topic familiarity, is evaluated. Findings demonstrate that medico-scientific queries demand more from the users and are mostly aimed at health professionals. In addition, these queries retrieve documents that are less readable and less well understood by users. Despite this, medico-scientific queries are associated with higher precision in the top-10 retrieved documents results and tend slightly to generate knowledge with less incorrect contents, the researchers concluded that search engines should provide query suggestions with medico-scientific terminology, whenever the user is able to digest it, that is, in users above the lowest levels of health literacy and topic familiarity. On the other hand, retrieval systems should provide lay alternative queries in users with inadequate health literacy or in those unfamiliar with a topic. In fact, the quantity of incorrect contents in the knowledge that emerges from a medico-scientific session tends to decrease with topic familiarity and health literacy. In terms of topic familiarity, the opposite happens with Graded Average Precision. Moreover, users most familiar with a topic tend to have higher motivational relevance with medico-scientific queries than with lay queries. This work is the first to consider user context features while studying the impact of a query processing technique in several aspects of the retrieval process, including the medical accuracy of the acquired knowledge. © 2015 by Emerald Group Publishing Limited.

Abstract
MOOCs are a recent phenomenon, although given their impact, they have been subject to a large debate. Several questions have been raised by researchers and educators alike regarding their sustainability, both economically and as an efficient mode of education provision. In this paper we contribute to this discussion by presenting a case study of the MOOC on Lived Experiences of Climate Change, which piloted the iMOOC pedagogical model developed at Universidade Aberta (UAb), the Portugese Distance Learning University. The iMOOC is a hybrid model which incorporates elements from existing MOOCs but adds other features drawn from UAb's experience with online learning and aims at better integrating in the larger context of the institutional pedagogical culture. The iMOOC implied also an integration of platforms - Moodle and Elgg. The pilot course had more than one thousand registrations, and it was the largest MOOC course on Portuguese language delivered so far. We discuss the effort required to design and deliver the course, the technological solution developed, and the results obtained. We registered a moderate effort to create and run the course, ensured by internal staff from the University. The technological solution was a success: an integrated architecture combining well-established, well-tested open software. The completion rate was 3.3%, but the high success of this innovative learning experience was demonstrated by the active involvement of about 50% of the registered participants, that followed the course until the end. Lessons learned from this experience and future research on the field are also discussed.

Abstract
iMOOC is a new pedagogical model for massive open online courses (Teixeira & Mota, 2013), that evolved from UAb’s online model (Pereira et al., 2008), based on its four pillars of student-centered learning, interaction, flexibility and digital inclusion. It is also a software platform, that supports this model, and that was developed at UAb in close articulation with the pedagogical model. In this paper we describe the guidelines that oriented such development, and argue in favor of the use (or re-use) of well-established and robust software components for this purpose, as opposed to building platforms from scratch. The emergence of MOOCs as open courses, where participants have free access to the course, created new challenges in a closed, formatted LMS landscape. This led to the development of whole new environments that addressed those requirements (edX, Coursera). The iMOOC approach, however, was to build a platform from existing open source software components using an integration of Moodle (https://moodle.org/), which was previously adapted to UAb’s pedagogical model (Rocio & Coelho, 2009), and Elgg (http://elgg.org/), combining the advantages of both formal and informal learning modes, and addressing the pedagogical requirements in a cost-effective way. The integration was achieved using the IMS specification for LTI (learning tools interoperability) (Severance, 2010). As a result, the iMOOC platform has been successfully used both in stand-alone projects, and also in the european ECO project, where the effort to turn it project-compliant was relatively simple, due to the adoption of well-established protocols.