教学课程资源库 更多>>

关键词： 监控系统   移动终端   设计模块   水情信息   相关技术   系统功能需求   功能模块   三层体系结构   体系结构设计  

摘要： 本文主要解析基于移动终端的汛情监控系统的设计,以为相关技术人员的日常工作和技术探索提供有用的参考。

关键词： 形式化方法   数据库管理系统   PVS定理证明  

摘要： 基于安全策略模型的形式化分析对于数据库管理系统达到高安全保障等级的重要性,提出了新的基于PVS的数据库安全策略模型分析方法,该方法结合了PVS函数式语言的特点,通过一系列算法和流程展示了模块化的系统状态、安全属性、操作规则的定义过程.借助PVS定理证明器对BeyonDB数据库管理系统进行安全性分析,结果表明,该方法不但能够提高形式化建模效率,而且可以有效地发现系统设计中存在的漏洞.

关键词： 自动化集装箱码头   形式化方法   模型检验   时间自动机   UPPAAL  

摘要： 研究了一个用于将集装箱从货船运输到码头的自动化系统。系统由控制中心及多种设备构成,并由控制中心选择合适的设备来运输集装箱。由于各设备是并发工作的,加之设备与控制中心间存在复杂的信号交换,故运用形式化方法清晰地对系统进行描述显得尤为重要。因此,应用模型检验工具UPPAAL,对自动化码头系统进行了系统建模和分析验证,从而确保了系统设计的效率和正确性。

关键词： UML   煤炭工业局   办公自动化   建模  

摘要： UML(Unified Modeling Language,统一建模语言)是面向对象分析和设计过程中重要的建模工具。在分析了UML建模机制的基础上,以七台河市煤炭工业局办公自动化系统的开发为背景,采用UML建模工具进行需求模型、静态模型和动态模型的可视化建模,提出了煤炭工业局办公自动化系统建模的解决方案。并进行系统实现,验证了该系统建模方案的有效性。

关键词： 企业重构   Web   Services   PDM   体系结构设计  

摘要： 主要阐述了在企业重构的趋势下,对企业原有的PDM系统进行升级设计,构建了基于Web Services的系统架构来适应业务模式的改变,详细叙述了该系统的高层体系结构设计及子系统设计。

关键词： 软件构件   体系结构   软件开发与集成平台  

摘要： 基于构件技术的软件开发模式是软件产业发展的必然趋势。在对构件技术研究的基础上,介绍了基于构件的软件开发与集成过程,提出了软件平台体系架构和平台实体模型,重点设计了构件开发向导、构件集成框架、界面布局管理和构件通信总线,规范了构件的标准接口、显示方式和通信模式,为提高软件开发效率、质量及复用扩展性提供了有力保证。

关键词： B   S   网络考试   UML建模   数据库  

摘要： 结合我们开发的河南工业和信息化职业学院网络考试系统,在详细论述了本系统的分析与设计的基础上,最终实现了基于B/S模式以***技术为支撑以后台数据库为基础的网络考试系统。

关键词： 设备驱动   驱动模型   UML建模   嵌入式系统  

摘要： 由于嵌入式Linux系统中设备驱动软件体系结构和设备驱动之间关系复杂和依赖性强,仅从代码层面考虑设备驱动的开发,不但会增加开发的复杂度,而且不利于驱动程序的移植。为了能够正确的开发设备驱动程序,提出了一种设备驱动的UML(统一建模语言)建模分析方法。该方法使用UML首先对Linux中的相关设备体系建立结构模型,然后再建立设备驱动的功能模型、架构模型和动态行为模型。以嵌入式设备中电池管理芯片的驱动实现的过程为例,阐述了使用UML建模方法,达到简化驱动程序的设计与实现,提高驱动程序的可移植性,方便生成测试用例等目的。

关键词： 面向对象   软件测试技术   软件开发过程   计算机界   测试方法   测试用例   功能模块   代数规约   系统测试   计  

摘要： 面向对象软件开发是当前计算机界关注的重点,对面向对象软件进行深入研究和开发,是促进计算机编程技术发展的一个必然要求。面向对象软件测试在面向对象软件开发过程中起着非常重要的作用,是整个开发过程中不可或缺的一个关键部分。目前,我国的面向对象软件测试技术研究和使用的力度还比较弱,无法真正体现其在软件开发过程中作用。因此,为了更加详细的了解该技术,本文对该技术的特点、测试概况以及覆盖准则等方面进行深入探讨。

关键词： 体系结构   零售管理信息系统   J2EE  

摘要： 根据石油企业零售管理信息系统的应用体系及结构特点进行分析与研究,剖析J2EE标准架构的特点及优点。在此基础上,给出石油企业基于J2EE的零售管理信息系统的总体设计理念。