Model-based testing is one of the best solutions for testing object-oriented software. It has a better test coverage than other testing styles. Model-based testing takes into consideration behavioural aspects of a class, which are usually unchecked in other testing methods. An increase in the complexity of software has forced the software industry…

Early in 1984, Logica started an ICAI research contract with MoD (Procurement Executive), which was to be undertaken in collaboration with the technical authority at the Royal Signals and Radar Establishment, Malvern. A prototype system, which has become known as TUTOR, was scheduled for delivery to the client later in 1985. Initially, and for…

Students in all areas of computing require knowledge of the computing device including software implementation at the machine level. Several courses in computer science curricula address these low-level details such as computer architecture and assembly languages. For such courses, there are advantages to studying real architectures instead of…

This article describes the benefits and drawbacks of using Wolfram|Alpha as the platform for teaching calculus concepts in the lab setting. It is a result of our experiences designing and creating an entirely new set of labs using Wolfram|Alpha. We present the reasoning behind our transition from using a standard computer algebra system (CAS) to…

This special report is the latest installment in an ongoing series about how online education is changing teaching and learning and the development of curricula. It was produced with support from the Bill & Melinda Gates Foundation and the Carnegie Corporation of New York. This paper contains the following articles: (1) Changing the Role of K-12…

In the field of electricity markets, the development of training tools for engineers has been extremely useful. A novel experimental economics approach based on a computational Web platform of an electricity market is proposed here for the practical teaching of electrical engineering students. The approach is designed to diminish the gap that…

As physical education programs are required to be more accountable in demonstrating the positive benefits they provide for their students, it becomes more important for physical educators to be able to provide evidence that their students are changing in positive ways. Assessment is an integral part of the teaching/learning cycle. Teaching is…

We report on the design, development, implementation, and evaluation of a case-based instructional environment designed for learning network engineering skills for cybersecurity. We describe the societal problem addressed, the theory-based solution, and the preliminary testing and evaluation of that solution. We identify an architecture for…

Since the early 1990s, the Lloyd Sealy Library, where all four of this article's librarian-authors work in various capacities, has been providing the students and faculty of John Jay College of Criminal Justice with extensive electronic access to books and journals. In early 2009, the librarians at Lloyd Sealy decided to test a recent electronic…

Artificial intelligence research on creative design has led to Structure-Behavior-Function (SBF) models that emphasize functions as abstractions for organizing understanding of physical systems. Empirical studies on understanding complex systems suggest that novice understanding is shallow, typically focusing on their visible structures and…

Tutorial Dialog Systems that employ Conversational Agents (CAs) to deliver instructional content to learners in one-on-one tutoring settings have been shown to be effective in multiple learning domains by multiple research groups. Our work focuses on extending this successful learning technology to collaborative learning settings involving two or…

Mobile devices are changing the way people work and communicate. Most of the innovative devices offer the opportunity to integrate augmented reality in mobile applications, permitting the combination of the real world with virtual information. This feature can be particularly useful to enhance informal and formal didactic actions based on student…

As a nearly global language, English as a Foreign Language (EFL) programs are essential for people wishing to learn English. Researchers have noted that extensive reading is an effective way to improve a person's command of English. Choosing suitable articles in accordance with a learner's needs, interests and ability using an e-learning system…

This article is the fourth in a series of articles published annually by "Computers in Libraries" surveying integrated library systems and services (ILSs). The purpose of the annual survey is to enable comparison of the ILSs that are available. ILS vendors are in constant pursuit of an ever-changing, consistently vague definition of what the…

Many gifted children are exposed to music as listeners or performers or both. Children who are sophisticated listeners recognize the importance of and differences between the various works they hear and are knowledgeable about a sometimes large and significant repertoire. Children who are gifted performers are able to make a musical composition…