Analysis of the readiness of Nigerian undergraduates for eLearning courses : understanding undergraduate's perspective

There is much enthusiasm about developing eLearning coures in Nigeria, but majority of the eLearning platforms introduced from developed countries to Nigeria hardly resulted in desired outcome. Proposed reasons are lack of infrastructures such as stable electricity, inadequate rate of internet penetration, low bandwidth and low accessibility of undergraduates to sophisticated devices. These seem valid initially, but findings of this study proved otherwise. This study took a deeper evaluation of the scenarios and made viable discoveries which deviate from early findings. First, the former attempts to introduce eLearning for students in Nigeria were implemented with a rural mindset. Secondly, the undergraduate student`s technical readiness were not properly studied, also their technology user acceptance was also not properly checked and the eLearning platforms were not localized. This study conducted interviews among tertiary students at Yaba College of technology and gathered valuable information towards their readiness for eLearning.

Python as a programming language for the introductory programming courses

Tämä kandidaatintyö tutkii tietotekniikan perusopetuksessa keskeisen aiheen,ohjelmoinnin, alkeisopetusta ja siihen liittyviä ongelmia. Työssä perehdytään ohjelmoinnin perusopetusmenetelmiin ja opetuksen lähestymistapoihin, sekä ratkaisuihin, joilla opetusta voidaan tehostaa. Näitä ratkaisuja työssä ovat mm. ohjelmointikielen valinta, käytettävän kehitysympäristön löytäminen sekä kurssia tukevien opetusapuvälineiden etsiminen. Lisäksi kurssin läpivientiin liittyvien toimintojen, kuten harjoitusten ja mahdollisten viikkotehtävien valinta kuuluu osaksitätä työtä. Työ itsessään lähestyy aihetta tutkimalla Pythonin soveltuvuutta ohjelmoinnin alkeisopetukseen mm. vertailemalla sitä muihin olemassa oleviin yleisiin opetuskieliin, kuten C, C++ tai Java. Se tarkastelee kielen hyviä ja huonoja puolia, sekä tutkii, voidaanko Pythonia hyödyntää luontevasti pääasiallisena opetuskielenä. Lisäksi työ perehtyy siihen, mitä kaikkea kurssilla tulisi opettaa, sekä siihen, kuinka kurssin läpivienti olisi tehokkainta toteuttaa ja minkälaiset tekniset puitteet kurssin toteuttamista varten olisi järkevää valita.

Agendi Modus; Yrittäjyyskasvatusta Etelä-Karjalassa. Yrittäjyys, koulut ja yrittäjyyskasvatuksenhanketoiminta

Julkaisu on kuvaus Agendi Modus - yrittäjyyskasvatushankkeesta, joka toteutettiin Etelä- Karjalassa vuosina 2004-2007. Samalla se on hankkeeseen osallistuneiden kokemuksista tehty vaikuttavuuden arviointiraportti. Agendi Modus-hanke oli Lappeenrannan teknillisen yliopiston Koulutus ja kehittämiskeskuksen kouluille ja yrityksille suunnattu projekti. Hankkeen tavoitteet olivat 1. pedagogisen muutoksen tuottaminen, 2. oppimisympäristöjen kehittäminen ja 3. yrittäjämäistä koulutyötä tukevan koulun kulttuurin ja johtamisen muutoksen tuottaminen. Julkaisusta käy ilmi, että hankevoi oppia yhdessä asiakkaidensa eli hankkeen yhteistyötahojen kanssa. Raportin toisessa osassa tuodaan esille muutamia yrittäjyyskasvatuksen näkökulmia. Lukija voi myös pohtia, tulisiko yrittäjyyskasvatuksen koulutuskokonaisuus rakentua kuten Agendi Moduksessa, eli esitellen aihealuetta sekäyleisesti että perehtyen sen eri olemuspuoliin. Julkaisun keskeisimmät huomiot ovat että A) hanke, joka kuuntelee asiakastaan, tuottaa sen tarvitsemia tuotteita, B) pitkäkestoinen koulutusprosessi tarjoaa mahdollisuuden ymmärtää yrittäjyyskasvatuksen metodologiaa ja pedagogiaa ja tukee aihealueen didaktiikan kokeilemista, C) on tärkeää kouluttaa sekä työyhteisöjä että näiden yksittäisiä toimijoita, D) eri osallistujilla on omanlaistaan osaamista yrittäjyyskasvatuksessa, koska kukin on valinnut erityyppistä koulutuksista itselleen soveltuvimpia, E) näyttää siltä, että noin puolet koulutuksiin osallistuneista käyttää yrittäjyyskasvatusta opetuksensa käyttöteoriana, F) oppimisympäristöjen kehittäminen on vähäisempää kuin yrittäjyyskasvatuksen käyttö oman opetuksen osana, G) hankkeen jälkeen osallistujilla on laaja ymmärrys yrittäjyyskasvatusta suosivasta oppimiskulttuurista, mutta vain harvat kokevat luovansa yrittäjämäistä koulukulttuuria. Jos uutta aihealueen hanketta suunnitellaan, se voisi keskittyä tätä hanketta tarkemmin koulukulttuurin muuttamiseen, jonka lisäksi toiminta-ajatuksissa kannattaisi huomioida oppimisen, teknologian ja yrittäjyyden strategiat.

Harjoitustöiden vertaisarviointi opetusvälineenä

Harjoitustöiden vertaisarvioinnissa opiskelijat tarkastavat toistensa töitä ja antavat niistä palautteen annettujen ohjeiden mukaan. Yleensä opiskelijoille annetaan tätä tehtävää tukemaan tietty joukko arviointikriteereitä, joiden osalta työtä ainakin on kommentoitava. Vertaisarviointi voi antaa opiskelijoille monipuolisempaa palautetta kuin ilman sitä olisi mahdollista, mahdollisuuden tehtävien vaihtoehtoisiin ratkaisuihin tutustumiseen sekä kokemusta ongelmanratkaisun analyyttisestä ja kriittisestä tarkastelusta. Lisäksi vertaisarviointi voi tukea opettajien työtä helpottamalla riittävän palautteen antamista opiskelijoille ja antamalla jonkinlaista kuvaa opiskelijoiden näkemyksistä tehtävän aihealueeseen liittyen. Tämän työn tavoitteena on selvittää, mitä mainituista vertaisarviointiin liitetyistä hyödyistä voidaan todellisuudessa saavuttaa ohjelmointipainotteisilla kursseilla. Ohjelmointikurssin opiskelijat arvioivat kurssiin kuuluvien harjoitustöiden yhteydessä toistensa ratkaisuja yhteen tehtävistä. Opiskelijoille suunnatulla kyselyllä pyritään kartoittamaan, kuinka hyvin vertaisarvioinnille asetetut tavoitteet toteutuvat. Kokemuksia opettajan näkökulmasta selvitetään haastattelujen avulla. Testauksen toteutuksessa käytetään verkkosovellusta, johon opiskelijat tallentavat omat työnsä, josta he lataavat itselleen määrätyt työt arvioitavaksi, johon he tallentavat arvionsa ja jonka kautta he lopulta saavat palautteen omasta työstään.

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.

Applying Qt to programming courses

Työn tavoitteena on sovittaa Qt opetussuunnitelmaan. Työ sisältää Qt:n lyhyen historian sekä katsauksen sen nykytilaan. Nykytilakatsaus sisältää kolme näkökulmaa: miten ja missä Qt:ta voidaan käyttää, sekä sen käyttötarkoitukset teollisuudessa ja opetuksessa. Työn tuloksena syntyy luentodemonstraatiota varten pieni ohjelma, joka on luotu C++:n ja Qt Designerin avulla ja käyttää olennaisia käyttöliittymäkirjaston olioita. Toisena tuotteena työssä syntyy luonnos Lappeenrannan Teknillisen Yliopiston ohjelmointikursseista, joissa Qt:ta voitaisiin käyttää avustamaan opiskelijoita näkemään, miten graafinen ohjelma luodaan sekä valmentaa heitä ymmärtämään viitekehyksien ja graafisten kirjastojen tuomat edut.

Integration of learning supportive applications into the development of the e-portfolio construction process

The portfolio as a means of demonstrating personal skills has lately been gaining prominence among technology students. This is partially due to the introduction of electronic portfolios, or e-portfolios. As platforms for e-portfolio management with different approaches have been introduced, the learning cycle, traditional portfolio pedagogy, and learner centricity have sometimes been forgotten, and as a result, the tools have been used for the most part as data depositories. The purpose of this thesis is to show how the construction of e-portfolios of IT students can be supported by institutions through the usage of different tools that relate to study advising, teaching, and learning. The construction process is presented as a cycle based on learning theories. Actions related to the various phases of the e-portfolio construction process are supported by the implementation of software applications. To maximize learner-centricity and minimize the intervention of the institution, the evaluated and controlled actions for these practices can be separated from the e-portfolios, leaving the construction of the e-portfolio to students. The main contributions of this thesis are the implemented applications, which can be considered to support the e-portfolio construction by assisting in planning, organizing, and reflecting activities. Eventually, this supports the students in their construction of better and more extensive e-portfolios. The implemented tools include 1) JobSkillSearcher to help students’ recognition of the demands of the ICT industry regarding skills, 2) WebTUTOR to support students’ personal study planning, 3) Learning Styles to determine students' learning styles, and 4) MyPeerReview to provide a platform on which to carry out anonymous peer review processes in courses. The most visible outcome concerning the e-portfolio is its representation, meaning that one can use it to demonstrate personal achievements at the time of seeking a job and gaining employment. Testing the tools and the selected open-source e-portfolio application indicates that the degree of richness of e-portfolio content can be increased by using the implemented applications.

Experiences among primary school teachers in Tanzania

The overall aim of the study was to explore primary school teachers’ experiences of constraints to their work, and actions taken for improvement after undergoing in-service courses in the Education Quality Improvement through Pedagogy program. The research interest was thus to deepen the understanding of teachers’ experiences of constraints to their work and experiences of actions taken to improve classroom actions. In order to achieve this ambition, the study was conducted with primary school teachers in Shinyanga district-Tanzania. Two research questions guided the study: What do teachers experience as constraints to their work? The second: How have teachers improved their classroom actions after undergoing professional development courses? The theoretical framework of the study is centred on limiting and enabling frames on teachers’ work and professional development. In order to understand the classroom situations, qualitative research was designed applying a phenomenological approach with semi-structured interview, observation and videotaping to collect data. Forty experienced primary school teachers from ten primary schools participated in the study. The results of the first research question indicate that teachers face many constraints in their work. Three categories identified as interactional, environmental and professional role constraints. The most critical experienced by all teachers is teaching in large classes and inadequate teaching and learning materials. The results of the second research question show that teachers’ actions taken for improving their work were influenced by professional development activities. Three main categories including expanded interaction, expanded use of environment and expanded professional roles were identified. Generally, the knowledge generated is relevant for viewing teachers’ experiences of the challenges they encounter in teaching and the importance of professional development beyond the sampled respondents. The results suggest that constant provision of teachers’ professional development could improve teaching performance.

Design of Personalization of Massive Open Online Courses

Massive Open Online Courses have been in the center of attention in the recent years. However, the main problem of all online learning environments is their lack of personalization according to the learners’ knowledge, learning styles and other learning preferences. This research explores the parameters and features used for personalization in the literature and based on them, evaluates to see how well the current MOOC platforms have been personalized. Then, proposes a design framework for personalization of MOOC platforms that fulfills most of the personalization parameters in the literature including the learning style as well as personalization features. The result of an assessment made for the proposed design framework shows that the framework well supports personalization of MOOCs.