UML类结构的形式化

作     者：明仲 李师贤 MING Zhong;Li Shixian

作者机构：中山大学信息科技学院广州510275 

基　　金：国家自然科学基金资助项目!(编号:79840761843) 

出 版 物：《计算机工程与应用》 (Computer Engineering and Applications)

年 卷 期：2001年第37卷第9期

页      码：51-54页

摘      要：为面向对象建模概念建立坚实的语义基础，越来越受到人们的重视。通过提供精确的概念特征定义，可建立精确的面向对象的行为模型和结构模型，便于对模型进行严格的分析。ＵＭＬ是一种被推荐的面向对象建模语言，ＲＡＩＳＥ是欧洲流行的一种形式方法，该文使用ＲＡＩＳＥ来表达ＵＭＬ类结构的含义。

主 题 词：形式化 UML 面向对象 类结构 程序设计 

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

核心收录：

D　O　I：10.3321/j.issn:1002-8331.2001.09.017

馆 藏 号：203587259...