Enviar aquest missatge de text: Induction in component-based software synthesis