码迷,mamicode.com
首页 > 其他好文 > 详细

第六周作业

时间:2016-06-02 21:43:23      阅读:1005      评论:0      收藏:0      [点我收藏+]

标签:

举例对比形式化方法和欠形式化方法的优缺点

形式化说明:

优点:1.简洁准确的描述物理现象,对象获动作的结果。

2。可以在不同软件工程活动之间平滑的过度。

3。它提供了高层确认的手段。

缺点:大多形式化的规格说明主要关注系统的功能数据,而时序的问题,控制和行为等方面的需求却更难于表示。

 

非形式化说明:

优点:难度低

缺点:可能存在矛盾,二义性,含糊性,不完整性

级抽象层次混乱等问题

 

第六周作业

标签:

原文地址:http://www.cnblogs.com/zdld/p/5554244.html

(0)
(0)
   
举报
评论 一句话评论(0
登录后才能评论!
© 2014 mamicode.com 版权所有  联系我们:gaon5@hotmail.com
迷上了代码!