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…

In the history of science, there have often been periods of sudden rapprochements between pure science and technology-oriented branches of science. Mathematical logic as pure science and computer science as technology-oriented science have experienced such a rapprochement, which is studied in this article in a bibliometric manner. (Author)

Surveys some of the basic concepts that have been used in computer science for the representation of knowledge and summarizes some of their advantages and drawbacks. Relates these techniques to information sciences theory and practice. Concepts are classified in four broad ontological categories: static ontology, dynamic ontology, intentional…

Within-group similarities and between-group differences are used to illustrate the socio-cultural nature of the concept-building process in highly collaborative computer science classrooms. Simultaneously, a social constructivist perspective is used to describe the individual aspects of this development. The study uses written explanations from…

The present paper presents a longitudinal study of the course "High-tech Entrepreneurship and New Media." The course design is based on socio-cultural theories of learning and considers the role of social capital in entrepreneurial networks. By integrating student teams into the communities of practice of local start-ups, we offer…

Research indicates that program articulation between two- and four-year institutions begins when faculty at both levels identify and validate the competencies which students should have. A study was conducted to develop a model methodology for articulating a program of study between a two- and four-year institution by identifying and validating…

This learning module for a high school metals and manufacturing course is designed to introduce the concept of computer-assisted machining (CAM). Through it, students learn how to set up and put data into the controller to machine a part. They also become familiar with computer-aided manufacturing and learn the advantages of computer numerical…

This course curriculum is intended for community college instructors and administrators to use in implementing an intermediate information processing course. A student's course syllabus provides this information: credit hours, catalog description, prerequisites, required texts, instructional process, objectives, student evaluation, and class…

Purpose: The purpose of this scientific monograph is to show new and creative approaches to different school subjects in primary and secondary level. Methodology: Interdisciplinary and international comparative approaches were used. Now according to the 7th Framework Program, the preferred form of Science Education (www.scientix.eu) is preferred…

Although women typically do as well as or better than men in the introductory computer science course at City University of New York's College of Staten Island, relatively few women even attempt it. This paper is an analysis of the transcripts of five years of computer science majors (n=626; 449 men, 177 women) at that institution. Data reveals…

This thesaurus covers the fields of information science and librarianship to a depth that will adequately support indexing, with coverage of related and peripheral fields as warranted by the strength of their relationship to information science and librarianship. Among the related fields are computer science, linguistics, and behavioral and…

Describes a computer program which can be used to explore the effects of various values of r and C on population growth, using electronic calculators. (BR)

The Certificate in Data Processing (CDP) Examination conducted by the Institute for Certification of Computer Professionals (ICCP) is one of the qualifications for the CDP. The May 1981 administration tested 3,601 candidates at 149 international test sites. Half of the candidates were taking the examination for the first time and were taking all…

These hearings focused on the reauthorization of appropriations for the National Science Foundation (NSF) for fiscal year (FY) 1985. (The Reagan administration's request for the NSF was $1.5 billion, an increase of 13.6 percent over the FY 1984 budget.) The hearings include a prepared statement from Edward Knapp (NSF director) which provides an…

A discussion of the development of suitable course material for CAI. (HB)