2015年2月1日
软件工程概论通读第五章
第五章：软件工程中的形式化方法 形式化方法是指将离散数学的方法用于解决软件工程领域的问题，主要包括建立精确的数学模型以及对模型的分析活动。软件的设计过程就是一个建立形式规约的过程。实际上就是把现实世界的需求映射成软件的模型化过程即在现实世界、模型表示和计算机系统之间进行描述和转化的过程。开发过程中的... Read More
posted @ 2015-02-01 14:56 so#what Views(120) Comments(0) Diggs(0) Edit