论文部分内容阅读
论述了安全可靠软件系统的重要性,研究了软件工程化开发过程.在此基础上,探讨了提高软件高可靠性技术与CASE工具有机结合、设计与实现高可靠性软件系统的过程.
安全可靠软件系统的设计与实现
【摘 要】
：
论述了安全可靠软件系统的重要性,研究了软件工程化开发过程.在此基础上,探讨了提高软件高可靠性技术与CASE工具有机结合、设计与实现高可靠性软件系统的过程.
【机 构】
：
东北电子技术研究所
【出 处】
：
光电技术应用
【发表日期】
：
2004年1期
其他文献
"吏为民役"思想是由唐朝著名思想家柳宗元提出的.郑观应用君主与民众应是服务与被服务的关系诠释"吏为民役".谭嗣同用民本君末的道理阐述"吏为民役".柳宗元的勤政思想得到李
双模复合寻的制导是精确制导武器的重要制导方式.介绍了雷达/红外双模复合寻的制导技术,提出了一种对抗雷达/红外双模复合寻的制导导弹的冲淡干扰方法,并通过干扰效果分析说
目的了解平度市的地方性氟中毒防制现状。方法按照《地方性氟中毒防制现状调查方案》的要求,对原地方性氟中毒病村和疑似病村进行流行病学调查,水、尿氟用氟离子电极法测定,
由于卖淫嫖娼属违法犯罪行为，暗娼的活动就十分隐蔽，她们都不愿公开承认自己的身份，主动监测的调查问卷中又涉及许多很私密的隐私，所以要想取得真实全面的信息，实际操作起来难度较
介绍了等截面毫米波箔条弹关键性工艺技术问题及解决方法,从而使毫米波箔条弹的设计和生产成为可能.
【正】 青年,作为朝气蓬勃、充满生命力的一代,带着对未来的憧憬和幻想、对理想的向往和追求,加入了社会生活的行列。在青年前进的道路上,文艺按照生活的轨迹,以对时代、人生
以P89C51RD+系列单片机为基础,通过简单的软硬件设置,利用串行口实现MPU与PC机的通信.控制指令由PC机发送,经串行口到达MPU,由MPU分析处理后产生控制脉冲,实现对步进电机的控
目的预测未来几年山东省碘缺乏病防治效果，提出相应防治措施。方法以1995-2004年山东省碘缺乏病监测数据为依据，用灰色动态预测模型对非碘盐率、居民合格碘盐食用率、甲状腺肿
2006年11月14日，英国《简氏导弹与火箭》报道，目前，美国海军和海军陆战队正在对洛克希德·马丁公司正在研发的“宝石路”Ⅱ双模激光制导炸弹（Dual Mode Laser Guided Bomb，DML