SIGCSE

A joint task force of the ACM and the IEEE Computer Society is meeting regularly to discuss issues relating to accreditation or approval in the computing sciences. In addition to considering various mechanisms to implement the important qualitative ...

Because of its relevance to program analysis and, ultimately, to program synthesis, the area of formal verification of program correctness is an important part of the education of the programmer and the computer scientist. A case is presented in this ...

This paper investigates the needs of computer science educators and experimental researchers for a measure of programmer performance. Operational and comprehensional problem solving is differentiated and their manifestations in computer science are ...

Informal mathematical proofs admit and require interpretation while formal logic proofs suppress (abstract from) meanings. The former is closely related to problem solving and computer programming. The latter, which is commonly used for proving program ...

We discuss a two semester, senior level sequence of courses in large scale software development. The courses are keyed upon the element of realism by having an actual user supply an actual project. In the first course students develop a functional ...

A simulated machine approach to an operating systems course project is described. The motivations for including the project in the course are delineated. The reasons for selecting the particular type of project are given. The fictitious hardware and the ...

Some inherent difficuties are present for good exercise and practice in operating systems programming laboratory course. This paper gives a fairly manageable laboratory course plan for programming operating systems (OSs) and a teaching tool which is ...

This report elaborates on the hard-ware requirement recommended in North Florida. Brief course contents, minimal laboratory facilities, key experiments and laboratory management are described.

The educational objectives of two upper level operating systems courses are discussed. The instructional environment in which these courses are taught is also described. The primary goal is to expose students to all of the important issues involved in ...

A. Joe Turner

The role of formal methods for program development and verification in computer science curricula will be discussed. The panel members will address the questions

1) What should be taught?

2) When should it be taught?

3) What are the ...

In this paper I have attempted to point out some ways in which an instructor can sensitize students to the human-computer interface aspect of programming. By discussing this topic at the introductory level, students are made aware early on both of how ...

This paper makes an attempt to outline Software Engineering course with particular attention on the administration of the project.

Section II describes the type of students taking the course, and a general description of the topics covered in the ...

A large amount of software development is performed by teams of individuals. To prepare students for these team efforts, many universities are beginning to offer computer science courses in which a software development team project is undertaken. The ...

It has become abundantly clear to all that during the last two decades of the twentieth century and long into the twenty first, software will be both the heart and the binding force of all our large technological developments. Two decades ago large ...

Theoretical results have had much greater impact on computing practice than we are normally aware of, and the practical significance of theoretical results can be expected to become more prominent in the future. We discuss the past and present ...

In response to national curricular trends, the computer science curriculum at the University of North Florida has undergone three iterations since its inception in 1972. Experiences with the development of the North Florida curriculum coupled with ...

In developing a curriculum that produces graduates that are readily accepted in today's business and industry the question arises, “What courses in a student's background are most vital?” To address this question a questionnaire was constructed and sent ...

(This paper has been accepted for publication in the Proceedings, but the photo-ready form was not delivered in time. Copies of the paper should be available upon request at the presentation.)

Effective teaching of Systems Analysis, Information Systems, or Management Information Systems requires innovative approaches that go beyond the traditional classroom approaches. The panel will present ideas that have worked successfully and can ...

Panelists will report on the work of the ACM Education Board's ad hoc committee to revise and update the Small College curriculum recommendations published by ACM in 1973. The revised report's completion is expected by the end of 1983.

A preliminary ...

This paper reports on the experiences acquired in initiating a summer retraining program to prepare college faculty to teach undergraduate computing. The distinction between formal and informal retraining, the benefits of formal retraining, and the ...

Several papers have been written about the shortage of knowledgeable computer science teachers at the secondary and junior college level. Additional reports have been written describing workshops, courses, and various other methods to help reduce this ...

(This paper has been accepted for publication in the Proceedings, but the photo-ready form was not delivered in time. Copies of the paper should be available upon request at the presentation.)

(This paper has been accepted for publication in the Proceedings, but the photo-ready form was not delivered in time. Copies of the paper should be available upon request at the presentation.)

Communicating algorithms and processes is an integral part of computer science education yet in many instances is difficult to carry out effectively using traditional techniques. Using the computer as an aid in visualizing and understanding an algorithm ...

Students are typically exposed to programming in various languages as part of their experience in computer science. Assembly language and hardware concepts are considered standard knowledge in addition to other related topics. Teaching firmware, the ...

In this paper a fully interactive software system(SAGIPIS), which carries out data analysis, parameter estimation and process generation is discussed.

For our undergraduate computer science architecture majors, we are making a major revision of our existing course sequence (three courses) on microprocessors. For effective utilization of microprocessors, a total system design and development ...

This session will consist of a panel discussion of courses in DBMS which involve student projects using commercially available database management systems. A list of panelists and a synopsis of their topics follows.

John C. Peck, Chairman

Clemson ...

William Mitchell, Moderator

This panel is convened so that the issues inherent in retraining strategies may be debated by representatives of the formal faculty retraining programs. The speakers will address the masters level retraining of college ...