An overview of the software development process -- Requirements analysis -- Operational specification -- Functional specification: high-level design -- Mapping operations to functionalities -- Module specification: low-level design -- Mapping the operations to modules -- Choosing the apppropriate language metaphor -- Measuring software design -- System architectural trade-offs -- The structure of an executing program -- Maintaining the specifications -- The software development infrastructure -- Specification-driven verfication and validation -- Direct banefits of specification traceability

1. Computer software -- Development
2. Software architecture