教学课程资源库 更多>>

关键词： 通识考试   UML建模   J2EE   MVC  

摘要： 基于统一建模语言UML的通识考试系统是根据我校通识考试的实际需求,采用面向对象的方法,运用统一建模语言(UML)建模设计。该文综合利用软件工程的思想,用数据库、管理信息系统等方面的知识和技术,构件一个基于Struts和Hibernate的J2EE架构、B/S结构和MVC设计模式的考试系统。

关键词： 面向对象   单元测试   集成测试   系统测试  

摘要： 软件的测试时软件开发的重要部分,是保证软件质量提高软件性能的关键。面向对象的软件测试具有它自己的特点,需要与传统的软件测试相区别,因此面向对象的软件测试则被分成不同的阶段,本文将面向对象软件测试层次划分为六个个层次,主要介绍了面向对象软件测试的以下三个层次:类测试、集成测试和系统测试。

关键词： 网络教学平台   UML   系统建模  

摘要： UML是一种有力的面向对象的可视化建模工具,可用于描述和构造软件的体系结构。文章对使用UML进行网络教学平台建模一般过程进行了描述,并给出了系统需求模型(静态结构模型和动态行为模型)的详细UML描述。最后对网络教学平台设计与实现中的几个重要问题做进行了讨论。

关键词： 四色UML   架构型   建模  

摘要： 介绍了四色UML建模的四种基本架构型以及它的建模方法,并以食品检测模块开发为例,详细论述了用四色UML建模进行需求分析的过程,对此与传统的UML建模进行对比,最后总结出使用四色UML进行系统分析与设计的效益。

关键词： 程序设计教学   实例拓展法   结构化程序  

摘要： 本文提出将实例拓展法应用于程序设计课程的教学中,介绍结构化程序设计课教学过程中如何选择实例,以引导学生循序渐进地理解相关概念和编程方法。实践证明,通过教学方法的改进,学生的学习积极性和学习效果整体有了明显提高。

关键词： 数字版权管理   权限表达语言   形式化方法   形式化建模分析   OTS   CafeOBJ方法  

摘要： 为更清晰、精确表达DRM(digital right management)中权限这一关键问题,本文提出了一种可扩展的数字权限表达语言(EDREL:Extended Digital Right Expression Language)模型,并利用形式化方法(OTS/CafeOBJ建模方法),对该模型进行了形式化的建模与许可证性质分析.与现有研究相比,本文提出的模型及方法,在解决权限的准确、无二义性表达的同时,还加入了对授权方和被授权方发生权限纠纷时执行轨迹的判断与回溯的考虑以及权限的二次发布的描述,能更好地满足DRM系统中全面和精确地描述各种权限的需求.

关键词： 物流运输   企业信息系统   建模技术   UML   Internet   信息管理系统   现代物流企业   应用  

摘要： 现代物流企业的服务是建立在强大的信息管理系统支撑的基础之上，一个运作是否良好的信息管理系统对于物流企业的采购、运输、仓储、流通加工、装运搬卸、配送等实现集成化、综合化、一体化至关重要。在物流企业供应链管理运作和Internet普及的情况下，

关键词： 列车控制系统   需求规范   形式化方法   UML   属性规范语言  

摘要： 采用基于属性的分析方法,对CTCS-3级列控系统需求规范进行形式化验证。首先建立UML模型并转换为PSL模型。然后通过仿真运行,不断修正该模型,得到可实现的PSL模型。最后运用验证工具对PSL模型进行相关属性的验证,通过反例对错误进行定位和修改。以需求规范中的模式转换为例,采用该方法对其可达性、转移性及死锁性进行验证,验证过程表明基于属性的分析方法适用于CTCS-3级列控系统需求规范的验证。

关键词： 分布仿真应用   广义时空   层级一致性   形式化方法   面向服务架构  

摘要： 时空一致(time-space consistency,简称TSC)是面向服务分布仿真应用(service-oriented distributedsimulation application,简称SODSA)中关键的基础性问题,目前的研究侧重于考虑狭义的时间和空间概念,难以实现建模与仿真全过程的整体一致性.通过分析SODSA的广义时空一致性需求及其不一致的影响因素,引入了系统的全局时空一致性轴概念.在此基础上,提出了广义时空层级一致性构想,包括形式化定义、一致性四域模型、一致性时空成熟度和一致性层级框架.该研究成果深化了对SODSA全局一致性时空需求的理解,有助于解决整个仿真系统的不一致问题,为分布仿真应用全局TSC量化评价奠定了基础.