Software synthesis tools support the translation of requirements into acceptable software designs. The requirements may be expressed logically, with a deductive design process, or the requirements may come in the form of datasets, with an inductive design process. This session focuses on modularity in software synthesis, and in particular on modular knowledge about requirements, software design, and the structure of the design process. We briefly outline some of the key forms of modularization that arise in these aspects of software synthesis.

1. Requirements
2. Software Design Knowledge
3. Derivations