Software Schemas
- Similar to reuse of code, but more abstract.
- A wider range of things can be parameterized: code, data types, etc.
- Abstraction: abstracts code, data structures.
- Selection: there may be machine help in finding possibly applicable
modules. Must then prove preconditions.
- Specialization: substituting language constructs into parameterized
parts of schema, or choosing options.
- Integration: done in implementation language, or by composing schemas.
- Cognitive distance: abstraction allows description of what rather
than how. However, formal description of even simple abstractions is
difficult.
Contents   
Page-10   
Prev   
Next   
Page+10   
Index