论文部分内容阅读
形式化是设计模式发展的必然要求和直接推动力.该文对主要几种方法进行了分析和比较,分别从模式语言、理论基础、语言元素、工具支持等角度来论述.最后,总结了存在的问题,在此基础上预言了未来研究的发展方向.
设计模式形式化方法分析和初步比较
【摘 要】
：
形式化是设计模式发展的必然要求和直接推动力.该文对主要几种方法进行了分析和比较,分别从模式语言、理论基础、语言元素、工具支持等角度来论述.最后,总结了存在的问题,在
【机 构】
：
中国科学院成都计算机应用研究所
【出 处】
：
计算机工程
【发表日期】
：
2005年2期
【基金项目】
：
国家重点基础研究发展计划(973计划)
其他文献
:“自主、合作、探究”的学习方式是《全日制语文课程标准(实验稿)》向语文教师提出的要求和实现效学习的重要方式。这 种学习方式是在学生自学、自悟的基础上,利用各种形式
摘要 :如今在维修检测仪当中,对于是否能够检测出故障,故障算法扮演了重要的角色,现在将群体智能方法引入到故障诊断中,提取光照强度、组件温度、光伏阵列开路电压和最大功率
剥脱性唇炎是唇粘膜的一种慢性浅表性炎症,临床特征为反复脱屑,粘膜浸润肥厚.目前将原因不明的,不能分类的慢性脱屑为主的唇炎列入剥脱性唇炎.
痢疾是一种常见的肠道传染病,在农村常有因失治、误治而致久痢不止或反复发作而成慢性者.近几年来,我们运用自拟仙黄汤加减治疗慢性痢疾128例,疗效显著,现小结如下.
对交锁髓内钉进行改进和重设计,使之远端分叉固定于松质骨内.分叉交锁髓内钉由内钉和外钉两部分组成,打入外钉后,分叉钢条从外钉侧槽穿出,构成远端交锁固定.共治疗股骨干骨折
吾师张承烈主任中医师毕业于浙江中医学院，悬壶40多年来，医术精湛。尤其对妇科疑难病证的治疗，有其独到经验，疗效卓著。现将其验案整理3则，以飨读者。
随着社会的不断发展,人们的出行方式也在不断发生变化,其中飞机已它运行速度快,可及范围广的优势深受人们的喜爱。乘坐飞机的人增多了,飞机的飞行次数也就多了,为了保证乘客