File processing—a correctness approach

ABSTRACT

This paper describes an upper-division course in file processing which is intended to satisfy the requirements of both theoretical and applications-oriented curricula. It emphasizes file processing concepts from a software engineering perspective. Attention is paid to the system life cycle and a correctness approach to design and coding.

REFERENCES

• 1: Kirk L. Malmrose , Robert P. Burton, File processing and the undergraduate computer science curriculum, ACM SIGCSE Bulletin, v.19 n.1, p.330-335, Feb. 1987
• 2: Jay F. Nunamaker, Jr. , J. Daniel Couger , Gordon B. Davis, Information systems curriculum recommendations for the 80s: undergraduate and graduate programs, Communications of the ACM, v.25 n.11, p.781-805, Nov 1982 [doi>10.1145/358690.358698]
• 3: "ACM Recommended Curr icul a f o r Computer Science and Information Processing Programs in Colleges and Universities" ACM 1981
• 4: Richard H. Austing , Bruce H. Barnes , Della T. Bonnette , Gerald L. Engel , Gordon Stokes, Curriculum '78: recommendations for the undergraduate program in computer science— a report of the ACM curriculum committee on computer science, Communications of the ACM, v.22 n.3, p.147-166, March 1979 [doi>10.1145/359080.359083]
• 5: " DPMA Model Curriculum for Undergraduate Computer Information Systems Education" DPMA 1981

INDEX TERMS

Primary Classification:
  K. Computing Milieux
  K.3 COMPUTERS AND EDUCATION
      K.3.2 Computer and Information Science Education
          Subjects: Curriculum

Additional Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.4 Software/Program Verification
          Subjects: Correctness proofs
  D.3 PROGRAMMING LANGUAGES
      D.3.2 Language Classifications

          Nouns: COBOL
  D.4 OPERATING SYSTEMS
      D.4.3 File Systems Management
          Subjects: File organization

  K. Computing Milieux
  K.3 COMPUTERS AND EDUCATION
      K.3.2 Computer and Information Science Education
          Subjects: Computer science education
  K.6 MANAGEMENT OF COMPUTING AND INFORMATION SYSTEMS
      K.6.1 Project and People Management
          Subjects: Life cycle

General Terms:
Human Factors, Languages, Management, Verification