The development of collaborative studies in learning has led to a renewed interest in the field of Web-based education. In this experimental study a highly interactive and collaborative virtual teaching environment has been created by supporting Moodle LMS with collaborative learning tool GREWPtool. The aim of this experimental study has been to…

Describes an automatic grading system for a formal methods computer science course that is able to evaluate a formal specification written in the Z language. Quality is measured by considering first, specification correctness (syntax, semantics, and satisfaction of customer requirements), and second, specification maintainability (comparison of…

Discusses the use of computers in undergraduate mathematics. Highlights include external software, including spreadsheets and theorem provers; computer generated assessment; multimedia software; computer programming languages; geometric visualization tools; computer algebra systems; and examples from the United States, the United Kingdom, and…