Title: Software Synthesis Using Generic Architectures