论文部分内容阅读
形式化方法是一种基于数学的表示方法.它的意义在于它能帮助发现其它方法不容易发现的系统描述的不一致,不明确或不完整,有助于增加软件开发人员对系统的理解,因此形式化表示方法是提高软件系统,特别是Safety-Critical系统的安全性与可靠性的重要手段.
关于形式化方法与软件可靠性的研究
【摘 要】
：
形式化方法是一种基于数学的表示方法.它的意义在于它能帮助发现其它方法不容易发现的系统描述的不一致,不明确或不完整,有助于增加软件开发人员对系统的理解,因此形式化表示
【机 构】
：
内蒙古民族大学计算机科学与技术学院
【出 处】
：
内蒙古民族大学学报：自然科学版
【发表日期】
：
2010年2期
其他文献
汽车发动机在工作时，因使用燃料不当、载荷突然加大或点火提前角调整不当都会引起爆震燃烧．目前使用的磁致伸缩式传感器响应速度较慢，而压电传感器的高频响应特性好，但其低频响应
目的：观察枸杞子-7对子宫内膜异位症大鼠血液流变学的影响,探讨枸杞子-7治疗子宫内膜异位症的作用机理.方法：将60只健康雌性Wistar大鼠随机分为6组,造模成功后分别喂药1个月后
郁达夫的第一部小说集《沉沦》,赢得了众多读者的喜爱。其艺术魅力在于对生命体验真诚阐发,为中国文学带来了新鲜的空气。《沉沦》刚一出版,便受到了青年们的追捧,郁达夫在中
抽象表现主义绘画，是第二次世界大战后在美国兴起并且获得全球影响的艺术运动，纽约从此成为了西方艺术世界的中心。抽象表现主义艺术有一个形成和发展的过程。抽象表现主义艺术
随着蒙古文网站开发技未的成熟，蒙古文网站层出不穷．但是蒙古文网站中的蒙文字体与中文、英文字体相比不是模糊发虚就是有明显的锯齿，针对这个问题本文首先分析了字库显示技术的
记述了我国蒙新区草盲蝽复合组昆虫5属、34种,其中包括1个新种（短喙后丽盲蝽Apolygus brevirostris sp.nov.）.
介绍了关于高效能软件开发团队的建立和管理.开发团队的管理采用极限编程的原理,通过结队编程和迅速反馈来提高软件开发的效率,通过对项目进展的各项关键参数进行跟踪和控制,
目的：观察自拟桃红汤加减治疗异位妊娠的辨证施护。方法：根据临床辨证分型筛选出48例异位妊娠患者,进行自拟桃红汤辅以MTX、米非司酮进行治疗,2周为1个疗程,3个疗程后统计疗效
目的：通过研究高危妊娠孕妇产前的综合护理，来进一步的对高危妊娠孕妇产前的护理需求以及干预措施效果进行探讨和分析。方法：选择本院2014年6月到2015年6月收治的90例高位妊娠孕