CSC/ECE 517 Fall 2009/wiki3 sskm

From Expertiza_Wiki
Revision as of 01:22, 15 November 2009 by Kmanish (talk | contribs)
Jump to navigation Jump to search

Programming By Assertions

Programming by assertion is method in which formal constraints are placed on the system's behavior which should always hold whenever the system is in a stable condition. The main goal of the assertions is to enforce what the system is supposed to rather than how to do it.

Retrieved from "https://wiki.expertiza.ncsu.edu/index.php?title=CSC/ECE_517_Fall_2009/wiki3_sskm&oldid=26864"