Second Attempt to Build a Model of the Tic-Tac-Toe Game

* This publication is partially supported by the Bulgarian Ministry of Education (contract БОЕ 4-02/2004)

Training Primary School Teachers to use E-Learning Technologies – A Pilot Study

In this paper we present a blended learning scenario for training of students in master program “ICT in primary school” carried out in South-West University “Neofit Rilski”. Our approach is based on “face to face” lectures and seminars, SCORM compatible e-learning content with a lot of simulation demonstrations, trainings and self assessment, group problem based learning. Also we discuss the results of the course and attitude of the participants in the course towards used methods and possibilities of application of e-learning in primary schools.

Реализация на електронно-базирани курсове в магистърска програма за педагози

Daniela Ivanova Dureva–Tuparova In this paper 3 pedagogical scenarios of e-learning courses are performed. The courses have been implemented in blended mode with the students in Master program “ICT in primary schools”. The courses apply different didactical methods such as “Jigsaw” interactive technique, on-line simulations, project based learning, etc. Some results from study of students’ attitude to the used didactical methods and technology enhanced educational activities are presented and discussed.

Verification of Procedural Programs via Building their Generalized Nets Models

Магдалина Василева Тодорова - В статията е описан подход за верификация на процедурни програми чрез изграждане на техни модели, дефинирани чрез обобщени мрежи. Подходът интегрира концепцията “design by contract” с подходи за верификация от тип доказателство на теореми и проверка на съгласуваност на модели. За целта разделно се верифицират функциите, които изграждат програмата относно спецификации според предназначението им. Изгражда се обобщен мрежов модел, специфициащ връзките между функциите във вид на коректни редици от извиквания. За главната функция на програмата се построява обобщен мрежов модел и се проверява дали той съответства на мрежовия модел на връзките между функциите на програмата. Всяка от функциите на програмата, която използва други функции се верифицира и относно спецификацията, зададена чрез мрежовия модел на връзките между функциите на програмата.