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:


== Definitions ==
== Definitions ==
=== Preconditions ===
=== Postconditions ===
=== Invariants ===


== Comparison with Defensive Programming ==
== Comparison with Defensive Programming ==


== Languages with Native Support ==
== Languages with Native Support ==

Revision as of 05:33, 10 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

Definitions

Preconditions

Postconditions

Invariants

Comparison with Defensive Programming

Languages with Native Support