计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2003年
7期
106-109
,共4页
Formalize%Visualize%UML%RAISE%Model transformation
It is an important issue in Software Engineering that combined the formal development method with the vi-sual development method. This study is about the transform method and rules between the UML model and theRAISE model. At last try to put this technology and the common software develop process together.