CSC/ECE 517 Fall 2011/ch6 6e zj

From Expertiza_Wiki

Revision as of 07:22, 16 November 2011 by Zzeng (talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Jump to navigation Jump to search

Introduction

What is “heavier-weight” methodology?

Writing robust code

Assertions

Pre-Conditions

Post-Conditions

Class Invariants

Retrieved from "https://wiki.expertiza.ncsu.edu/index.php?title=CSC/ECE_517_Fall_2011/ch6_6e_zj&oldid=55158"