基于B语言的UML形式化方法

分析了目前主要的UML形式化方法及特点，提出了基于B语言的转换方法B2F(B-Based Formalization)，通过将UML模型转化为B抽象机描述实现UML的形式化描述和验证，并详细分析了基于B2F方法的UML类图的形式化，证明了该方法的可行性。     

基于UML状态图的类测试用例自动生成方法

UML作为面向对象软件开发的事实上的标准建模语言，近年来得到了广泛的应用，基于UML的测试也成为面向对象软件测试的研究热点。该文把基于扩展的有限状态机EFSM的唯一输入输出UIO测试用例自动生成方法和UML的类的状态图相结合，提出了一种基于UML状态图的类的测试用例自动生成方法。     

一个基于UML顺序图的场景测试用例生成方法

UML顺序图是基于UML开发的软件设计模型的重要组成部分，它描述了软件系统的动态行为，是软件集成测试过程中的一个重要的信息来源。本文提出了一个基于UML顺序图的场景测试方法，它以UML顺序图为主要测试模型，结合UML状态图和类图生成所有的测试场景，最后使用范畴一划分方法找到与每一场景相关的环境条件并将它与方法序列、输入、输出合理组合作为覆盖该场景的测试用例，用于测试该场景中对象之间的交互。由于UML已广泛用于软件分析和设计阶段，通过UML模型生成测试用例可充分利用已有的设计结果，减少测试阶段所需的费用，对于已使用UML的工业界有着重要的意义。     

基于UML的面向对象的软件系统分析、设计与开发技术

本文对基于UML的面向对象的软件系统分析，设计与开发技术进行了研究，指出了基于迭代方法的RUP与传统的基于瀑布法的软件开发过程相比具有合理性和优越性，剖析了这些先进技术的思想内涵。此外，文中还详细介绍了基于问题说明和用例分析的软件系统分析方法，以及UML中多种模型图的使用方法和适用范围。     

面对对象软件工程方法分析

介绍了几种常用的面向对象软件工程方法，重点分析了UML，给出UML方法的图形表示法，最后介绍了基于UML的软件分析与设计的具体步骤。     

使用UML和C语言实现基于对象的嵌入式软件开发

针对C 语言难以在低端嵌入式系统项目中应用的情况，对嵌入式系统软件开发中基于对象的方法进行了研究，提出了一种使用UML和C语言设计和开发嵌入式软件的实用方法。实践证明，该方法很好地融合了UML和C语言的优点，能够大大提高嵌入式软件的开发效率和可维护性。     

基于UML的养老金发放在线指纹识别系统设计

基于统一开发过程，利用统一建模语言UML，阐述了面向对象分析和设计思想在养老金发放在线指纹识别系统开发中的应用，建立了系统的需求分析与系统设计UML模型。基于该方法设计的系统已成功应用于山东某地区的养老金发放系统中，彻底解决了养老金的仿冒领问题，具有重大的社会效益和推广应用价值。     

UML技术在面向Agent系统分析中的应用研究

基于Agent的软件系统因其智能性、自律性近来发展迅速，面向Agent系统分析已成为软件工程中的一个研究热点。根据Agent系统的特点，应用UML技术和面向对象方法，提出了一种基于UML的面向Agent的系统分析方法，同时为适应对AO系统的表示，对UML进行了适当的扩展，并通过实例给出了模型的表示以及系统分析的过程。     

UML在学生选课系统中的应用

UML是以对象模型为基础的适用于编制软件蓝图的标准化语言，它提供了软件过程和方法的描述基础。本文介绍UML的主要内容，并以学生选课系统为实例，探讨了基于UML的建模过程。     

UML面向对象建模在网上图书销售系统中的应用

文章首先简要介绍了基于面向对象思想的统一建模语言UML的基本概念,然后阐述了UML建模机制与RUP相结合的生命周期迭代化建模思想,最后以网上图书销售系统的UML建模为背景,探索了基于UML的管理信息系统建模及UML中多种模型图的使用方法.