2016年4月5日
在什么情况下应该使用形式化说明技术？使用形式化说明技术时应遵守哪些准则？
摘要： 在开发大型软件系统的过程中应该使用形式化说明技术。 应用形式化方法的准则：（1）应该选用适当的表示方法。（2）应该形式化，但不要过分形式化。（3）应该估算成本。（4）应该有形式化方法顾问随时提供咨询。（5）不应该放弃传统的开发方法。（6）应该建立详尽的文档。（7）不应该放弃质量标准。（8）不应该盲目 阅读全文
posted @ 2016-04-05 20:39 陈甜甜2014551510 阅读(712) 评论(0) 推荐(0) 编辑