切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
基于时态逻辑语言XYZ/E的软件体系结构研究(Ⅰ)——基本组件和连接件的描述
基于时态逻辑语言XYZ/E的软件体系结构研究(Ⅰ)——基本组件和连接件的描述
来源 :重庆师范学院学报(自然科学版) | 被引量 : 0次 | 上传用户:mrchangmeng
【摘 要】
:
XYZ/E是世界上第一个可执行的时态逻辑语言,它既能描述抽象静态语义,又能表示程序的动态语义,这一特征恰好适合分层描述软件体系结构.本文采用XYZ/E语言刻画了软件体系结构的
【作 者】
:
张广泉
郑建丹
舒明
【机 构】
:
重庆师范学院数学与计算机科学系,重庆,400047中国科学院软件所计算机科学开放研究实验室,北京,100080;中国科学院软件所计算机科学开放研究实验室,北京,100080;
【出 处】
:
重庆师范学院学报(自然科学版)
【发表日期】
:
2001年3期
【关键词】
:
时态逻辑语言
XYZ/E
软件体系结构
组件
连接件
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
XYZ/E是世界上第一个可执行的时态逻辑语言,它既能描述抽象静态语义,又能表示程序的动态语义,这一特征恰好适合分层描述软件体系结构.本文采用XYZ/E语言刻画了软件体系结构的基本组件与连接件;它为进一步描述体系结构风格提供了一个基础.rn
其他文献
探索西部职业教育科研工作的现状及发展
教学、科研、社会服务是职业院校的三大职能,也是构成职业院校品牌的三大组成部分,特别是科研工作的有效开展和科研成果的不断涌现,是职业院校得以不断提高的重要依靠。其中
期刊
教育科研工作
科研创新
多师型
教学科研
学校品牌
工作构成
社会服务
科研成果
科研管理
教学工作
初中数学探究性学习的实施策略
探究性学习是通过让学生在探究的过程中主动地获得知识、应用知识,并通过所学来解决问题,它是新课程所倡导的一种极其有效的学习方法。探究性学习从根本上改变了学生传统的学
期刊
初中数学
究性学习
有效的学习方法
应用知识
学生主动
学习方式
学科教学
实施方法
解决问题
教学过程
获得知识
新课程
转变
讲授
ICE Asia 2010展会招展顺利进行
第二届国际纸品胶片薄膜加工印刷技术设备及材料博览会(ICE Asia2010)将于2010年3月17-19日在上海世贸商城隆重举行.
期刊
ICE
展会
世贸商城
胶片薄膜
技术设备
博览会
纸品
印刷
上海
加工
材料
玩家电
P74“无线”便捷“无限”清洁n --“好产品”飞利浦无绳二合一吸尘器FC6168评测n 吸尘器的出现让家居护理变得更简单,但在实际操作中,人们还是发现了产品设计方面的不足,
期刊
吸尘器
清洁
家居护理
产品设计
飞利浦
二合一
电源线
无线
无绳
评测
困扰
操作
“无线”便捷“无限”清洁--“好产品”飞利浦无绳二合一吸尘器FC6168评测
吸尘器的出现让家居护理变得更简单,但在实际操作中,人们还是发现了产品设计方面的不足,不少人在清洁时都被吸尘器的电源线所困扰。电源线长度有限,清洁时总要四处找电源,不
期刊
无线
清洁
产品设计
飞利浦
无绳
二合一
吸尘器
家居护理
电源线
困扰
操作
新《拆迁条例》呼之欲出
期刊
您的室内空气质量管家全力净化微尘--飞利浦AC4372空气净化器评测
报告显示,中国最大的500个城市中,只有不到1%的城市达到世界卫生组织推荐的空气质量标准,与此同时,世界上污染最严重的10个城市有7个在中国。随着PM2.5爆表、雾霾肆虐等大气
期刊
室内空气质量
管家
空气净化器
微尘
飞利浦
市场需求
世界卫生组织
空气质量标准
城市
中国
显示
污染问题
家电企业
发展速度
产品市场
销量
数据
受热
第九届世界华人地质科学研讨会在长春召开
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
期刊
改变说话方式增进婚姻和谐
2010年,某市妇女儿童心理咨询中心对全市1500户家庭进行了一项关于家庭关系的调查。结果显示,在所有的家庭问题中,婚姻家庭问题占68%,亲子问题占20%,情绪问题、职场压力、抑郁等问题占10%。而在婚姻家庭问题咨询中,有近70%的夫妻是因为不会沟通,不懂得沟通引发了夫妻矛盾甚至是离婚。此外,一项社区的调查也显示,80%的社区妇女不知道如何和自己的丈夫沟通,90%的夫妻喜欢用指责的口气与对方说话。
期刊
社区妇女
婚姻家庭
问题咨询
职场压力
心理咨询中心
不知道
情绪问题
感情破裂
家庭问题
警告信号
一二年级:“阅”得悦,“学”得欢
苏霍姆林斯基认为:“人所掌握的知识的数量也取决于脑力劳动的情感色彩:如果书籍的精神交往对人是一种乐趣,并不以识记为目的,那么大量事物、真理和规律性思维就很容易进入他的意识。”那么究竟该如何引起低年级学生的阅读兴趣,英语阅读形式有哪些呢? 1. 阅“图” 阅读并不仅仅是指读文字,还包括读图。对于低年级的孩子来说,因刚接触英语他们还没有英语单词的概念,让学生过于快速地进入文字的阅读是不切实际的。先
期刊
小学英语
阅读教学
实验学校
英语水平测试
实验性研究
故事书
认读
霍姆林斯基
阅读形式
全新领域
与本文相关的学术论文