Extending the learning object definition to represent programming problems

The present generation of eLearning platforms values the interchange of learning objects standards. Nevertheless, for specialized domains these standards are insufficient to fully describe all the assets, especially when they are used as input for other eLearning services. To address this issue we extended an existing learning objects standard to the particular requirements of a specialized domain, namely the automatic evaluation of programming problems. The focus of this paper is the definition of programming problems as learning objects. We introduce a new schema to represent metadata related to automatic evaluation that cannot be conveniently represented using existing standards, such as: the type of automatic evaluation; the requirements of the evaluation engine; or the roles of different assets - tests cases, program solutions, etc. This new schema is being used in an interoperable repository of learning objects, called crimsonHex.

Defining programming problems as learning objects

Standards for learning objects focus primarily on content presentation. They were already extended to support automatic evaluation but it is limited to exercises with a predefined set of answers. The existing standards lack the metadata required by specialized evaluators to handle types of exercises with an indefinite set of solutions. To address this issue we extended existing learning object standards to the particular requirements of a specialized domain. We present a definition of programming problems as learning objects that is compatible both with Learning Management Systems and with systems performing automatic evaluation of programs. The proposed definition includes metadata that cannot be conveniently represented using existing standards, such as: the type of automatic evaluation; the requirements of the valuation engine; and the roles of different assets - tests cases, program solutions, etc. We present also the EduJudge project and its main services as a case study on the use of the proposed definition of programming problems as learning objects.

A contribution to the e-framework: a specification of a programming exercise evaluation service

This work is a contribution to the e-Framework, arguably the most prominent e-learning framework today, and consists of the definition of a service for the automatic evaluation of programming exercises. This evaluation domain differs from trivial evaluations modelled by languages such as the IMS Question & Test Interoperability (QTI) specification. Complex evaluation domains justify the development of specialized evaluators that participate in several business processes. These business processes can combine other type of systems such as Programming Contest Management Systems, Learning Management Systems, Integrated Development Environments and Learning Object Repositories where programming exercises are stored as Learning Objects. This contribution describes the implementation approaches used, more precisely, behaviours & requests, use & interactions, applicable standards, interface definition and usage scenarios.

Visual programming of XSLT from examples

Vishnu is a tool for XSLT visual programming in Eclipse - a popular and extensible integrated development environment. Rather than writing the XSLT transformations, the programmer loads or edits two document instances, a source document and its corresponding target document, and pairs texts between then by drawing lines over the documents. This form of XSLT programming is intended for simple transformations between related document types, such as HTML formatting or conversion among similar formats. Complex XSLT programs involving, for instance, recursive templates or second order transformations are out of the scope of Vishnu. We present the architecture of Vishnu composed by a graphical editor and a programming engine. The editor is an Eclipse plug-in where the programmer loads and edits document examples and pairs their content using graphical primitives. The programming engine receives the data collected by the editor and produces an XSLT program. The design of the engine and the process of creation of an XSLT program from examples are also detailed. It starts with the generation of an initial transformation that maps source document to the target document. This transformation is fed to a rewrite process where each step produces a refined version of the transformation. Finally, the transformation is simplified before being presented to the programmer for further editing.

Specifying a programming exercises evaluation service on the e-Framework

The e-Framework is arguably the most prominent e-learning framework currently in use. For this reason it was selected as basis for modelling a programming exercises evaluation service. The purpose of this type of evaluator is to mark and grade exercises in computer programming courses and in programming contests. By exposing its functions as services a programming exercise evaluator is able to participate in business processes integrating different system types, such as Programming Contest Management Systems, Learning Management Systems, Integrated Development Environments and Learning Object Repositories. This paper formalizes the approaches to be used in the implementation of a programming exercise evaluator as a service on the e-Framework.

Modelling an e-learning environment for learning programming languages

It is widely accepted that solving programming exercises is fundamental to learn how to program. Nevertheless, solving exercises is only effective if students receive an assessment on their work. An exercise solved wrong will consolidate a false belief, and without feedback many students will not be able to overcome their difficulties. However, creating, managing and accessing a large number of exercises, covering all the points in the curricula of a programming course, in classes with large number of students, can be a daunting task without the appropriated tools working in unison. This involves a diversity of tools, from the environments where programs are coded, to automatic program evaluators providing feedback on the attempts of students, passing through the authoring, management and sequencing of programming exercises as learning objects. We believe that the integration of these tools will have a great impact in acquiring programming skills. Our research objective is to manage and coordinate a network of eLearning systems where students can solve computer programming exercises. Networks of this kind include systems such as learning management systems (LMS), evaluation engines (EE), learning objects repositories (LOR) and exercise resolution environments (ERE). Our strategy to achieve the interoperability among these tools is based on a shared definition of programming exercise as a Learning Object (LO).

PExIL: Programming Exercises Interoperability Language

Several standards appeared in recent years to formalize the metadata of learning objects, but they are still insufficient to fully describe a specialized domain. In particular, the programming exercise domain requires interdependent resources (e.g. test cases, solution programs, exercise description) usually processed by different services in the programming exercise life-cycle. Moreover, the manual creation of these resources is time-consuming and error-prone leading to what is an obstacle to the fast development of programming exercises of good quality. This paper focuses on the definition of an XML dialect called PExIL (Programming Exercises Interoperability Language). The aim of PExIL is to consolidate all the data required in the programming exercise life-cycle, from when it is created to when it is graded, covering also the resolution, the evaluation and the feedback. We introduce the XML Schema used to formalize the relevant data of the programming exercise life-cycle. The validation of this approach is made through the evaluation of the usefulness and expressiveness of the PExIL definition. In the former we present the tools that consume the PExIL definition to automatically generate the specialized resources. In the latter we use the PExIL definition to capture all the constraints of a set of programming exercises stored in a learning objects repository.

Programming exercises evaluation systems: an interoperability survey

Learning computer programming requires solving programming exercises. In computer programming courses teachers need to assess and give feedback to a large number of exercises. These tasks are time consuming and error-prone since there are many aspects relating to good programming that should be considered. In this context automatic assessment tools can play an important role helping teachers in grading tasks as well to assist students with automatic feedback. In spite of its usefulness, these tools lack integration mechanisms with other eLearning systems such as Learning Management Systems, Learning Objects Repositories or Integrated Development Environments. In this paper we provide a survey on programming evaluation systems. The survey gathers information on interoperability features of these systems, categorizing and comparing them regarding content and communication standardization. This work may prove useful to instructors and computer science educators when they have to choose an assessment system to be integrated in their e-Learning environment.

PETCHA: a Programming Exercises Teaching Assistant

This paper presents a tool called Petcha that acts as an automated Teaching Assistant in computer programming courses. The ultimate objective of Petcha is to increase the number of programming exercises effectively solved by students. Petcha meets this objective by helping both teachers to author programming exercises and students to solve them. It also coordinates a network of heterogeneous systems, integrating automatic program evaluators, learning management systems, learning object repositories and integrated programming environments. This paper presents the concept and the design of Petcha and sets this tool in a service oriented architecture for managing learning processes based on the automatic evaluation of programming exercises. The paper presents also a case study that validates the use of Petcha and of the proposed architecture.

Bridging between programming exercises formats with BabeLO

Assessment plays a vital role in learning. This is certainly the case with assessment of computer programs, both in curricular and competitive learning. The lack of a standard – or at least a widely used format – creates a modern Ba- bel tower made of Learning Objects, of assessment items that cannot be shared among automatic assessment systems. These systems whose interoperability is hindered by the lack of a common format include contest management systems, evaluation engines, repositories of learning objects and authoring tools. A prag- matical approach to remedy this problem is to create a service to convert among existing formats. A kind of translation service specialized in programming prob- lems formats. To convert programming exercises on-the-fly among the most used formats is the purpose of the BabeLO – a service to cope with the existing Babel of Learning Object formats for programming exercises. BabeLO was designed as a service to act as a middleware in a network of systems typically used in auto- matic assessment of programs. It provides support for multiple exercise formats and can be used by: evaluation engines to assess exercises regardless of its format; repositories to import exercises from various sources; authoring systems to create exercises in multiple formats or based on exercises from other sources. This paper analyses several of existing formats to highlight both their differ- ences and their similar features. Based on this analysis it presents an approach to extensible format conversion. It presents also the features of PExIL, the pivotal format in which the conversion is based; and the function definitions of the proposed service – BabeLO. Details on the design and implementation of BabeLO, including the service API and the interfaces required to extend the conversion to a new format, are also provided. To evaluate the effectiveness and efficiency of this approach this paper reports on two actual uses of BabeLO: to relocate exercises to a different repository; and to use an evaluation engine in a network of heterogeneous systems.

Making programming exercises interoperable with PExIL

Several standards have appeared in recent years to formalize the metadata of learning objects, but they are still insufficient to fully describe a specialized domain. In particular, the programming exercise domain requires interdependent resources (e.g. test cases, solution programs, exercise description) usually processed by different services in the programming exercise lifecycle. Moreover, the manual creation of these resources is time-consuming and error-prone, leading to an obstacle to the fast development of programming exercises of good quality. This chapter focuses on the definition of an XML dialect called PExIL (Programming Exercises Interoperability Language). The aim of PExIL is to consolidate all the data required in the programming exercise lifecycle from when it is created to when it is graded, covering also the resolution, the evaluation, and the feedback. The authors introduce the XML Schema used to formalize the relevant data of the programming exercise lifecycle. The validation of this approach is made through the evaluation of the usefulness and expressiveness of the PExIL definition. In the former, the authors present the tools that consume the PExIL definition to automatically generate the specialized resources. In the latter, they use the PExIL definition to capture all the constraints of a set of programming exercises stored in a learning objects repository.

Dynamic programming for a Markov-switching jump–diffusion

We consider an optimal control problem with a deterministic finite horizon and state variable dynamics given by a Markov-switching jump–diffusion stochastic differential equation. Our main results extend the dynamic programming technique to this larger family of stochastic optimal control problems. More specifically, we provide a detailed proof of Bellman’s optimality principle (or dynamic programming principle) and obtain the corresponding Hamilton–Jacobi–Belman equation, which turns out to be a partial integro-differential equation due to the extra terms arising from the Lévy process and the Markov process. As an application of our results, we study a finite horizon consumption– investment problem for a jump–diffusion financial market consisting of one risk-free asset and one risky asset whose coefficients are assumed to depend on the state of a continuous time finite state Markov process. We provide a detailed study of the optimal strategies for this problem, for the economically relevant families of power utilities and logarithmic utilities.

Sentido de coerência : ligação materno-fetal e estilo de vida da mulher durante a gravidez

RESUMO - Um dos grandes desafios actuais enfrentados pela Saúde Pública diz respeito ao fardo representado pelas doenças crónicas não transmissíveis enquanto co-responsáveis pela maioria das mortes que ocorrem no mundo, pela significativa e progressiva redução da qualidade de vida e aumento das incapacidades dos indivíduos afectados e por uma fasquia bastante elevada das despesas em saúde. Entretanto, a complexa dinâmica genética, biológica, psicológica, afectiva, sócio-cultural e ambiental que envolve o comportamento humano, tão amplamente relacionado com algumas destas doenças – doenças cardiovasculares, alguns tipos de cancro, obesidade, hipertensão, diabetes e doenças osteo-articulares – impõe o desafio constante da busca de novas e efectivas intervenções em promoção da saúde que influenciem positivamente os estilos de vida dos indivíduos, dos grupos e das comunidades. Sendo o sentido de coerência um traço da personalidade do indivíduo desenvolvido sob a influência directa ou indirecta dos mesmo factores acima referidos, o estabelecimento de uma relação entre este constructo e os comportamentos humanos pode revelar-se promissor para a elaboração de novas intervenções em promoção da saúde. Por sua vez, a gravidez, talvez por influência da ligação materno-fetal, pode representar um ponto de viragem na vida da mulher no que respeita ao sentido de coerência e aos comportamentos de saúde e um bom começo na vida do bebé que irá nascer sob a influência dos mesmos. Com a finalidade de contribuir para a construção de intervenções efectivas em promoção da saúde, através da descoberta de prováveis potencialidades salutogénicas dos constructos referidos – sentido de coerência e ligação materno-fetal –, foi desenvolvido um estudo quantitativo, observacional que teve por objectivos: ampliar o conhecimento sobre as mudanças do sentido de coerência no decorrer da vida, especificamente durante a gravidez; ampliar o conhecimento acerca das relações de alguns factores de natureza sócio-demográfica, psico-afectiva e obstétrica com o sentido de coerência das mulheres grávidas e com a ligação materno-fetal; e identificar possíveis relações entre o sentido de coerência, a ligação materno-fetal e o estilo de vida das mulheres grávidas, este último representado pelos hábitos alimentares, consumo de cafeína, consumo de álcool, hábitos tabágicos, prática regular de actividade física e ganho de peso durante a gravidez. O presente relatório descreve a concepção e os resultados deste estudo, que envolveu a uma amostra de 61 mulheres grávidas que estavam a ser acompanhadas nos serviços de saúde materna dos Centros de Saúde de Carnaxide extensão Linda-a-Velha e de Oeiras, no Distrito de Lisboa, Portugal, entre os meses de Fevereiro e Julho de 2005. Os resultados demonstram que, para a amostra de 61 mulheres grávidas que responderam ao inquérito por questionário de auto-resposta, foram encontradas associações estatisticamente significativas entre o sentido de coerência e a escolaridade e entre o sentido de coerência e a percepção do próprio estado de saúde. Além disso, foi encontrada alguma evidência das associações entre o sentido de coerência e a faixa etária, estado civil e rendimento mensal familiar e foi observada alguma tendência para que as mulheres grávidas com níveis de sentido de coerência mais elevados consumissem menos álcool do que as mulheres grávidas com níveis de sentido de coerência inferiores. Entretanto, as demais associações testadas não foram confirmadas. Relativamente à ligação materno-fetal, foram encontradas, para a amostra de 41 mulheres grávidas que participaram do segundo momento de colheita de dados do estudo, entre a 20ª e a 24ª semanas de gravidez, associações estatisticamente significativas com a escolaridade e o nível de rendimento familiar das mulheres grávidas, não tendo sido confirmadas as demais associações testadas. Embora não tenham sido estatisticamente evidenciadas as relações entre o sentido de coerência e a ligação materno-fetal e entre estes e os comportamentos de saúde, o carácter preliminar destes resultados, devido à subjectividade do processo de selecção não probabilístico da amostra estudada e à reduzida dimensão desta amostra, e a escassez de estudos descritos na literatura fazem com que seja prudente a realização de estudos de follow-up, com amostras de maiores dimensões, aleatórias e representativas da população, para que sejam estabelecidas quaisquer conclusões acerca destas questões.-----------------------------ABSTRACT - One of the greatest challenges faced by Public Health in nowadays is the burden represented by chronic diseases as co-responsible for the majority of deaths that occurs in the world, for the meaningful and progressive reduction of quality of life and increase of disabilities in affected individuals and for an important part of health expenses. However, the complexity of the genetic, biological, psychological, emotional, social, cultural and environmental dynamics that involves human behaviours related to some of these diseases – cardiovascular diseases, some kind of cancers, obesity, hypertension, diabetes and joint and bone diseases – poses the continuous challenge of searching for new and effective interventions of health promotion that positively influence individuals, groups and community lifestyles. Due to the fact that sense of coherence is an individual personality trace directly or indirectly influenced by the same factors listed above, the discovery of a relationship between this construct and human behaviours might be promising to the creation of new health promotion interventions. On the other hand, pregnancy may represent a turn point to the mother’s life and a good start in the baby’s life in relation to sense of coherence and health behaviours and It might occur because of the influence of maternal-fetal attachment. With the purpose of contributing with the creation of effective health promotion interventions through the discovery of probable salutogenic potentials in the referred constructs – sense of coherence and maternal-fetal attachment – , it was developed a quantitative observational study with the following objectives: to increase knowledge about changes in sense of coherence throughout life, specifically during pregnancy; to increase knowledge about the relationship between sense of coherence and maternal-fetal attachment and some social, demographical, psychological, emotional and obstetric factors of pregnant women; to identify probable relationships between sense of coherence, maternal-fetal attachment and pregnant women’s lifestyles, represented by diet habits, caffeine consumption, alcohol consumption, smoking habits, physical activity habits and weigh gain during pregnancy. This report describes the structure and the findings of this study involving a sample of 61 pregnant women who had been followed by health professionals in the mother health services of Carnaxide (Linda-a-Velha unity) and Oeiras Health Centres, in Lisbon, Portugal, between February and July of 2005. The results show that, for the 61 pregnant women who filled the self-reported questionnaire, it was found a statistically significant association between sense of coherence and education level. It was also found some evidence of the associations between sense of coherence and age, marital status and mensal household income and a trend toward pregnant women with higher levels of sense of coherence to drink less alcoholic beverages than pregnant women with lower levels of sense of coherence. However, the others associations tested were not confirmed. Regarding maternal-fetal attachment, it was found, for the sample of 41 women who participated in the second moment of data collection, between the 20th and the 24th week of pregnancy, statistically significant associations with education level and mensal household income. The others associations tested were not confirmed. Although the associations between sense of coherence and maternal-fetal attachment and between these constructs and health behaviours were not confirmed, all findings presented here are considered preliminary because of small dimension of sample and non-probabilistic criteria used for sample selection. What’s more, there are almost no studies described in the literature which could confirm or contradict these findings. Therefore, it is better to be careful and develop follow-up studies, with bigger and representative of population samples, before draw any conclusions about these theme.