mathematically based techniques whose purpose are to help with the implementation of systems and software