Software Synthesis for Information processing Systems