论文部分内容阅读
形式化方法技术和面向对象程序设计技术相结合,可以消除因软件开发初期的需求规格说明因描述的歧义而可能引起的不一致性和不正确性,特别适应于可靠性要求非常高的软件,可以它们发挥各自的优点,更好地开发出高质量的软件产品.
基于Object-Z规格说明形式方法的软件开发
【摘 要】
：
形式化方法技术和面向对象程序设计技术相结合,可以消除因软件开发初期的需求规格说明因描述的歧义而可能引起的不一致性和不正确性,特别适应于可靠性要求非常高的软件,可以
【机 构】
：
湖南科技学院资产管理中心
【出 处】
：
零陵学院学报
【发表日期】
：
2004年6期
其他文献
介绍了几种带补偿措施的串联液压缸的新同步回路的结构、原理、特点,以及在Q11-16×2500剪板机液压系统中的应用.
传统的教学评价方式存在许多的弊病,评价方式的改革是大势所趋.为此我们选择了大学<基础英语>课程作为个案研究.文章中,我们把重点放在怎样对学生进行评价.设计了一些评价量