Describes the Portable AI Lab, a computing environment containing artificial intelligence (AI) tools, examples, and documentation for use with university AI courses. Two modules of the lab are highlighted: the automated theorem proving module and the natural language processing module, which includes augmented transition networks. (23 references)…

Describes an instructional methodology developed and implemented at Sunderland Polytechnic that uses formal computer program design methods to teach computer programing in computer science and data processing courses. Jackson Structured Programming is explained, and the results of an evaluation by both teaching staff and students are presented.…

Discusses software engineering and suggests necessary elements in a software engineering curriculum. Topics addressed include the importance of theory, project-oriented education, prototyping, exploratory programing, human-computer communication, thought models, distributed systems, parallel processing, documentation, testing and quality…

This description of computer science and engineering education in Iran focuses on the effects of the cultural revolution on academic curricula. Computer use in Iran is described, integrated hardware and software educational programs are discussed, and curriculum plans for various levels of expertise from technician to master's degree are…