Embedding instructive assertions in program design

ABSTRACT

Computer programs are operational schemes. Many programmers design, describe, and justify their programs while solely thinking "operationally". Yet, an operational perspective is insufficient. For many years, the important role of an assertional perspective is advocated. However, this perspective is debated [5]. Many are deterred from employing it, possibly because it is displayed with formal notations and mathematical logic. The objective of this paper is to offer the elaboration of this perspective through a natural, informal embedment of assertions in the design process. The essential, revealing, and instructive role of informal, yet concise and accurate assertions is motivated and elaborated; first through three stimulating illustrations, and then with a general instructional approach.

REFERENCES

• 1: Owen Astrachan , Garrett Mitchener , Geoffrey Berry , Landon Cox, Design patterns: an essential component of CS curricula, Proceedings of the twenty-ninth SIGCSE technical symposium on Computer science education, p.153-160, February 26-March 01, 1998, Atlanta, Georgia, United States
• 2: Kim B. Bruce , Robert L. Scot Drysdale , Charles Kelemen , Allen Tucker, Why math?, Communications of the ACM, v.46 n.9, September 2003 [doi>10.1145/903893.903918]
• 3: Thomas T. Cormen , Charles E. Leiserson , Ronald L. Rivest, Introduction to algorithms, MIT Press, Cambridge, MA, 1990
• 4: Edsger Wybe Dijkstra, A Discipline of Programming, Prentice Hall PTR, Upper Saddle River, NJ, 1997
• 5: Peter J. Denning, A debate on teaching computing science, Communications of the ACM, v.32 n.12, p.1397-1414, Dec. 1989 [doi>10.1145/76380.76381]
• 6: David Gries, The Science of Programming, Springer-Verlag New York, Inc., Secaucus, NJ, 1987
• 7: R. Floyd. Assigning meaning to programs, Mathematical Aspects of Computer Science, XIX American Mathematical Society (1967), 19--32.
• 8: Peter B. Henderson , Doug Baldwin , Venu Dasigi , Marcel Dupras , Jane Fritz , David Ginat , Don Goelman , John Hamer , Lew Hitchner , Will Lloyd , Bill Marion, Jr. , Charles Riedesel , Henry Walker, Striving for mathematical thinking, ACM SIGCSE Bulletin, v.33 n.4, December 2001 [doi>10.1145/572139.572180]
• 9: Marcia C. Linn , Michael J. Clancy, The case for case studies of programming problems, Communications of the ACM, v.35 n.3, p.121-132, March 1992 [doi>10.1145/131295.131301]
• 10: Michael J. Clancy , Marcia C. Linn, Patterns and pedagogy, The proceedings of the thirtieth SIGCSE technical symposium on Computer science education, p.37-42, March 24-28, 1999, New Orleans, Louisiana, United States
• 11: Henry McLoughlin , Kevin Hely, Teaching formal programming to first year computer science students, Proceedings of the twenty-seventh SIGCSE technical symposium on Computer science education, p.155-159, February 15-17, 1996, Philadelphia, Pennsylvania, United States

INDEX TERMS

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

General Terms:
Algorithms, Design, Verification

Keywords:
assertions, design perspectives, pedagogy