简介：UML是目前面向对象技术领域内占主导地位的统一建模语言。文章以选课系统的开发为例，介绍如何应用UML辅助完成软件的分析和设计过程。
简介：统一建模语言（UML）是一种对软件密集系统进行可视化建模的语言,但UML不是形式化的建模语言,缺乏精确的语义描述,因此会导致一些问题。B方法是一种较成熟的软件形式化方法,具有精确性、无二义性等特点。文章用B符号来表示UML类图组成元素的语义及其映射关系,并给出了用B方法来描述UML类图的一种方法。
UML在选课系统设计与开发中的应用
基于B方法的UML类图形式化研究
