Tom Kelliher, CS 319
Sept. 29, 2000
Production schedule for tasks for master schedule?
Read Chapter 22.
Requirements definition and specification.
- Design: process, strategies, and quality.
Verification and validation.
- What process do you see in your software designs?
- Design is a creative process, not really adaptable to formal methods.
- General stages:
- Study and understand the problem.
- Identify gross features of at least one possible solution.
- Analyze each abstraction used in the solution.
- Design activities (may be overlapped). Starting from requirements
- Architectural design: identify and document sub-systems.
Deliverable: system architecture.
- Abstract specification: for each sub-system, an abstract
specification of services and constraints. Deliverable: software
- Interface design: for each sub-system, design and document its
interface(s) to other sub-systems. Deliverable: interface
- Component design: assign services to components. Design component
interfaces. Deliverable: Component specification.
- Data structure design: design and specify in detail. Deliverable:
data structure specification.
- Algorithm design: design and specify in detail. Deliverable:
- Structured methods don't mean that there is only one correct design.
Example: step-wise refinement. Formal way of ensuring the design remains
true to the requirements specification.
- Design descriptions and models.
- Top-down design style.
- System viewed as a collection of functions.
- Function = action.
- Centralized, shared system state.
- Bottom-up design style.
- System viewed as a collection of objects.
- Object = entity.
- Decentralized, private object states.
They are complementary styles. Often combined during a design
``Quality is job 1.''
- Arbitrary, but important attributes should be identified in advance
for assessment purposes.
- Multi-dimensional: increasing along one axis may decrease others.
Seem to support maintainability.
- Closeness of relationship between components.
- Cohesive component is a single unified part of the solution. Implies
ease of modification because everything's in one place.
- Several levels of cohesion: coincidental, logical, etc.
- Strength of interconnections between components.
- Loose coupling implies I can understand a component design without
referring to other component designs.
- Common coupling: shared variables. Control coupling: interchange of
- Premature binding of names to values.
- Implies others will be able to change the design.
- Cohesion and coupling: high and low.
- Meaningful names.
- Documentation: presentation of real world model, rationale
- Complexity: interconnectedness, control structures.
- the double-edged sword of inheritance: abstraction and
- Implies design is easy to change.
- Traceability through design layers.
- Self-contained components (stronger requirement than loosely
- Inheritance is good.
What qualities might be important in an on-line banking system?
12.5, 12.7, 12.8.
Thomas P. Kelliher
Thu Sep 28 16:51:20 EDT 2000