论文部分内容阅读
XYZ/E是世界上第一个可执行的时态逻辑语言,它既能描述抽象静态语义,又能表示程序的动态语义,这一特征恰好适合分层描述软件体系结构.本文采用XYZ/E语言刻画了软件体系结构的基本组件与连接件;它为进一步描述体系结构风格提供了一个基础.rn
基于时态逻辑语言XYZ/E的软件体系结构研究(Ⅰ)——基本组件和连接件的描述
【摘 要】
：
XYZ/E是世界上第一个可执行的时态逻辑语言,它既能描述抽象静态语义,又能表示程序的动态语义,这一特征恰好适合分层描述软件体系结构.本文采用XYZ/E语言刻画了软件体系结构的
【机 构】
：
重庆师范学院数学与计算机科学系,重庆,400047中国科学院软件所计算机科学开放研究实验室,北京,100080;中国科学院软件所计算机科学开放研究实验室,北京,100080;
【出 处】
：
重庆师范学院学报(自然科学版)
【发表日期】
：
2001年3期
其他文献
教学、科研、社会服务是职业院校的三大职能,也是构成职业院校品牌的三大组成部分,特别是科研工作的有效开展和科研成果的不断涌现,是职业院校得以不断提高的重要依靠。其中
探究性学习是通过让学生在探究的过程中主动地获得知识、应用知识,并通过所学来解决问题,它是新课程所倡导的一种极其有效的学习方法。探究性学习从根本上改变了学生传统的学
第二届国际纸品胶片薄膜加工印刷技术设备及材料博览会(ICE Asia2010)将于2010年3月17-19日在上海世贸商城隆重举行.
P74“无线”便捷“无限”清洁n --“好产品”飞利浦无绳二合一吸尘器FC6168评测n 吸尘器的出现让家居护理变得更简单，但在实际操作中，人们还是发现了产品设计方面的不足，
吸尘器的出现让家居护理变得更简单,但在实际操作中,人们还是发现了产品设计方面的不足,不少人在清洁时都被吸尘器的电源线所困扰。电源线长度有限,清洁时总要四处找电源,不
报告显示,中国最大的500个城市中,只有不到1%的城市达到世界卫生组织推荐的空气质量标准,与此同时,世界上污染最严重的10个城市有7个在中国。随着PM2.5爆表、雾霾肆虐等大气
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
期刊
2010年，某市妇女儿童心理咨询中心对全市1500户家庭进行了一项关于家庭关系的调查。结果显示，在所有的家庭问题中，婚姻家庭问题占68%，亲子问题占20%，情绪问题、职场压力、抑郁等问题占10%。而在婚姻家庭问题咨询中，有近70%的夫妻是因为不会沟通，不懂得沟通引发了夫妻矛盾甚至是离婚。此外，一项社区的调查也显示，80%的社区妇女不知道如何和自己的丈夫沟通，90%的夫妻喜欢用指责的口气与对方说话。