论文部分内容阅读
为面向对象建模概念建立坚实的语义基础，越来越受到人们的重视，通过提供精确的概念特征定义，可建立精确的面向对象的行为模型和结构模型，便于对模型进行严格的分析，UML是一种被推荐的面向对象建模语言，RAISE是欧洲流行的一种形式方法，该文使用RAISE来表达UML类结构的含义。
UML类结构的形式化
【摘 要】
：
为面向对象建模概念建立坚实的语义基础，越来越受到人们的重视，通过提供精确的概念特征定义，可建立精确的面向对象的行为模型和结构模型，便于对模型进行严格的分析，UML是一种被推
【机 构】
：
中山大学信息科技学院
【出 处】
：
计算机工程与应用
【发表日期】
：
2001年9期
【基金项目】
：
国家自然科学基金资助项目!（编号：79840761843）
其他文献
研究非接触式指纹智能卡开发中的关键技术,包括指纹采集技术、指纹识别算法、非接触式智能卡的研究现状、指纹特征数据的存储与组织等.
探讨细特涤纶亚麻竹浆纤维混纺包芯纱的工艺配置和生产技术措施。简述了漂白脱胶亚麻、细特涤纶、竹浆纤维的原料特性;首先对亚麻纤维进行预处理,再与其他纤维进行预混;优选