This article focuses on the level of using creative teaching methodologies in second language classroom as studied by the researcher. A series of qualitative methods such as using newspaper, media, movies, interpreting advertisements, and creating Sandblot can be employed in the classroom in order to develop students’ second language learning ability. The article focuses on how teach...

A new style of formal methods course is described, based on a pragmatic approach that emphasizes testing. The course introduces students to formal specification using Z, and shows how formal specification and testing can benefit each other, in both the validation and verification phases. It uses a tools-based approach, with practical work that reinforces formal specification techniques as well ...

This article presents a study that aims at constructing a teaching framework for software development methods in higher education. The research field is a capstone project-based course, offered by the Technion’s Department of Computer Science, in which Extreme Programming is introduced. The research paradigm is an Action Research that involves cycles of data collection, examination, evaluation,...

We summarise our experiences in teaching two formal methods courses at Pontificia Universidad Javeriana. The first course is a JML-based software engineering course. The second course is a modeldriven software engineering course realised in the B method for software development. We explain how formal methods are promoted in Pontificia Universidad Javeriana, how we motivate students to embrace f...

Wil is a writer, teacher, learning technologist and keen language learner. teachers in using classroom and web technology, and written e-learning materials for or who are used to the traditional 'teacher and class' model of education. and online learning, in the hands of a welltrained teacher, both delivery methods. Setting plays a crucial role in effective teaching, and learning and eLearning ...

The world globalization sets more stringent requirements to high technical school graduates. Besides professional competences including a certain number of skills a modern specialist must not only be a master in his/her field but in compliance with the Federal State Educational Standards of Higher Professional Education is able to read foreign scientific and technical literature, find out neces...

Formal methods should be taught as part of any degree in computing science or software engineering. We believe that discrete mathematics is the foundation upon which software development can be lifted up to the heights of a true engineering discipline. The transfer of formal methods to industry cannot be expected to occur without first transferring, from academia to industry, graduates who are ...

Ecological examples provide a rich source of material for class exercises as part of a course on sampling methods. These examples can be used for teaching the classical theory for the estimation of the parameters of a finite population, in which case they help students to learn the practical aspects of the design of studies, and the appropriate use of the standard equations for estimation with ...

Two studies examined effects of computer-assisted (CA) teaching methods in introductory psychology classes. In Study 1, we provided students with lectures supplemented with either overhead transparencies or CA visuals. In Study 2, we compared students who used an optional Web site with students who did not. In both studies we held constant lecture content, course instructor, exams, and assignme...

This paper discusses requirements for the teaching of formal methods and introduces the notion of productivity in learning. The three attribute model of learning is used to support the use of drag and drop as a universal educational paradigm. An example of this technique is given and a call is made for the establishment of a teaching DIY superstore containing reusable components from which expe...