CISC 2200 Chapter Notes - Chapter 1: Postcondition, Problem Solving, Information Hiding
16 Sep 2018
School
Department
Course
Professor
Document Summary
Data abstraction: technique for increasing the modularity of a program. Inheritance supports reusing defined classes for a related purpose by extending or making slight modifications to that implementation: polymorphism enables compiler to determine which operations is required in a particular situation. Coupling: coupling: measure of the dependence among modules, modules should be loosely coupled, benefits of loose coupling, create a system more adaptable to change, creates a system that is easier to understand, increases module reusability, increased cohesion. Specifications: should write specifications for each module before implementation. Operation contracts: operation contract documents how a method can be used & what limitations it has, module"s contract specifies module"s purpose, assumptions, input, & output, shouldn"t describe how a module will perform its task. Important to specify the data flow among modules: precondition: statement of the conditions that must exist @ the beginning of a function, postcondition: statement of the conditions @ the end of the function, precise documentation is essential.
