Main_01_PrePost.ppt - Andrew.cmu.edu

"An important topic: preconditions and postconditions. They are a method of 
specifying what a method accomplishes. Preconditions and Postconditions."

http://www.fatih.edu.tr/~zorhan/ceng201/lecturenotes/JAVA01.PPT