形式化方法模型的特点
在开发中使用形式化方法时，它们提供了一种机制，能够消除使用其它软件过程模型难以克服的很多问题。
二义性、不完整性、不一致性能被更容易地发现和纠正，而不是通过专门的评审，是通过对应用的数学分析。
形式化方法提供了可以产生无缺陷软件的承诺。
2022-11-21 10:08:06
292KB
1
掌握Powerdesigner中用例建模和对象建模的基本工具和操作方法；依据实验一中“医院病房(门诊)管理系统管理系统的需求给出对应的用例图和（简化）类图。
2022-11-19 17:28:11
762KB
1
掌握Powerdesigner中状态图和时序图建模的基本工具和操作方法；从实验四所确定的用例图中任意选取2到3个用例进行动态建模，并根据建模成果对类图进行设计完善。要求至少建立2个时序图。
2022-11-19 17:27:22
527KB
1