切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
设计模式形式化方法分析和初步比较
设计模式形式化方法分析和初步比较
来源 :计算机工程 | 被引量 : 0次 | 上传用户:wo402179168
【摘 要】
:
形式化是设计模式发展的必然要求和直接推动力.该文对主要几种方法进行了分析和比较,分别从模式语言、理论基础、语言元素、工具支持等角度来论述.最后,总结了存在的问题,在
【作 者】
:
陈澎
【机 构】
:
中国科学院成都计算机应用研究所
【出 处】
:
计算机工程
【发表日期】
:
2005年2期
【关键词】
:
形式化方法
设计模式
求和
工具
支持
角度
语音
发展
必然要求
推动力
Design patterns
Formalization
Software eng
【基金项目】
:
国家重点基础研究发展计划(973计划)
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
形式化是设计模式发展的必然要求和直接推动力.该文对主要几种方法进行了分析和比较,分别从模式语言、理论基础、语言元素、工具支持等角度来论述.最后,总结了存在的问题,在此基础上预言了未来研究的发展方向.
其他文献
“自主、合作、探究”学习方法初探
:“自主、合作、探究”的学习方式是《全日制语文课程标准(实验稿)》向语文教师提出的要求和实现效学习的重要方式。这 种学习方式是在学生自学、自悟的基础上,利用各种形式
期刊
自主
合作
探究
学习方法
光伏阵列故障检测与诊断的方法研究
摘要 :如今在维修检测仪当中,对于是否能够检测出故障,故障算法扮演了重要的角色,现在将群体智能方法引入到故障诊断中,提取光照强度、组件温度、光伏阵列开路电压和最大功率
期刊
光伏阵列
故障检测
沙参麦冬汤加减治疗剥脱性唇炎30例
剥脱性唇炎是唇粘膜的一种慢性浅表性炎症,临床特征为反复脱屑,粘膜浸润肥厚.目前将原因不明的,不能分类的慢性脱屑为主的唇炎列入剥脱性唇炎.
期刊
治疗
剥脱性唇炎
沙参麦冬汤加减
慢性
粘膜
原因不明
浅表性
肥厚
仙黄汤治疗慢性痢疾128例
痢疾是一种常见的肠道传染病,在农村常有因失治、误治而致久痢不止或反复发作而成慢性者.近几年来,我们运用自拟仙黄汤加减治疗慢性痢疾128例,疗效显著,现小结如下.
期刊
慢性痢疾
治疗
反复发作
常见
久痢
误治
肠道传染病
小结
农村
分叉式交锁髓内钉的研制及其在股骨干骨折中的应用
对交锁髓内钉进行改进和重设计,使之远端分叉固定于松质骨内.分叉交锁髓内钉由内钉和外钉两部分组成,打入外钉后,分叉钢条从外钉侧槽穿出,构成远端交锁固定.共治疗股骨干骨折
期刊
股骨干骨折
内固定
交锁钉
张承烈治疗妇科病验案3则
吾师张承烈主任中医师毕业于浙江中医学院,悬壶40多年来,医术精湛。尤其对妇科疑难病证的治疗,有其独到经验,疗效卓著。现将其验案整理3则,以飨读者。
期刊
经漏
不孕
倒经
医案
张承烈
小儿腹股沟斜疝221例手术分析
分析221例小儿腹股沟斜疝手术方法和并发症的预防。
期刊
腹股沟斜疝
儿童
外科手术
术式
民航飞机故障原因探讨及维修质量改进措施研究
随着社会的不断发展,人们的出行方式也在不断发生变化,其中飞机已它运行速度快,可及范围广的优势深受人们的喜爱。乘坐飞机的人增多了,飞机的飞行次数也就多了,为了保证乘客
期刊
民航飞机
故障原因
维修质量改进
现代白内障囊外摘除术128例临床分析
分析128例133眼白内障现代囊外摘除术后矫正视力及主要并发症,对术前降眼压截囊,注吸皮质等主要手术步骤进行讨论 。
期刊
白内障
囊外摘除术
临床分析
温阳利水法治疗慢性充血性心力衰竭41例——附西药治疗38例对照观察
慢性充血性心力衰竭是临床常见的危重病,是多数器质性心脏病发展的必然结果.2002年6月至2003年5月,笔者在西医常规处理的基础上,用温阳利水法中药治疗本病41例,并与狄戈辛治
期刊
慢性充血性心力衰竭
温阳利水法
对照观察
西药治疗
2003年5月
器质性心脏病
2002年
临床常见
常规处理
中药治疗
危重病
狄戈辛
与本文相关的学术论文