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…

This article offers some solutions used in the assembly of the computerized Uniform Certified Public Accountancy (CPA) licensing examination as practical alternatives for operational programs producing large numbers of forms. The Uniform CPA examination was offered as an adaptive multistage test (MST) beginning in April of 2004. Examples of…

Discussion of the Internet focuses on new programming paradigms based on mobile agents. Considers the security issues associated with mobile agents and proposes a security architecture composed of a wide set of services and components capable of adapting to a variety of applications, particularly electronic commerce. (Author/LRW)

Studies suggest that the left insula may play an important role in speech motor programming. We used functional magnetic resonance imaging to investigate the role of the left insula in the production of monosyllabic or multisyllabic words during overt and covert speech conditions. The left insula did not show a BOLD response for multisyllabic…

The 13th iteration of the International Conference on Educational Data Mining (EDM 2020) was originally arranged to take place in Ifrane, Morocco. Due to the SARS-CoV-2 (coronavirus) epidemic, EDM 2020, as well as most other academic conferences in 2020, had to be changed to a purely online format. To facilitate efficient transmission of…

Existing adaptive e-learning methods are supported by student (user) profiling for capturing student characteristics, and course structuring for organizing learning materials according to topics and levels of difficulties. Adaptive courses are then generated by extracting materials from the course structure to match the criteria specified in the…

Merrill proposes First Principles of Instruction, including a problem- or task-centered strategy for designing instruction. However, when the tasks or problems are ill-defined or complex, task-centered instruction can be difficult to design. We describe an online task-centered training at a land-grant university designed to train employees to use…

The purpose of the study is to investigate the effects of mind mapping with cooperative learning (MMCL) and cooperative learning (CL) on: (a) programming performance; (b) problem solving skill; and (c) metacognitive knowledge among computer science students in Malaysia. The moderating variable is the students' logical thinking level with two…

This paper examines the question of decomposability versus complexity of teaching situations by presenting three case studies of MIS courses. Because all three courses were highly successful in their observed outcomes, the paper hypothesizes that if the attributes of effective course design are decomposable, one would expect to see a large number…

Fundamental concepts and definitions of electronic learning (eLearning) continue to emerge, and theories of eLearning that have been advanced thus far cover an array of academic perspectives including training and education, learning and knowledge, and technology and applications to specific market segments. Any study of the effectiveness and…

Using animated visualization tools has been an important teaching approach in computer science education. We have developed three visualization and animation tools that demonstrate various information security concepts and actively engage learners. The information security concepts illustrated include: packet sniffer and related computer network…

This paper introduces Ontoolsearch, a new search system that can be employed by educators in order to find suitable tools for supporting collaborative learning settings. Current tool search facilities commonly allow simple keyword searches, limiting the accuracy of obtained results. In contrast, Ontoolsearch supports semantic querying of tool…

A verbal and e-mail survey was conducted of 30 senior high teachers in Alberta who teach computer programming courses in the Career and Technology Studies curriculum, in order to ascertain what courses at the intermediate and advanced levels were being offered, what programming languages were being used, why teachers selected the particular…

This paper introduced the implementation of a New Mobile Technologies and Environmental Education System (NMobTec-EnvEdu) designed for m-learning environments. The NMobTec-EnvEdu system has been developed to provide environmental education in a collaborative framework to undergraduate students through the Internet using mobile phones. The study…

The classical dialectical (study partner) learning method of Greek and Hellenistic antiquity remains the traditional learning method of Jewish religious and cultural studies, and enjoys widespread informal use by students in some American universities. The cognitive advantages of dialectical study have led to its adoption as a powerful, general…