未找到相关数据
软件形式化与可视化软件模型的转换
被引：8
作者：
周彦晖
张为群
机构：
[1] 西南师范大学计算机与信息科学学院
[2] 西南师范大学计算机与信息科学学院 重庆
[3] 重庆
来源：
关键词：
Formalize;
Visualize;
UML;
RAISE;
Model transformation;
D O I：
暂无
中图分类号：
TP311.52 [];
学科分类号：
081202 ;
0835 ;
摘要：
<正> 1.前言现有的面向对象的可视化方法和形式化方法都具有各自的优点,UML是可以完全可视化的图形语言,使用简单,能够很好地体现面向对象软件开发的特点。现在已经有很多面向对象的软件CASE工具都支持UML,其中包括Rational公司的Rational Rose系列,微软公司的Visio,北大青鸟CASE工具,Visual UML等。这些工具支持基于UML的软件开发过程模型RUP(Rational Unify Process)下工作,能够很方便地使用UML建立软件模型,根据软件模型可以自动
引用
收藏
页码：106 / 109
页数：4
相关论文