Abstract
The introduction of software methodological issues, including correctness and structure, into the undergraduate curriculum is aided by the availability of software projects which are not overwhelming, but nonetheless, are sufficiently complex to warrant a disciplined approach.
A project covering a “commercial” application is described here. The use and instantiation of abstract program schemas to a variety of contexts is illustrated, as is a sequence of incremental additions which preserve correctness at each stage.
Fuller details and a more formal description of this project, as well as of a project implementing a propositional logic theorem prover, are found in [1]. As a first step in appreciating the general applicability of these software methodological issues, students should realize that these methodologies were used in fundamental ways in developing both projects.
- 1 Yelowitz, L., A schematic approach to correct software development, University of Pittsburgh, Computer Science Department, Technical Report, forthcoming.Google Scholar
- 2 Kernighan, B. W., and Plauger, P. J., The elements of programming style, McGraw-Hill, New York, 1974. Google ScholarDigital Library
- 3 ACM Computing Surveys, v. 6, n. 4, Special issue: Programming, December, 1974.Google Scholar
- 4 Knuth, D. E., Structured programming with go to statements, in {3}, pp. 261-302. Google ScholarDigital Library
Index Terms
- A project approach to structure and correctness in Pitt's second computer science course
Recommendations
A project approach to structure and correctness in Pitt's second computer science course
SIGCSE '78: Proceedings of the ninth SIGCSE technical symposium on Computer science educationThe introduction of software methodological issues, including correctness and structure, into the undergraduate curriculum is aided by the availability of software projects which are not overwhelming, but nonetheless, are sufficiently complex to warrant ...
Comments