formulating the software Synonym