An interactive system for graduation verification
暂无分享,去创建一个
Abstract A graduation verification system, developed at the University of South Carolina, Columbia. SC is reported. The paper is divided into two parts. The first part discusses a general system design, with emphasis on the system's table-driven feature. The table-driven feature facilitates the elimination of the necessity of reprogramming the verification part of the system when graduation requirements change. Only the “requirements table” that drives the verification part of the system needs to be changed. In the second part, we describe in detail the implementation of a graduation verification system at the University of South Carolina, based on the general design found in the first part.
[1] David Gries,et al. Compiler Construction for Digital Computers , 1971 .
[2] Alfred V. Aho,et al. The Design and Analysis of Computer Algorithms , 1974 .
[3] Ellis Horowitz,et al. Fundamentals of Data Structures , 1984 .
[4] S. C. Kleene,et al. Introduction to Metamathematics , 1952 .