Mathematical Methods of Specification and Synthesis of Software Systems