【摘 要】
：
用一般的方法开发设计一些关键性的系统时不可避免的会出现一些错误, 而这些错误会随着开发过程一直存在并最终会对系统造成很严重的影响. 所以能在系统的开发阶段就检测并消
【基金项目】
：
院科研项目《基于形式方式的软件开发研究》（湘科院院字[2004]36号）
论文部分内容阅读
用一般的方法开发设计一些关键性的系统时不可避免的会出现一些错误, 而这些错误会随着开发过程一直存在并最终会对系统造成很严重的影响. 所以能在系统的开发阶段就检测并消除这些错误是很重要的, 结合形式化方法会是一个很好的解决渠道.形式化技术和面向对象程序设计技术相结合,可以消除因软件开发初期的需求规格说明因描述的歧义而可能引起的不一致性和不正确性,特别适应于可靠性要求非常高的软件,可以它们发挥各自的优点,更好地开发出高质量的软件产品.
其他文献
纽曼在系统地阐述自由教育的概念、标准、目的及其内容的基础上,提出了解决自由教育与职业教育关系问题的观点和主张,为后世解决这一问题提供了有益的借鉴和启示.
理论上，公立医院治理结构被视为在公立医院参与各方（出资人、医生、经营者、患者、供应商）的自我保护机制，当这种保护缺乏或者“不适应”的时候，参与方就会提高价格。实践中，我国公
今天的题目非常好：人文与理性。医患关系紧张到今天．各位专家都从政府层面、媒体层面、患者层面、医患层面说这个问题。我认为更多时候要从我们自身从业人员方面来讲。第一，医学
以自建语料库为基础，采用中介语对比分析法，从典型搭配和语义韵两个方面，对比了中外学者医学科研论文中的学术词汇搭配行为。结果显示，中国学者在搭配范围、地道性和语义选择趋向
如何看待当今中国的医患关系．我更愿意从宏观俯视。2004年以来，我国医疗卫生改革做了积极有效的努力．特别是医疗服务的提供：2002年全国医疗卫生机构总诊疗人次21．5亿；2008年25．6亿；20
通过对本校医学院20年本科肿瘤学教育的经验总结,阐明在医学院校中开展肿瘤学教育的必要性。肿瘤学并不是小科目;在教学中应重视对基础知识的复习,突出专业知识,解决难点、疑