论文部分内容阅读
从瀑布式程序设计的角度，综述了苛求系统软件生命周期各阶段的可靠性方法、技术和模型，包括需求形式化建模与验证、屏蔽设计错误的多版本软件容错、函数式程序设计以及可靠度评估模型等。总结比较各自适用的开发阶段、面向的目标错误类型及优缺点。
苛求软件可靠性方法、技术与模型研究
【摘 要】
：
从瀑布式程序设计的角度，综述了苛求系统软件生命周期各阶段的可靠性方法、技术和模型，包括需求形式化建模与验证、屏蔽设计错误的多版本软件容错、函数式程序设计以及可靠度评
【机 构】
：
同济大学电子与信息工程学院
【出 处】
：
城市轨道交通研究
【发表日期】
：
2012年2期
其他文献
如何在比比皆是的电视民生新闻栏目中脱颖而出，并且在众多形式各异的节目中有效抢占市场收视份额？“无民生不经济，无经济不民生。”因此，民生新闻改变传统单一的“民生新闻”，创新
【正】互联网、宽带技术、移动通信等新兴媒体业务的迅猛发展,手机电视、视频网站、贴吧、论坛、博客、微博等新型信息传播方式的兴起,给传统媒体带来了新的考验。地市级电视
【正】新闻稿每天通过各种渠道,源源不断地涌入编辑部,代表着各种不同的看法和观点。编辑的责任就在于对它们做出准确的判断,把真正重要的新闻奉献给读者,如实地反映社会生活
2011年，北京市公共交通日均客运量1964万人次，较去年增长3．9％，其中轨道交通日均客运量598万人次，同比增长18．2％，最高日达758万人次。
全国＂两会＂谢幕了。在媒体的高密度轰炸下,＂两会＂的各项内容议程、国家出台的大政方针、高层的人事布局甚至反对票数等等都坦露在大众面前,这是媒体的贡献。然而一些媒体＂蜂拥而上
综合联调是地铁设备系统开通前的最后一次全面调试。其目的是为了证明地铁各相关专业的设备系统可以有机地结合在一起进行有效的工作,以保证轨道交通正常运营。经过综合联调
2013年3月1日晚7点多,20岁出头的小程在骑摩托车下班回家的路上,撞倒了年过八旬的老人万某。万某当时昏迷不醒,小程立即拨打了120急救电话,并联系自己父母,把老人送到医院。
身体效应是一种心理投射机制，是一场虚拟世界中的仿真体验，是观众反观自身的潜意识反应。孩童时，我们喜欢接受寓教于乐的方式，这种方式也适应成年人．因为人的身体效应决定了这种喜
虽然在去年上半年限娱令实施之后。省级卫视晚间黄金时段的综艺节目播出比重降幅高达30％．但市场上仍然出现了许多优秀的节目，如《中国好声音》《我是歌手》等，这些节目博得了高收