Category Archives: java

Prog dev in Java – B. liskov

Posted on February 18, 2009 by Jianming Li

•Decomposition & Abstraction -Abstraction by paramerization is taken for granted -Abstraction by specification deals with precondition & postcondition •Kinds of Abstraction •procedural abstraction – ops return_type method(…) //REQUIRES: //MODIFIES: //EFFECTS: //EXCEPTIONS: •data abstraction – data types -To delay defining structure … Continue reading →

Posted in java | Leave a comment