Embedding instructive assertions in program design

David Ginat*

*Corresponding author for this work

Research output: Contribution to journalConference articlepeer-review

2 Scopus citations


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.

Original languageEnglish
Pages (from-to)62-66
Number of pages5
JournalSIGCSE Bulletin (Association for Computing Machinery, Special Interest Group on Computer Science Education)
Issue number3
StatePublished - Sep 2004
EventITiCSE 2004 - 9th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education - Leeds, United Kingdom
Duration: 28 Jul 200430 Jul 2004


  • Assertions
  • Design Perspectives
  • Pedagogy


Dive into the research topics of 'Embedding instructive assertions in program design'. Together they form a unique fingerprint.

Cite this