论文部分内容阅读
对形式化B方法与UML结合在软件需求分析中的特点进行了说明,描述了UML设计过程,指出了利用不同的可视框图,表示系统的不同方面,并使用B方法进行表示,从而为建立系统提供保障.
公交信息综合查询系统的B方法设计与实现
【摘 要】
：
对形式化B方法与UML结合在软件需求分析中的特点进行了说明,描述了UML设计过程,指出了利用不同的可视框图,表示系统的不同方面,并使用B方法进行表示,从而为建立系统提供保障.
【机 构】
：
泰州学院,江苏泰州,225300
【出 处】
：
电子设计技术
【发表日期】
：
2013年10期
其他文献
系统以LM386音频功放和红外发射对管为主的红外光通信装置为核心,由红外发射接收模块,功率放大模块,温度检测模块,高通滤波模块和显示模块共五部分构成.系统采用多级功放解决
本文介绍一款以SPCE061A单片机为控制核心的,具有寻迹、避障、语音播报、自动售货等功能的智能售货系统,该系统采用模块化控制.利用模糊控制算法,实现自动寻迹;采用超声波检
本文提出使用8031单片机构成可控时限的过流继电器,并给出了数据模型及算法分析、电路结构设计和仿真结果.使用该继电器可以方便地实现极限反时限特性的可控性,同时可以方便
在温室中布局各种传感器用于采集温室内环境参量,以飞思卡尔公司的高性能CORTEX M4核处理器作为中央处理单元对传感器采集的数据做实时处理来实现对执行单元的智能控制,此外
该数显示脉搏测试仪,由放大电路模块,滤波模块,整形电路模块,定时电路模块和数字电路模块等组成.其功能是使每分钟脉搏跳动的次数以十进制数的形式在数码管上显示出来.因为在
本文主要根据部分高校信息管理与信息系统专业办学特色,针对目前高校信息管理专业情况,结合学科的发展与市场人才需求,从而提出信息管理与信息系统专业发展需要坚持的原则与
SQL语句是数据库应用中一个非常关键的部分,它执行性能的高低直接影响着应用程序的运行效率.正因为如此,人们在SQL语句的优化上投入了很大的精力,出现了许多SQL语句优化工具.
随着人们物质生活的极大提高,所带来的环境问题已近开始影响着人们的健康,健康的问题已经成了社会生活的主要话题.而所带来的大量医疗费用一直是人们所顾虑的,其中心脏的问题
进入21世纪以来,信息技术得到了迅猛的发展,图书馆管理也开始大量使用计算机技术和设备,建立完善的图书馆管理系统,实现图书馆管理的信息化、数字化、智能化和现代化.一般的