| 
|
Quote: dependency specification better than dependency graph; no transitivity problem, allows polymorphism, supports pre- and post-conditions, enables substitutivity
topics >
all references >
references i-l >
Topic:
separate a module's interface specification from its implementation
Topic:
program proof via assertions
Topic:
dependency analysis
Quotation Skeleton
These [dependency] notions address some but not all … [dependency graph] model: -- There is no transitivity problem, because of the … -- The use of polymorphic modules is clarified. … -- A precondition is represented by a dependence … distinct specifications associated with data flows in opposite … [of modules] comes easily as a byproduct of the use of specifications. … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: separate a module's interface specification from its implementation (86 items)
Topic: program proof via assertions (61 items)
Topic: dependency analysis (31 items)