2016年4月18日
形式化说明技术以及图书流通系统。
摘要： 1、在什么情况下应该使用形式化说明技术？使用形式化说明技术时应遵守哪些准则？ 人们在理解用自然语言描述的规格说明时，容易产生二义性。为了克服非形式化方法的缺点，人们把数学引入软件开发工程，创造了基于数学的形式化说明技术。 应用形式化方法的准则：应该选用释放的表示方法；应该形式化，但不要过分形式化；应 阅读全文
posted @ 2016-04-18 21:31 王柳琴2014551505 阅读(393) 评论(0) 推荐(0) 编辑