File processing---a correctness approach
Richard M. Plishka · 1988
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.