This paper describes the achievements of an innovative eight-year research program first introduced in Mizoguchi and Bourdeau (2000), which was aimed at building a theory-aware authoring system by using ontological engineering. To date, we have proposed OMNIBUS, an ontology that comprehensively covers different learning/instructional theories and…

Discusses summative and formative evaluation methods used and problems encountered in the study of LOGICLANDIA, a courseware package for the teaching and learning of predicate logic in Italian secondary schools. The evaluation process had three phases: subjective, in-house prototypes, and field testing. Results produced revisions in courseware…

Evaluators of software for education must make a series of decisions about which issues have a direct impact on their choice of software. Instructional context analysis is the first step, including identifying the learners, the instructor, the learning environment, and technical needs and limitations. The next step is instructional goal analysis;…

This book is about learning and teaching with personal computers. It is aimed at teachers, student teachers, those responsible for pre-service and in-service teacher training, school administrators, and parents. The book is arranged in four sections. Part I includes two chapters providing a theoretical framework for learning and teaching with…