TY - GEN
T1 - Embedding instructive assertions in program design
AU - Ginat, David
PY - 2004
Y1 - 2004
N2 - 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. 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.
AB - 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. 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.
KW - Assertions
KW - Design Perspectives
KW - Pedagogy
UR - http://www.scopus.com/inward/record.url?scp=10044223425&partnerID=8YFLogxK
U2 - 10.1145/1007996.1008015
DO - 10.1145/1007996.1008015
M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???
AN - SCOPUS:10044223425
SN - 1581138369
SN - 9781581138368
T3 - Proceedings of the 9th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education
SP - 62
EP - 66
BT - Proceedings of the 9th Annual SIGCSE Conference on Innovation and Technology in Computer Science
PB - Association for Computing Machinery (ACM)
T2 - Proceedings of the 9th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education
Y2 - 28 June 2004 through 30 June 2004
ER -