教学课程资源库 更多>>

关键词： UML   电能计量   管理系统  

摘要： 通过对电能计量管理系统需求的分析,详细探讨了UML建模技术在开发过程中的应用。运用UML进行建模可以提高系统开发效率和质量。

关键词： UML   E-Commerce   UseCase  

摘要： 为更好的开发电子商务系统,采用统一建模语言(UML)对电子商务系统进行建模,通过对该电子商务系统的开发表明,UML为开发复杂系统提供了简洁描述的能力,提升面向对象的分析和设计使得软件开发过程有据可依,保证软件产品的高质量。

关键词： UML   汽车租赁管理系统   建模  

摘要： 该文以汽车租赁管理系统开发为背景,利用UML建模语言,分析了系统的用户需求模型、静态模型、行为模型和实现模型。并针对传统汽车租赁管理系统的局限性设计出一套基于UML建模的汽车租赁管理系统。此系统能显著促进软件开发管理透明化,促进软件重用和提高汽车租赁企业整体效益。

关键词： 循环执行   循环终止   形式化方法   自动化   程序验证   缺陷修正  

摘要： 提出了一种求解命令式程序中循环执行和终止条件的方法。该方法基于循环代码本身进行循环执行和终止条件的分析推导,可以定义一个原型工具进行自动化推导。现有的形式化方法依赖于形式化规范,而提出的方法适用于未被形式化的程序。提出的形式化方法可以在一个原型工具中实现,通过该工具来推导循环执行和终止条件,辅助程序验证和程序缺陷修正。

关键词： UML   面向对象   图   网上选课  

摘要： 本文讨论了面向对象技术的基本概念和UML建模语言,分析了高校学生网上选课的特点,结合软件工程和面向对象技术,设计了基于UML用例图和顺序图等的学生网上选课系统模型,并运用UML的活动图描述了学生网上选课的工作流程。

关键词： 软件工程实践   开源软件   教学改革  

摘要： 软件工程实践课程是大学软件工程专业的重要基础课程。本文首先结合国际国内软件工程专业教育规范分析了软件工程实践课程的教学与实践现状,然后有效融合理论、技术与实践方法,分别从教学过程模式、实践的层次结构、过程考核管理等方面入手,较为全面地探讨了软件工程实践课程的教学内容组织和实践活动改革,最后提出了以实践过程改进为目标的课程改革展望。

关键词： 探究式教学法   程序设计教学   结构化   合作   计算机教学   教学方法   发现法  

摘要： 合作探究式教学法很少在计算机教学中进行运用和实践。笔者认为这种教学方法适宜于结构化程序设计教学的特点与要求。＂合作探究式教学法＂又称发现法、研究法,

关键词： IDEF   UML   映射规则:系统建模  

摘要： 为对复杂系统进行建模,提出了一种IDEF和UML相结合的建模方法。该方法采用IDEF0、IDEF1X及IDEF3建立的IDEF模型,然后通过映射规则将IDEF模型转换为UML模型,再经过详细设计形成完善的UML模型以进行面向对象软件设计。本文重点研究了IDEF转换为UML模型的映射规则。

关键词： 面向侧面的体系结构描述语言   面向侧面的软件开发方法   支持运行监控的可信软件构造模型   软件工程   可信软件开发  

摘要： 近年来,软件的可信性成为软件质量的焦点,对软件可信性的分析、度量和应用支撑成为热点问题.对软件实施有效的监控是提升软件可信性的一种重要途径.然而目前的研究工作主要集中在软件编码以及相关技术的实现层,缺乏一套系统的软件体系结构设计方法以指导、支持运行监控的可信软件的分析和设计.通过引入面向侧面的软件体系结构设计方法及其相关概念,文中提出一种支持运行监控的可信软件体系结构设计方法.在支持运行监控的可信软件构造模型TSCM的基础上,利用一种面向侧面的体系结构描述语言AC2-ADL描述具有监控能力的软件体系结构,试图为分析和设计具有监控能力的系统的软件体系结构提供一种有效的解决方案.通过结合网上拍卖系统的案例展示该方法的主要步骤和结果,讨论了研究中存在的问题和进一步的工作.

关键词： 构件重用   基于构件的开发   软件开发过程   仓储  

摘要： 基于构件的开发(CBD)观念已广泛应用于软件开发中,基于构件的开发(Component-Based Development,简称CBD)是一种软件开发新范型,它是在一定构件模型的支持下,复用构件库中的一个或多个软件构件,通过组合手段高效率、高质量地构造应用软件系统的过程[Brown00],便于构件的重用。众所周知的CBD体系结构有ActiveX,CORBA,RMI以及SOAP等。该文主要通过与传统软件开发方法的比较研究支持基于CBD的实践,同时也评价了面向对象的过程模型以及提出了一种新型的基于CBD的软件开发过程模型,并探讨了仓储的重要概念。