论文部分内容阅读
软件可靠性工程不仅是软件模型的应用，同时也是通过软件生命周期进行费效比分析等工程手段来开发可靠性软件基本原理的应用。净室软件工程法可用来开发高可靠性软件。该文讨论了对净室软件工程方法的扩充，强调了高级设计技术及相关方法在软件可靠性确认中的应用。
可靠软件的开发及认证方法
【摘 要】
：
软件可靠性工程不仅是软件模型的应用，同时也是通过软件生命周期进行费效比分析等工程手段来开发可靠性软件基本原理的应用。净室软件工程法可用来开发高可靠性软件。该文讨论
【机 构】
：
工程大学计算机系
【出 处】
：
1999年全国理论计算机科学学术年会
【发表日期】
：
1999年期
其他文献
舵机系统基本上属于机械控制系统，工作环境和使用条件比电子产品复杂，过去应用于电子产品的比较完善和经典的可靠性理论和实践方法已不大适用。针对这种情况，该文采用干涉理论，考
《数学新课标》中明确提出要让学生经历学习的全过程，让学生在数学学习活动中获得成功的体验。那么什么是“体验学习”呢？记得一位名师说过：“体验学习”是指让学生置身于一定的
闭合电路的动态问题是参加高考考生感觉到最为头痛的的问题，电路动态分析类问题是指由于断开或闭合开关、滑动变阻器滑片的滑动等造成电路结构发生了变化。一般分析电路动态常
利用MrSID压缩软件对46GB真彩色正射影像数据进行高压缩比压缩,根据用户需要,选择大量的矢量数据.在Visual Basic 6.0中嵌入MapObjects2.0,开发出天津市市区真彩色正射影像库
本文旨在结合新时期初中数学学困生的特点，探究学困生的转化策略，找准促其进步的突破口，因势导利，让学困生在数学学习中体验数学带来的快乐，发现数学之美。
物理学科中解题的关键是审题。平时在解题中我们如果养成良好的审题习惯，把握好审题的几个重要环节，以最佳的心态认真审题，就能找出解题的最佳途径，从而取得解题的最佳效果。
该文介绍了软件的安全性，探讨了安全苛刻软件的开发与认证问题，指出Ａｄａ是开发安全苛刻软件的理想语言，给出了Ａｄａ安全苛刻软件的开发和认证方法及软件工具需求。
“追问”顾名思义是追根究底地问。教学意义上的“追问”是学生基本解答教师预设的问题后，有针对性地进行“二度提问”，其目的是引领学生进一步发现问题、解决问题，走进问题的纵
信息技术是目前小学数学课堂教学常用的教学工具。应用信息技术能够提高小学生学习数学的兴趣，降低其学习数学的难度以及促进学生合作能力的提高。