论文部分内容阅读
形式化方法技术和面向对象程序设计技术相结合,可以消除因软件开发初期的需求规格说明因描述的歧义而可能引起的不一致性和不正确性,特别适应于可靠性要求非常高的软件,可以它们发挥各自的优点,更好地开发出高质量的软件产品.
基于Object-Z规格说明形式方法的软件开发
【摘 要】
：
形式化方法技术和面向对象程序设计技术相结合,可以消除因软件开发初期的需求规格说明因描述的歧义而可能引起的不一致性和不正确性,特别适应于可靠性要求非常高的软件,可以
【机 构】
：
湖南科技学院资产管理中心
【出 处】
：
零陵学院学报
【发表日期】
：
2004年6期
其他文献
介绍了几种带补偿措施的串联液压缸的新同步回路的结构、原理、特点,以及在Q11-16×2500剪板机液压系统中的应用.
<正> 在小型热电厂链条锅炉的运行中,常会遇到燃煤热值低而影响锅炉出力,同时链条炉排燃烧层中相当部分的煤未能烧尽,致使锅炉效率达不到设计的数值,影响企业效益。 在炉膛中
传统的教学评价方式存在许多的弊病,评价方式的改革是大势所趋.为此我们选择了大学<基础英语>课程作为个案研究.文章中,我们把重点放在怎样对学生进行评价.设计了一些评价量
<正> 我国水压式沼气池自1920年前后由罗国瑞发明以来,池型结构虽然经过多次改进,但终未完全改变20年代罗国瑞研究的全地理式天然瓦斯库的模式。 90年代以来,我们研究设计了
芦笋和胡萝卜均为烟台市重要的创汇蔬菜和商品蔬菜，芦笋可加工成罐头或速冻品，胡萝卜可生产胡萝卜汁出口。芦笋是多年生草本植物，一次种植，多年收获，一般从定植后第3年开始采收鲜
<正> 中轧厂房(包括酸洗、机修、煤场等)原有照明灯520盏,照明容量达254kW,年耗电148万kWh,约占中轧厂总用电量的8％左右。由此可见,照明耗电是相当可观的。为了节约照明用电,
近年来，山东省郓城县武安镇特种蔬菜发展基地开发的蔬菜珍品——地参，以其营养独特、性能显著、种植简单、效益丰厚、市场巨大而受到各地种植户的青睐，成为农民致富的新品种。
电力紧张历来是我省经济发展的制约因素之一。近年来峰谷用电量差距日趋增长,出现了峰电不够、谷电富余的局面,为鼓励用户多用低谷电,各地逐步实行了峰谷分时电价的政策。水
<正> 在市场经济的发展与竞争中,霓虹灯作为广告与装饰,广泛用于商业区及娱乐场所。该灯属气体放电灯,需经过变压器的升压和限流,才能使灯管起辉放光。过去沿用的电感式漏磁
<正>一、前 言 我国的热电联产事业。由于其节约能源、缓解电力紧张、改善环境质量等优点,因而得到高速发展。区域性热电厂的产品是热和电,过去热电厂和热用户之间对热价时