2015年2月10日

软件工程概论-5软件工程中的形式化方法

摘要： 在软件工程实践中运用形式化方法可以保证软件的正确性。目前，从形式规约到目标软件系统的可实现和可执行角度，已建立的形式化方法分为操作类和描述类。操作类方法基于状态和转移，通过可执行模型来描述系统，而描述类方法基于数学公理和概念，通过逻辑或代数给出系统的状态空间，具有高度抽象的特点。形式证明与验证... 阅读全文

posted @ 2015-02-10 19:40 wshtl 阅读(450) 评论(0) 推荐(0)

导航