Frameworks no desenvolvimento de software: o caso da Elevation da PRIMAVERA BSS

Dissertação de mestrado integrado em Engenharia e Gestão de Sistemas de Informação

Formação continuada de professores para o uso das tecnologias educativas: um estudo de caso sobre o discurso e a prática

Tese de Doutoramento em Ciências da Educação (Especialidade de Tecnologia Educativa)

Desenvolvimento de um laboratório pedagógico de vias de comunicação na Universidade do Minho

Dissertação de mestrado integrado em Engenharia Civil

Feature Nets: behavioural modelling of software product lines

Software product lines (SPL) are diverse systems that are developed using a dual engineering process: (a)family engineering defines the commonality and variability among all members of the SPL, and (b) application engineering derives specific products based on the common foundation combined with a variable selection of features. The number of derivable products in an SPL can thus be exponential in the number of features. This inherent complexity poses two main challenges when it comes to modelling: Firstly, the formalism used for modelling SPLs needs to be modular and scalable. Secondly, it should ensure that all products behave correctly by providing the ability to analyse and verify complex models efficiently. In this paper we propose to integrate an established modelling formalism (Petri nets) with the domain of software product line engineering. To this end we extend Petri nets to Feature Nets. While Petri nets provide a framework for formally modelling and verifying single software systems, Feature Nets offer the same sort of benefits for software product lines. We show how SPLs can be modelled in an incremental, modular fashion using Feature Nets, provide a Feature Nets variant that supports modelling dynamic SPLs, and propose an analysis method for SPL modelled as Feature Nets. By facilitating the construction of a single model that includes the various behaviours exhibited by the products in an SPL, we make a significant step towards efficient and practical quality assurance methods for software product lines.

From software extensions to product lines of dataflow programs

Abstract Dataflow programs are widely used. Each program is a directed graph where nodes are computations and edges indicate the flow of data. In prior work, we reverse-engineered legacy dataflow programs by deriving their optimized implementations from a simple specification graph using graph transformations called refinements and optimizations. In MDE-speak, our derivations were PIM-to-PSM mappings. In this paper, we show how extensions complement refinements, optimizations, and PIM-to-PSM derivations to make the process of reverse engineering complex legacy dataflow programs tractable. We explain how optional functionality in transformations can be encoded, thereby enabling us to encode product lines of transformations as well as product lines of dataflow programs. We describe the implementation of extensions in the ReFlO tool and present two non-trivial case studies as evidence of our work’s generality

The Portuguese programme one laptop per child: political, educational and social impact

In 2008, the XVII Portuguese Constitutional Government launched the ‘e.escolinha’ programme, within the Technological Plan for Education, which set out the distribution of a computer, called ‘Magalhães’, designed for chil-dren attending the 1st cycle of basic education. Suspended in 2011 by the XIX Government, this programme has allowed, however, almost 500 000 children to have access to a personal computer. It was expected that this political measure would “revolutionise” the national education system by bringing changes to the pedagogical practices of teachers and the learning processes of children and by achieving educational success, in general. Based on documental analysis and on a set of interviews with key decision-makers in conceiving, implementing and monitoring this governmental initiative, the fi rst part of this chapter presents and analyses the ‘e.escolinha’ initiative and the policies be-hind that governmental programme, seeking to disassemble those objectives and provide some insights into the relationship between discourses, rhetoric, and reality. After that, the chapter focuses on children’s uses and practices with the ‘Magalhães’ laptop, at school and at home. Based on the results of questionnaires fi lled in by approximately 1500 children from 32 First Cycle public schools of the municipality of Braga (north of Portugal) and also from questionnaires applied to their parents and teachers, this chapter intends to analyse the real impact of this initiative for children, family and school. It also seeks to discuss the contribution of this educational policy to children’s digital literacy and also to their own and their families’ social and digital inclusion. To understand if it represented an added value to teachers’ pedagogical practice is another of its aims. The fi ndings point out a major focus on technology and access rather than on uses and competences or even on social, educational and cultural change. In fact, a major conclusion is the existence of a strong gap between the policy and the practices, typical of a top-down policy design. This study is an integrant part of a research project titled “Navigating with ‘Magalhães’: Study on the Impact of Digital Media in Schoolchildren” conducted at the University of Minho, Portugal, financed by the Portuguese Foundation for Science and Technology [PTDC/CCI-COM/101381/2008] and co-funded by the European Regional Development Fund [COMPETE: FCOMP-01-0124-FEDER-009056].

Reliability of the information about the history of diagnosis and treatment of hypertension. Differences in regard to sex, age, and educational level. The pró-saúde study

OBJECTIVE: To assess the intraobserver reliability of the information about the history of diagnosis and treatment of hypertension. METHODS: A multidimensional health questionnaire, which was filled out by the interviewees, was applied twice with an interval of 2 weeks, in July '99, to 192 employees of the University of the State of Rio de Janeiro (UERJ), stratified by sex, age, and educational level. The intraobserver reliability of the answers provided was estimated by the kappa statistic and by the coefficient of intraclass correlation (CICC). RESULTS: The general kappa (k) statistic was 0.75 (95% CI=0.73-0.77). Reliability was higher among females (k=0.88, 95% CI=0.85-0.91) than among males (k=0.62, 95% CI=0.59-0.65).The reliability was higher among individuals 40 years of age or older (k=0.79; 95% CI=0.73-0.84) than those from 18 to 39 years (k=0.52; 95% CI=0.45-0.57). Finally, the kappa statistic was higher among individuals with a university educational level (k=0.86; 95% CI=0.81-0.91) than among those with high school educational level (k=0.61; 95% CI=0.53-0.70) or those with middle school educational level (k=0.68; 95% CI=0.64-0.72). The coefficient of intraclass correlation estimated by the intraobserver agreement in regard to age at the time of the diagnosis of hypertension was 0.74. A perfect agreement between the 2 answers (k=1.00) was observed for 22 interviewees who reported prior prescription of antihypertensive medication. CONCLUSION: In the population studied, estimates of the reliability of the history of medical diagnosis of hypertension and its treatment ranged from substantial to almost perfect reliability.

Educating for sociability and learning for citizenship: developing communicational skills and mediation in educational contexts

This text concerns a program about the Promotion of Social and Communicational Skills and Mediation (PSCSM) developed with children aged between 10 and 13 years in a non-formal educational institution. The program of intervention had, as its purpose, the promotion of social and communicational competencies and mediation, thus enabling the children involved to have a healthy and responsible sociability in the different contexts in which they find themselves: family, school, peer group, amongst others. It was developed over 13 sessions with objectives and activities intentionally planned with the view of promoting competencies of communication, co-operation, responsibility, a critical spirit, solidarity, autonomy, respect, integration, inclusion and the recognition of rights and duties. This work was carried out with an action-research methodology that resorted to various techniques and instruments to gather and record information. The results obtained showed the impact and benefits of the program and they also revealed the necessity of educational institutions investing in the promotion of an ethical literacy and the empowerment of the children and young people for healthy sociability and active citizenship.