数学在软件工程中主要应用在什么地方?