Navigate to list of lectures -- Keyboard shortcut: 'u'  Previous lecture -- Keyboard shortcut: 'p'  Next lecture -- Keyboard shortcut: 'n'  Course home        Alphabetic index  Exit possible frame set        First slide  First annotated slide  Lecture notes - all slides and notes together  Textbook of this lecture      PDF print page        Help page about these notes
Lecture 13

Contracts and Assertions

Kurt NÝrmark ©
Department of Computer Science, Aalborg University, Denmark

Title page            Abstract            References from this lecture            Source programs in this lecture            

A complete PDF version of the text book is now available. The PDF version is an almost complete subset of the HTML version (where only a few, long program listings have been removed). See here.

Page 1CorrectnessPage 17Obligations and Benefits in Sqrt
Page 2Software QualitiesPage 18Class Invariants
Page 3CorrectnessPage 19General aspects of contracts
Page 4SpecificationsPage 20Everyday invariants
Page 5Specification with preconditions and postconditionsPage 21An example of a class invariant
Page 6Logical expressionsPage 22Inheritance is Subcontracting
Page 7Examples of preconditions and postconditionsPage 23Inheritance and Contracts
Page 8An Assertion LanguagePage 24Subcontracting
Page 9Responsibilities and ContractsPage 25Class invariants in the triangle class hierarchy
Page 10Questions Related to ResponsibilityPage 26Assertions in Abstract classes
Page 11Division of ResponsibilitiesPage 27Design by Contract
Page 12The highly responsible programPage 28Design by Contract
Page 13Responsibility division by pre and postconditionsPage 29DBC and Programming Languages
Page 14ContractsPage 30Code Contracts in C# 4.0
Page 15Everyday ContractsPage 31Loop Invariants
Page 16Contracts: Obligations and BenefitsPage 32Loop Invariants

LENO - LEcture NOtes with LAML technologyGenerated: Monday February 7, 2011, 12:22:05
Program Oriented Web Engineering - using LAML