论文部分内容阅读
主要讨论如何把形式化方法应用于面向对象的软件开发过程中 ,以提高软件的安全性和可靠性 ,并给出一个小型交通控制系统的形式化规范和验证实例。
基于形式化的面向对象开发方法（FMOO）
【摘 要】
：
主要讨论如何把形式化方法应用于面向对象的软件开发过程中 ,以提高软件的安全性和可靠性 ,并给出一个小型交通控制系统的形式化规范和验证实例。
【出 处】
：
计算机应用
【发表日期】
：
2000年5期
【基金项目】
：
原邮电部高等院校中青年教师科学基金
其他文献
目前，在中波广播发射机中高压系统电源电压均为230V和115V两种，用以给功放级和推动级的功放模块供电。高压电源系统原理图如图1所示。配电柜送来三相380V交流电通过高压一档接
设计了一套基于PLC和组态软件的电站通风控制系统。系统以工控机为上位机，以三菱FX2N系列PLC为下位机，实现了电站通风系统的远程控制和自动控制。
水冷式潜水泵绕组烧坏的主要原因是水泵缺水运行。本文介绍了单相水冷式潜水泵智能保护控制器的总体设计思路，并给出了详细的硬件电路图和软件流程。
本文分析了热敏电阻（NTC）及转换电路的非线性对测温及控制精度的影响，给出了一种实用的线性集成转换电路和并联三点式直线拟合方法，并讨论了基于LabVIEW软件平台下运用校正函数法
介绍了唐钢炼焦制气厂1,2号焦炉集散控制系统的组成、功能和控制算法,并针对炼焦生产的交换机交换干扰和工艺参数要求连续不间断控制等问题,提出了相应的解决方案.
入侵检测系统是网络安全的重要组成部分,随着网络技术的发展,网络攻击的手段呈现多样化,入侵检测系统自身的误报漏报及海量信息的涌现,使得人们必须谋求突破,使入侵检测系统
白血病是一类造血干细胞恶性克隆性疾病。克隆性白血病细胞因为增殖失控、分化障碍、凋亡受阻等机制在骨髓和其他造血组织中大量增殖累积，并浸润其他组织和器官，同时正常造血受
2014年，辽宁省广播电视监测中心对7个市县前端进行了第二期广播电视监测系统升级改造工程。对原有的广播、电视工控机进行了CPCI机柜、板卡的改造升级。这套新设备不仅能够对