Tool-supported invariant-based programming

The development of correct programs is a core problem in computer science. Although formal verification methods for establishing correctness with mathematical rigor are available, programmers often find these difficult to put into practice. One hurdle is deriving the loop invariants and proving that the code maintains them. So called correct-by-construction methods aim to alleviate this issue by integrating verification into the programming workflow. Invariant-based programming is a practical correct-by-construction method in which the programmer first establishes the invariant structure, and then incrementally extends the program in steps of adding code and proving after each addition that the code is consistent with the invariants. In this way, the program is kept internally consistent throughout its development, and the construction of the correctness arguments (proofs) becomes an integral part of the programming workflow. A characteristic of the approach is that programs are described as invariant diagrams, a graphical notation similar to the state charts familiar to programmers. Invariant-based programming is a new method that has not been evaluated in large scale studies yet. The most important prerequisite for feasibility on a larger scale is a high degree of automation. The goal of the Socos project has been to build tools to assist the construction and verification of programs using the method. This thesis describes the implementation and evaluation of a prototype tool in the context of the Socos project. The tool supports the drawing of the diagrams, automatic derivation and discharging of verification conditions, and interactive proofs. It is used to develop programs that are correct by construction. The tool consists of a diagrammatic environment connected to a verification condition generator and an existing state-of-the-art theorem prover. Its core is a semantics for translating diagrams into verification conditions, which are sent to the underlying theorem prover. We describe a concrete method for 1) deriving sufficient conditions for total correctness of an invariant diagram; 2) sending the conditions to the theorem prover for simplification; and 3) reporting the results of the simplification to the programmer in a way that is consistent with the invariantbased programming workflow and that allows errors in the program specification to be efficiently detected. The tool uses an efficient automatic proof strategy to prove as many conditions as possible automatically and lets the remaining conditions be proved interactively. The tool is based on the verification system PVS and i uses the SMT (Satisfiability Modulo Theories) solver Yices as a catch-all decision procedure. Conditions that were not discharged automatically may be proved interactively using the PVS proof assistant. The programming workflow is very similar to the process by which a mathematical theory is developed inside a computer supported theorem prover environment such as PVS. The programmer reduces a large verification problem with the aid of the tool into a set of smaller problems (lemmas), and he can substantially improve the degree of proof automation by developing specialized background theories and proof strategies to support the specification and verification of a specific class of programs. We demonstrate this workflow by describing in detail the construction of a verified sorting algorithm. Tool-supported verification often has little to no presence in computer science (CS) curricula. Furthermore, program verification is frequently introduced as an advanced and purely theoretical topic that is not connected to the workflow taught in the early and practically oriented programming courses. Our hypothesis is that verification could be introduced early in the CS education, and that verification tools could be used in the classroom to support the teaching of formal methods. A prototype of Socos has been used in a course at Åbo Akademi University targeted at first and second year undergraduate students. We evaluate the use of Socos in the course as part of a case study carried out in 2007.

Teaching mathematics and programming : new approaches with empirical evaluation

Programming and mathematics are core areas of computer science (CS) and consequently also important parts of CS education. Introductory instruction in these two topics is, however, not without problems. Studies show that CS students find programming difficult to learn and that teaching mathematical topics to CS novices is challenging. One reason for the latter is the disconnection between mathematics and programming found in many CS curricula, which results in students not seeing the relevance of the subject for their studies. In addition, reports indicate that students' mathematical capability and maturity levels are dropping. The challenges faced when teaching mathematics and programming at CS departments can also be traced back to gaps in students' prior education. In Finland the high school curriculum does not include CS as a subject; instead, focus is on learning to use the computer and its applications as tools. Similarly, many of the mathematics courses emphasize application of formulas, while logic, formalisms and proofs, which are important in CS, are avoided. Consequently, high school graduates are not well prepared for studies in CS. Motivated by these challenges, the goal of the present work is to describe new approaches to teaching mathematics and programming aimed at addressing these issues: Structured derivations is a logic-based approach to teaching mathematics, where formalisms and justifications are made explicit. The aim is to help students become better at communicating their reasoning using mathematical language and logical notation at the same time as they become more confident with formalisms. The Python programming language was originally designed with education in mind, and has a simple syntax compared to many other popular languages. The aim of using it in instruction is to address algorithms and their implementation in a way that allows focus to be put on learning algorithmic thinking and programming instead of on learning a complex syntax. Invariant based programming is a diagrammatic approach to developing programs that are correct by construction. The approach is based on elementary propositional and predicate logic, and makes explicit the underlying mathematical foundations of programming. The aim is also to show how mathematics in general, and logic in particular, can be used to create better programs.

The cultural dimension in focus : promoting awareness of diversity and respect for difference in a Finland-Swedish EFL classroom

This study addresses the role of EFL education, its potential and shortcomings, and the challenges the future of EFL education will bring. It is argued that new societal demands and the limited time we have at our disposal in the classroom make it necessary to rethink goals and content and move away from the transmissionof limited sets of facts and information to helping students develop awareness and competences that can be applied in many different situations, also in a perspective of lifelong learning. The overall aim of the current study is to problematize and increase understanding of the implementation of cultural aspects in the language classroom by addressing the interrelated what, why and how of the cultural dimension within EFL education. This has been conducted by means of theoretical explorations into the area, alongside an attempt at promoting intercultural competence (IC) in a more systematic and insightful manner within my own educational praxis. The focus of the intercultural work in the classroom was on the promotion of awareness of difference and diversity, as well as respect for such difference through the ability to decenter from cultural norms and behavior that previously have been taken for granted. These are two elements that have been suggested as fundamental for other work with IC in the classroom and for the realization of important aspects of the underlying values of basic education. In the context of this study, IC comprises several interconnected components supportingeach other in a variety of ways, with the further aim being interaction with and respect for difference in general, not only concerning e.g. representatives ofcertain English-speaking communities. The methodology was informed by action research, with myself in the role of the teacher-researcher or the reflective practitioner. For the purpose of the project I was authorized to take on the EFL education for the three years of upper comprehensive school of one random class of students originally assigned to one of the language teachers of the selected Finland-Swedish school. Thus, the class of 17 students was not specifically chosen for the project, and the aims and contents chosen for the development project were placed within the framework of the ordinary curriculum. By exploring the students¿ insights concerning different English-speaking cultural groups, mainly through a set of questionnaires, it was possible to outline the work with the cultural dimension in the classroom for the following three years. Work progress was evaluated at specific stages, and the final project evaluations were conducted through individual student interviews in grade 9. The interviews were focused on possible development of students¿ insights concerning different aspects of the cultural dimension. In particular this concerned awareness of difference and diversity, including modification of stereotypes, as well as the ability to decenterin order to be better able to respect such difference. I also explored students¿ awareness and views of the activities and approaches used in class, as well asaffordances both inside and outside the EFL classroom in relation to these intended insights. A further focus area was the perceived relevance to students of different aspects of the cultural dimension. The frameworks and approaches adopted for the work in the classroom all have in common that they are based on a constructivist framework, where knowledge is constructed and reconstructed through interaction with one¿s social and cultural environment, including interaction with others. Reflective processes precede or are simultaneous with the learning of basic factual knowledge. This entails a view of learning as a progression from simple to more complex models rather than as a progression from facts to understanding and analysis. Here, the development of intercultural competence is seen asa cyclical process, or along a spiral curriculum, from simple to more complex levels through a combination of cognitive, affective and behavioral elements within a framework of experiential learning. This project has shown one possible wayforward concerning the development of intercultural competence within EFL education through a more systematic and comprehensive approach regarding linguistic and cultural aspects. The evaluation of the educational process explored in the study suggests the possibilities for work with the promotion of awareness of difference and diversity concerning some specific context that, based on students¿ prior knowledge and preconceptions, would benefit from further work. In this case, the specific context primarily concerned different aspects of both cultural and linguistic conditions in the UK. It is also suggested that many students developed the ability to decenter, described in the study as integral to being able to respect otherness. What still remains to be explored are more individualized approaches considering students¿ different levels of departure. Further work alsoneeds to be put into how to apply insights gained in these specific situations to more general contexts. It is also necessary to explore the use of the suggested approaches in a wider range of different contexts.

In pursuit of an intercultural dimension in EFL-teaching : exploring cognitions among Finland-Swedish comprehensive school teachers

This thesis is about the educational purpose of foreign language teaching (FLT) in an increasingly internationalised world.The past 20-30 years have witnessed a fundamental rethinking of the aims of FLT, entailing a shift in emphasis from linguistic competence over communicative competence to intercultural competence. The growing emphasis on cultural issues, called for by research and international curricular documents, places new demandson language teachers. The overall aim of this study is to deepen the knowledge about the attitudes of teachers at the upper level of the Finland-Swedish comprehensive school towards the treatment of culture in English foreign language (EFL) teaching. The questions in focus are: 1) How do teachers interpret the concept"culture" in EFL-teaching?, 2) How do they specify the cultural objectives of their teaching? and 3) What do they do to attain these objectives? The thesis strives to reveal whether or not language teaching today can be describedas intercultural, in the sense that culture is taught with the aim of promotingintercultural understanding, tolerance and empathy. This abductive and largely exploratory study is placed within a constructivist and sociocultural framework,and is inspired by both phenomenography and hermeneutics. It takes its starting-point in language didactics, and can also be regarded as a contribution to teacher cognition research. The empirical data consists of verbatim transcribed interviews with 13 Finland-Swedish teachers of English at grades 7-9. The findings are presented according to three orientations and reviewed with reference to the 2004 Finnish National Framework Curriculum. Within the cognitive orientation, "culture" is perceived as factual knowledge, and the teaching of cultureis defined in terms of the transmission of knowledge, especially about Britain and the USA (Pedagogy of Information). Within the action-related orientation, "culture" is seen as skills of a social and socio-linguistic nature, andthe teaching aims at preparing the students for contacts with people from the target language areas (Pedagogy of Preparation). Within the affective orientation, which takes a more holistic approach, "culture" is seen as a bi-directional perspective. Students are encouraged to look at their own familiar culture from another perspective, and learn to empathise with and show respect for otherness in general, not just concerning representatives of English-speaking countries (Pedagogy of Encounter). Very few of the interviewed teachers represent the third approach, which is the one that can be characterised as truly intercultural. The study indicates that many teachers feel unsure about how to teach culture in an appropriate and up-to-date manner. This is attributed to, among other things, lack of teacher insights as well as lack of time and adequate material. The thesis ends with a set of recommendations as to how EFL could be developed ina more intercultural direction.

Conditions for EFL learning and professional development : Finland-Swedish learner and teacher perspectives

Engelskans dominerande roll som internationellt språk och andra globaliseringstrender påverkar också Svenskfinland. Dessa trender påverkar i sin tur förutsättningarna för lärande och undervisning i engelska som främmande språk, det vill säga undervisningsmålen, de förväntade elev- och lärarroller, materialens ändamålsenlighet, lärares och elevers initiala erfarenheter av engelska och engelskspråkiga länder. Denna studie undersöker förutsättningarna för lärande och professionell utveckling i det svenskspråkiga nybörjarklassrummet i engelska som främmande språk. Utgångsläget för 351 nybörjare i engelska som främmande språk och 19 av deras lärare beskrivs och analyseras. Resultaten tyder på att engelska håller på att bli ett andraspråk snarare än ett traditionellt främmande språk för många unga elever. Dessa elever har också goda förutsättningar att lära sig engelska utanför skolan. Sådan var dock inte situationen för alla elever, vilket tyder på att det finns en anmärkningsvärd heterogenitet och även regional variation i det finlandssvenska klassrummet i engelska som främmande språk. Lärarresultaten tyder på att vissa lärare har klarat av att på ett konstruktivt sätt att tackla de förutsättningar de möter. Andra lärare uttrycker frustration över sin arbetssituation, läroplanen, undervisningsmaterialen och andra aktörer som kommer är av betydelse för skolmiljön. Studien påvisar att förutsättningarna för lärande och undervisning i engelska som främmande språk varierar i Svenskfinland. För att stöda elevers och lärares utveckling föreslås att dialogen mellan aktörer på olika nivå i samhället bör förbättras och systematiseras.

Musikaliska möten man minns : om musikundervisningen i årskurserna sju till nio som en arena för starka musikpplevelser

Earlier research has shown that strong experiences related to music (SEM) can occur in very different contexts and take on many different forms. Experiences like these seem significant and have among other things reportedly had an affect on the individual's continuing relationship towards music, which makes them interesting from a pedagogical point of view. Formal teaching situations, though, are under-represented in studies where people have been asked to describe strong experiences that they have had in connection with music. The purpose of my thesis is to investigate what SEM may mean to pupils and teachers in lower secondary school (grades 7-9), and to inquire more deeply into the potential "space" for such experiences within school music education. On a comprehensive level my ambition is to deepen the understanding for SEM as a possible element in pedagogical situations. Three empirical perspectives are employed: pupil-, teacher- and curriculum perspectives. The pupil perspective involved an analysis of written accounts of 166 fifteen-year-olds, describing own strong experiences. The teacher perspective involved studying 28 music teachers' conceptions of the purpose of teaching music in school as well as their understanding about strong music experiences in school context. Further, the teachers' descriptions of SEM that they have had themselves were analysed. The curriculum perspective is reflected through a study of how music experience was represented in 24 local and 2 national curriculum texts for music. Grounded in a phenomenological-hermeneutical perspective the material have been analyzed both qualitatively and quantitatively. The result points towards the fact that the music education in school has the potential to become an arena for SEM and that this can happen in relation to a multitude of activities and genres and take on many different expressions. Only one pupil referred to a musical encounter in the classroom environment; all other experiences that occurred inside the frame of school activity had taken place in other arenas (the school hall, public concert halls, and so on). However, more than 98 % of the descriptions concerned musical encounters in leisure time contexts. The significance of SEM is further clarified by narrative constructions. SEM as a conception does not occur on the curriculum level; however the analyze revealed a number of interesting "openings" which are illustrated. Even though all teachers displayed a fundamentally positive attitude towards the idea of regarding SEM as a feature of formal musical learning, it became clear that many teachers never had approached this theme from a pedagogical point of view before. Still, they proved to have an evident "familiarity" towards the phenomenon based on their own experiences of receptive and performative musical encounter. The possible space for strong musical experiences within school music education is specified through a detailed illustration of six specific themes derived from the reasoning of the teachers. Furthermore, this is described through a mapping of the potential experiencing zone, constructed from the teachers descriptions of educational aims.

Integrating environmental education in primary school education in Tanzania : teachers’ perceptions and teaching practices

The study focuses on primary school teachers’ perceptions of environmental education, its integration into primary school education and teachers’ teaching practices in Tanzania. The thesis is based on empirical research. The theoretical underpinnings of the study are based on Palmer’s (1998) model of environmental education. According to the model, meaningful environmental education should include education about, in or through and for the environment. The study is supported by national and international literature from research done on environmental education and education for sustainable development and policy statements. The study is qualitative in nature, adopting phenomenography and phenomenology as points of departure. The empirical data was collected from four primary schools in Morogoro region in Tanzania. The study sample consisted of 31 primary school teachers. Data was collected through interviews and lesson observations. According to the results of the study, primary school teachers expressed variations in their perceptions of environmental education and education for sustainable development. Most of the teachers focused on the aspect of knowledge acquisition. According to Tanzanian education and training policy, environmental education has to be integrated into all subjects. Although there is environmental education in the primary school curriculum, it is not integrated on an equal footing in all subjects. Some subjects like science, social studies and geography have more environmental content than other subjects. Teachers claim that the approach used to integrate environmental education into the school curriculum was not favoured because many claimed that what is to be taught as environmental education in the various subjects is not shown clearly. As a result, many teachers suggested that to ensure that it is taught properly it should be included in the curriculum as an independent subject or as specific topics. The study revealed that teachers’ teaching practices in integrating environmental education varied from one subject to another. Although most of the teachers said that they used participatory methods, lesson observations showed that they limited themselves to question and answer and group discussion. However, the teachers faced a number of barriers in the teaching of environmental education, some of which include lack of teaching and learning resources, time and large class size. The role of teachers in the implementation of environmental education in developing an environmentally literate citizenry is of great significance. The responsibility of the government in developing a curriculum with clear goals and content, developing teachers’ capacity in the teaching of environmental education and provision of teaching and learning materials needs to be taken seriously by the government in educational plans and programs.

Active teaching-learning methodologies: medical students' views of problem-based learning

The prevailing undergraduate medical training process still favors disconnection and professional distancing from social needs. The Brazilian Ministries of Education and Health, through the National Curriculum Guidelines, the Incentives Program for Changes in the Medical Curriculum (PROMED), and the National Program for Reorientation of Professional Training in Health (PRO-SAÚDE), promoted the stimulus for an effective connection between medical institutions and the Unified National Health System (SUS). In accordance to the new paradigm for medical training, the Centro Universitário Serra dos Órgãos (UNIFESO) established a teaching plan in 2005 using active methodologies, specifically problem-based learning (PBL). Research was conducted through semi-structured interviews with third-year undergraduate students at the UNIFESO Medical School. The results were categorized as proposed by Bardin's thematic analysis, with the purpose of verifying the students' impressions of the new curriculum. Active methodologies proved to be well-accepted by students, who defined them as exciting and inclusive of theory and practice in medical education.

Learning through role-playing games: an approach for active learning and teaching

This study evaluates the use of role-playing games (RPGs) as a methodological approach for teaching cellular biology, assessing student satisfaction, learning outcomes, and retention of acquired knowledge. First-year undergraduate medical students at two Brazilian public universities attended either an RPG-based class (RPG group) or a lecture (lecture-based group) on topics related to cellular biology. Pre- and post-RPG-based class questionnaires were compared to scores in regular exams and in an unannounced test one year later to assess students' attitudes and learning. From the 230 students that attended the RPG classes, 78.4% responded that the RPG-based classes were an effective tool for learning; 55.4% thought that such classes were better than lectures but did not replace them; and 81% responded that they would use this method. The lecture-based group achieved a higher grade in 1 of 14 regular exam questions. In the medium-term evaluation (one year later), the RPG group scored higher in 2 of 12 questions. RPG classes are thus quantitatively as effective as formal lectures, are well accepted by students, and may serve as educational tools, giving students the chance to learn actively and potentially retain the acquired knowledge more efficiently.

Towards the Best A++ Rating Productivity of Research and Teaching in Finnish Universities

Tämän tutkimusraportin suomenkielinen versio on osoitteessa: http://urn.fi/URN:ISBN:978-951-29-4509-2

Saksan opiskelijasta saksan opettajaksi. Aineenopettajaopiskelijan ammatillinen kasvu ohjatussa harjoitttelussa

Tutkimuksessani tarkastelin, miten ammatillinen kasvu ilmenee saksan opetusharjoittelijoiden näkemyksissä ja toiminnassa opettajan pedagogisiin opintoihin kuuluvan ohjatun harjoittelun aikana. Keräsin tutkimusaineiston lukuvuosina 2007–2010 kaikilta saksan opetusharjoittelijoilta, jotka suorittivat ohjatussa harjoittelussa vähintään 15 op Turun normaalikoulussa. Tutkimusaineistona käytin henkilökohtaisia harjoittelusuunnitelmia (HOPS) ja reflektiovihkoja, jotka ovat ohjatun harjoittelun normaaleja työvälineitä. Täydensin aineistoa ohjatun harjoittelun alussa toteutetulla kyselyllä ja harjoittelun päätteeksi tehdyllä puolistrukturoidulla teemahaastattelulla. Toimin tutkimuksen aikana Turun normaalikoulussa saksan opettajana ja aineryhmän harjoittelusta vastaavana opettajana. Tutkimuskysymykset tarkentuivat aineistolähtöisesti. Ensimmäinen tutkimuskysymys liittyi siihen, miten harjoittelijoiden ideaalit hyvästä vieraan kielen opetuksesta ja henkilökohtaiset tavoitteet toteutuivat ohjatun harjoittelun aikana. Alkukyselyn pohjalta ideaaleiksi nousivat vuorovaikutus ja monipuoliset työtavat, kulttuurin opettaminen, tavoitekielen käyttö luokkakielenä sekä selkeä kieliopin opetus. Tutkimuksessa kävi ilmi, että alkukyselyssä esiin tullut hyvän opettajan tai vieraan kielen opetuksen ideaali ei välttämättä näy opettajaksi opiskelevan HOPSeihin kirjatuissa henkilökohtaisissa tavoitteissa tai toteudu hänen harjoitustunneillaan. Parhaiten opetusharjoittelijat kokivat onnistuneensa vuorovaikutuksen luomisessa oppilaisiin ja opiskelijoihin sekä monipuolisten työtapojen käytössä. Eriyttäminen ja oppimaan oppimisen ohjaaminen koettiin hankalina. Suurin osa harjoittelijoista oli tyytyväisiä siihen, miten he onnistuivat tuomaan kulttuuria opetukseensa, kun taas tavoitekielen käyttö luokkakielenä ja kieliopin opetus koettiin haasteellisiksi. Toisessa tutkimuskysymyksessä tarkasteltiin, millainen ammatillinen näkemys vieraan kielen opiskelijalla on ohjatun harjoittelun jälkeen. Opetusharjoittelijat korostivat opettajan kasvatustyötä ja opettajien välistä yhteistyötä. Ajatus toimia saksan tai vieraan kielen opettajana oli vahvistunut pedagogisten opintojen aikana. Kolmas tutkimuskysymys kohdistui sen selvittämiseen, miten HOPS ja reflektiovihko toimivat harjoittelijoiden kasvun tukena. Harjoittelijoiden kirjallinen itsereflektio vaihteli syvällisistä pohdinnoista niukkiin merkintöihin. Suurimmassa osassa reflektiovihoista harjoittelijat olivat miettineet palautteissa esille tulleita asioita. HOPS ja reflektiovihko ovat tämän tutkimuksen perusteella toimivia harjoittelun ohjauksen välineitä, kunhan harjoittelijoita ohjataan niiden käytössä. Itsereflektion merkityksen puolesta puhuu se, että harjoittelijat, jotka olivat myös kirjallisesti pohtineet saksan käyttöä luokkakielenä, olivat muita tyytyväisempiä siihen, miten he kokivat onnistuneensa luokkakielen käytössä.

Thinking Outside the Box: Enhancing Science Teaching by Combining (Instead of Contrasting) Laboratory and Simulation Activities

The focus of the present work was on 10- to 12-year-old elementary school students’ conceptual learning outcomes in science in two specific inquiry-learning environments, laboratory and simulation. The main aim was to examine if it would be more beneficial to combine than contrast simulation and laboratory activities in science teaching. It was argued that the status quo where laboratories and simulations are seen as alternative or competing methods in science teaching is hardly an optimal solution to promote students’ learning and understanding in various science domains. It was hypothesized that it would make more sense and be more productive to combine laboratories and simulations. Several explanations and examples were provided to back up the hypothesis. In order to test whether learning with the combination of laboratory and simulation activities can result in better conceptual understanding in science than learning with laboratory or simulation activities alone, two experiments were conducted in the domain of electricity. In these experiments students constructed and studied electrical circuits in three different learning environments: laboratory (real circuits), simulation (virtual circuits), and simulation-laboratory combination (real and virtual circuits were used simultaneously). In order to measure and compare how these environments affected students’ conceptual understanding of circuits, a subject knowledge assessment questionnaire was administered before and after the experimentation. The results of the experiments were presented in four empirical studies. Three of the studies focused on learning outcomes between the conditions and one on learning processes. Study I analyzed learning outcomes from experiment I. The aim of the study was to investigate if it would be more beneficial to combine simulation and laboratory activities than to use them separately in teaching the concepts of simple electricity. Matched-trios were created based on the pre-test results of 66 elementary school students and divided randomly into a laboratory (real circuits), simulation (virtual circuits) and simulation-laboratory combination (real and virtual circuits simultaneously) conditions. In each condition students had 90 minutes to construct and study various circuits. The results showed that studying electrical circuits in the simulation–laboratory combination environment improved students’ conceptual understanding more than studying circuits in simulation and laboratory environments alone. Although there were no statistical differences between simulation and laboratory environments, the learning effect was more pronounced in the simulation condition where the students made clear progress during the intervention, whereas in the laboratory condition students’ conceptual understanding remained at an elementary level after the intervention. Study II analyzed learning outcomes from experiment II. The aim of the study was to investigate if and how learning outcomes in simulation and simulation-laboratory combination environments are mediated by implicit (only procedural guidance) and explicit (more structure and guidance for the discovery process) instruction in the context of simple DC circuits. Matched-quartets were created based on the pre-test results of 50 elementary school students and divided randomly into a simulation implicit (SI), simulation explicit (SE), combination implicit (CI) and combination explicit (CE) conditions. The results showed that when the students were working with the simulation alone, they were able to gain significantly greater amount of subject knowledge when they received metacognitive support (explicit instruction; SE) for the discovery process than when they received only procedural guidance (implicit instruction: SI). However, this additional scaffolding was not enough to reach the level of the students in the combination environment (CI and CE). A surprising finding in Study II was that instructional support had a different effect in the combination environment than in the simulation environment. In the combination environment explicit instruction (CE) did not seem to elicit much additional gain for students’ understanding of electric circuits compared to implicit instruction (CI). Instead, explicit instruction slowed down the inquiry process substantially in the combination environment. Study III analyzed from video data learning processes of those 50 students that participated in experiment II (cf. Study II above). The focus was on three specific learning processes: cognitive conflicts, self-explanations, and analogical encodings. The aim of the study was to find out possible explanations for the success of the combination condition in Experiments I and II. The video data provided clear evidence about the benefits of studying with the real and virtual circuits simultaneously (the combination conditions). Mostly the representations complemented each other, that is, one representation helped students to interpret and understand the outcomes they received from the other representation. However, there were also instances in which analogical encoding took place, that is, situations in which the slightly discrepant results between the representations ‘forced’ students to focus on those features that could be generalised across the two representations. No statistical differences were found in the amount of experienced cognitive conflicts and self-explanations between simulation and combination conditions, though in self-explanations there was a nascent trend in favour of the combination. There was also a clear tendency suggesting that explicit guidance increased the amount of self-explanations. Overall, the amount of cognitive conflicts and self-explanations was very low. The aim of the Study IV was twofold: the main aim was to provide an aggregated overview of the learning outcomes of experiments I and II; the secondary aim was to explore the relationship between the learning environments and students’ prior domain knowledge (low and high) in the experiments. Aggregated results of experiments I & II showed that on average, 91% of the students in the combination environment scored above the average of the laboratory environment, and 76% of them scored also above the average of the simulation environment. Seventy percent of the students in the simulation environment scored above the average of the laboratory environment. The results further showed that overall students seemed to benefit from combining simulations and laboratories regardless of their level of prior knowledge, that is, students with either low or high prior knowledge who studied circuits in the combination environment outperformed their counterparts who studied in the laboratory or simulation environment alone. The effect seemed to be slightly bigger among the students with low prior knowledge. However, more detailed inspection of the results showed that there were considerable differences between the experiments regarding how students with low and high prior knowledge benefitted from the combination: in Experiment I, especially students with low prior knowledge benefitted from the combination as compared to those students that used only the simulation, whereas in Experiment II, only students with high prior knowledge seemed to benefit from the combination relative to the simulation group. Regarding the differences between simulation and laboratory groups, the benefits of using a simulation seemed to be slightly higher among students with high prior knowledge. The results of the four empirical studies support the hypothesis concerning the benefits of using simulation along with laboratory activities to promote students’ conceptual understanding of electricity. It can be concluded that when teaching students about electricity, the students can gain better understanding when they have an opportunity to use the simulation and the real circuits in parallel than if they have only the real circuits or only a computer simulation available, even when the use of the simulation is supported with the explicit instruction. The outcomes of the empirical studies can be considered as the first unambiguous evidence on the (additional) benefits of combining laboratory and simulation activities in science education as compared to learning with laboratories and simulations alone.

”Hei, mä opin tän asian enkuks!” Toimintatutkimus ympäristötiedon ainesisältöjen ja vieraan kielen oppimisesta sekä opettamisesta englanninkielissä oppituokioissa

Tämä kvalitatiivinen toimintatutkimus sai lähtökipinän opettajan tarpeesta kehittää englannin kielen opetustaan suuntaan, joka innostaisi oppijoita opiskelemaan ja tuottamaan vierasta kieltä rohkeasti. Tutkimuksen tarkoituksena oli selvittää, mitä muutoksia oppijoissa ilmenee, kun perinteiseen vieraan kielen opetukseen sisällytetään kahden lukuvuoden ajan oppituokioita, joissa ympäristötiedon ainesisältöjä opetetaan vieraalla kielellä. Kiinnostuksen kohteena oli tutkia, ilmeneekö oppijoilla muutoksia ainesisältöjen hallinnassa, englanninkielisen ympäristötiedon sanavaraston karttumisessa, kielitaidon kehittymisessä sekä asenteessa oppituokioita ja englannin kieltä kohtaan yleensä. Tutkimuksen tarkoituksena oli myös luoda toimivaa käytäntöä opettajalle toteuttaa ainesisältöjen opettamista vieraalla kielellä, josta kansainvälisesti käytetään termiä Content and language integrated learning (CLIL). Tutkimus oli kahden vuoden pitkittäistutkimus, joka toteutettiin lukuvuosina 2008–2010. Tutkimusjoukko koostui 18:sta (11 poikaa ja 7 tyttöä) neljättä luokkaa aloittavasta oppijasta. Vertailuryhmään kuului 22 musiikkiluokan oppijaa (6 poikaa ja 16 tyttöä). Tutkija opetti molemmille ryhmille englannin kieltä kaksi viikkotuntia. Englanninkieliset oppituokiot toteutettiin englannin tuntien yhteydessä noin kerran viikossa. Kerrallaan tuokio kesti 15–20 minuuttia. Tutkimusaineistoa, joka koostuu sekä kvalitatiivisesta että kvantitatiivisesta aineistosta, kerättiin eri tavoin: tutkija keräsi havaintomateriaalia päiväkirjaansa koko tutkimuksen ajan, oppijoita testattiin kuusi kertaa tutkimuksen aikana sekä itsearvio- ja asennekyselyjä toteutettiin kahdesti. Tutkimusaineiston pohjalta saatiin selviä tutkimustuloksia, joiden mukaan CLIL-opetus vaikutti oppijoihin positiivisesti: ympäristötiedon ainesisältöjä opittiin, englanninkielinen ympäristötiedon sanavarasto laajeni ja vierasta kieltä käytettiin rohkeammin kuin aiemmin. Kommunikoidessa huomio kiinnitettiin kielen tarkkailun sijasta asiasisältöön. Oppijat suhtautuivat englanninkielisiin oppituokioihin positiivisesti ja englannin osaaminen koettiin tärkeäksi. Tässäkin kokeilussa CLIL osoittautui joustavaksi metodiseksi lähestymistavaksi, joka taipuu käyttökelpoiseksi käytännön teoriaksi soveltuen monenlaisille oppijoille.