论文部分内容阅读
为面向对象建模概念建立坚实的语义基础，越来越受到人们的重视，通过提供精确的概念特征定义，可建立精确的面向对象的行为模型和结构模型，便于对模型进行严格的分析，UML是一种被推荐的面向对象建模语言，RAISE是欧洲流行的一种形式方法，该文使用RAISE来表达UML类结构的含义。
UML类结构的形式化
【摘 要】
：
为面向对象建模概念建立坚实的语义基础，越来越受到人们的重视，通过提供精确的概念特征定义，可建立精确的面向对象的行为模型和结构模型，便于对模型进行严格的分析，UML是一种被推
【机 构】
：
中山大学信息科技学院
【出 处】
：
计算机工程与应用
【发表日期】
：
2001年9期
【基金项目】
：
国家自然科学基金资助项目!（编号：79840761843）
其他文献
研究非接触式指纹智能卡开发中的关键技术,包括指纹采集技术、指纹识别算法、非接触式智能卡的研究现状、指纹特征数据的存储与组织等.
探讨涤粘AB双色纱的生产工艺和质量控制措施.分析阐述了涤粘AB双色纱的特点以及生产技术和管理难点.从原料、工艺、生产管理入手采取一系列措施,成功纺制出涤/粘50/50 11.8 t
探讨细特涤纶亚麻竹浆纤维混纺包芯纱的工艺配置和生产技术措施。简述了漂白脱胶亚麻、细特涤纶、竹浆纤维的原料特性;首先对亚麻纤维进行预处理,再与其他纤维进行预混;优选
1,购买成套商品房（含二手房，房改房），产权所有人系本人所有或直系亲属共有的，可按人均25平方米面积，准予迁入夫妻，父母，未婚子女等直系亲属，已婚子女按人均面积可以整户迁入，不允许拆户
笔者实在记不起是从什么时候开始，我们的媒介都在告诫买房人买房时一定要看“五证”（即：土地使用证，建设用地规划许可证，建设工程规划许可证，建设工程开工证，商品房预售许可证），而且现
纯红再障(PRCA)是由多种原因所致骨髓中红系细胞显著减少或缺乏的一种贫血,多与自身免疫有关。该病的临床表现为发热、贫血等,与血液系统常见疾病无明显差异,而它的实验室检
石狮建市以来，城市已有较大发展，房地产从以前的“水泥林子”到现今的花园绿化、景观营造、完善配套、智能管理的高品质小区，行业发展日新月异。
Internet信息收集系统是搜索引擎的信息来源，它决定了搜索引擎的内容是否丰富，更新是否及时。文章提出了一种分布式并行信息收集系统，分析了它相对于传统集中式搜索的优越性，并描