| 
|
Quote: the connections between parts of programs are the assumptions that the parts make about each other; these connections limit change and make proof difficult
topics >
all references >
references p-r >
Topic:
separate a module's interface specification from its implementation
Topic:
information hiding
Topic:
dependency analysis
Topic:
identifying program modules
Quotation Skeleton
The connections between program parts are the assumptions … much more extensive than the calling sequences and … [consider] two situations in which the structure of … correctness. … Systems in which the connections between parts contain … Google-1 Google-2
Copyright clearance needed for quotation.
Additional Titles
Quote: well-structured programs limit the assumptions that parts make about each other
Topic: separate a module's interface specification from its implementation (86 items)
Topic: information hiding (50 items)
Topic: dependency analysis (31 items)
Topic: identifying program modules (26 items)