CSC/ECE 517 Fall 2011/ch6 6a pc: Difference between revisions

From Expertiza_Wiki
Jump to navigation Jump to search
No edit summary
Line 4: Line 4:


== Software Reliability ==
== Software Reliability ==
=== Programming by contract ===
=== Contract and Inheritance ===


== Terminology ==
== Terminology ==

Revision as of 17:57, 15 November 2011

6a (was 5c). Lecture 18, Programming by contract. My notes for Lecture 18 are largely taken from 20-year-old articles by Bertrand Meyer. The principles are timeless, but there are undoubtedly new embellishments that would provide better background to the topics discussed in the lecture. Write a narrative, generally following the lecture organization, that explains programming by contract in more detail.

Introduction

Software Reliability

Programming by contract

Contract and Inheritance

Terminology

Preconditions

Postconditions

Invariants

Assertions

Comparison with Defensive Programming

Languages with Native Support

Runtime Checking

Static Checking