切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
UML类结构的形式化
UML类结构的形式化
来源 :计算机工程与应用 | 被引量 : 0次 | 上传用户:x1010
【摘 要】
:
为面向对象建模概念建立坚实的语义基础,越来越受到人们的重视,通过提供精确的概念特征定义,可建立精确的面向对象的行为模型和结构模型,便于对模型进行严格的分析,UML是一种被推
【作 者】
:
明仲
李师贤
【机 构】
:
中山大学信息科技学院
【出 处】
:
计算机工程与应用
【发表日期】
:
2001年9期
【关键词】
:
形式化
UML
面向对象
类结构
程序设计
formalization
Unified Modeling Language(UML)
object-orie
【基金项目】
:
国家自然科学基金资助项目!(编号:79840761843)
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
为面向对象建模概念建立坚实的语义基础,越来越受到人们的重视,通过提供精确的概念特征定义,可建立精确的面向对象的行为模型和结构模型,便于对模型进行严格的分析,UML是一种被推荐的面向对象建模语言,RAISE是欧洲流行的一种形式方法,该文使用RAISE来表达UML类结构的含义。
其他文献
滨海·嘉年华:家门口就是大学城
一路坐车过来看滨海·嘉年华,最多感慨的就是学生街独有的浓厚的商业氛围,也就可以一窥这里的商业价值潜力。
期刊
滨海
大学城
商业价值
非接触式指纹智能卡的关键技术研究
研究非接触式指纹智能卡开发中的关键技术,包括指纹采集技术、指纹识别算法、非接触式智能卡的研究现状、指纹特征数据的存储与组织等.
期刊
指纹识别
非接触式智能卡
匹配算法
Fingerprint recognition
Contactless smart cart
Matching algo
涤粘AB双色纱的生产与质量控制
探讨涤粘AB双色纱的生产工艺和质量控制措施.分析阐述了涤粘AB双色纱的特点以及生产技术和管理难点.从原料、工艺、生产管理入手采取一系列措施,成功纺制出涤/粘50/50 11.8 t
期刊
AB双色纱
原料混和
速度
隔距
牵伸
色差
疵点
隔离措施
AB Double-color Yarn
Blending of Raw Material
Spe
细特涤纶亚麻竹浆纤维混纺包芯纱的生产
探讨细特涤纶亚麻竹浆纤维混纺包芯纱的工艺配置和生产技术措施。简述了漂白脱胶亚麻、细特涤纶、竹浆纤维的原料特性;首先对亚麻纤维进行预处理,再与其他纤维进行预混;优选
期刊
亚麻纤维
细特涤纶
竹浆纤维
氨纶
锡林速度
包芯纱
Flax Fiber
Fine Polyester
Bamboo Fiber
Spandex
Cy
别墅新盘导购
期刊
办理购房户口须知
1,购买成套商品房(含二手房,房改房),产权所有人系本人所有或直系亲属共有的,可按人均25平方米面积,准予迁入夫妻,父母,未婚子女等直系亲属,已婚子女按人均面积可以整户迁入,不允许拆户
期刊
购房
商品房
平方米
迁入
面积
子女
购买
产权
买房不用看“五证”省力省心去购房
笔者实在记不起是从什么时候开始,我们的媒介都在告诫买房人买房时一定要看“五证”(即:土地使用证,建设用地规划许可证,建设工程规划许可证,建设工程开工证,商品房预售许可证),而且现
期刊
建设工程规划许可证
购房
土地使用证
用地规划
房地产商
商品房
房屋
纯红再障的实验室诊断
纯红再障(PRCA)是由多种原因所致骨髓中红系细胞显著减少或缺乏的一种贫血,多与自身免疫有关。该病的临床表现为发热、贫血等,与血液系统常见疾病无明显差异,而它的实验室检
期刊
纯红再障
实验室诊断
血液病
红细胞系统
实验室检查
相同点
不同点
成都铁路局
临床表现
自身免疫
寻找石狮房地产的差距
石狮建市以来,城市已有较大发展,房地产从以前的“水泥林子”到现今的花园绿化、景观营造、完善配套、智能管理的高品质小区,行业发展日新月异。
期刊
房地产
石狮
景观营造
智能管理
行业发展
高品质
分布式Internet信息收集系统的设计与实现
Internet信息收集系统是搜索引擎的信息来源,它决定了搜索引擎的内容是否丰富,更新是否及时。文章提出了一种分布式并行信息收集系统,分析了它相对于传统集中式搜索的优越性,并描
期刊
搜索引擎
INTERNET
分布式系统
信息收集系统
Web
任务管理器
Search engine
Internet gathering
Distribut
与本文相关的学术论文