A paradigm for software module specification with examples | Synapse