软件工程中的形式化方法读后感
摘要:
形式化方法是指将离散数学的方法用于解决软件工程领域的问题,主要包括建立精确的数学模型以及对模型的分析活动。狭义的讲,形式化方法是运用形式化语言,进行形式化的规格描述、模型推理和验证的方法。形式化方法运用于软件工程实践当中主要目的是保证软件的正确性。软件开发实际上就是把现实世界的需求映射成软件额模型化... 阅读全文
posted @ 2015-02-25 21:22 成成哦亲 阅读(171) 评论(0) 推荐(0) 编辑