An expert checklist for evaluating children’s software has been designed and validated on ten children in the second grade. In the first part of the investigation ten psychology students evaluated three edutainment games, all of different quality, by means of the checklist. Based on these results the items on the checklist were then analyzed and filtered (analysis of variance, item analysis). I...

In this article, I suggest that calculus instruction should include a wider variety of examples of convergent and divergent series than is usually demonstrated. In particular, a number of convergent series, such as ∑ k≥1 k3 2k , are considered, and their exact values are found in a straightforward manner. We explore and utilize a number of mathematical topics, including manipulation of certain ...

In the past, attempts to convince practising software engineers to adopt formal methods of software development were generally unsuccessful. The methods were too difficult to learn and use, provided inadequate tool support and did not integrate well into the software development process. In short, they could only be used effectively by the gods who created them! Are we in a better position toda...