科技资讯
科技資訊
과기자신
SCIENCE & TECHNOLOGY INFORMATION
2006年
27期
195
,共1页
UML形式语义%意义%现状
UML形式語義%意義%現狀
UML형식어의%의의%현상
作为一种定义良好、功能强大的图形化建模语言,UML因为缺乏精确的语义描述,因此对系统的建模无法进行形式化的分析和验证.阐述了UML形式语意义研究的重要意义并分析了当前的研究现状.
作為一種定義良好、功能彊大的圖形化建模語言,UML因為缺乏精確的語義描述,因此對繫統的建模無法進行形式化的分析和驗證.闡述瞭UML形式語意義研究的重要意義併分析瞭噹前的研究現狀.
작위일충정의량호、공능강대적도형화건모어언,UML인위결핍정학적어의묘술,인차대계통적건모무법진행형식화적분석화험증.천술료UML형식어의의연구적중요의의병분석료당전적연구현상.
