论文部分内容阅读
随着软件工程的发展,对软件的动态演化提出很高的要求,动态体系结构语言成为描述复杂软件体系结构重要工具.提出基于形式化语言Z的描述,通过Z体系对构件、连接件、配置进行定义,以达到动态演化的目的.
基于动态体系结构的形式化描述
【摘 要】
：
随着软件工程的发展,对软件的动态演化提出很高的要求,动态体系结构语言成为描述复杂软件体系结构重要工具.提出基于形式化语言Z的描述,通过Z体系对构件、连接件、配置进行定
【机 构】
：
重庆师范大学数学与计算机学院
【出 处】
：
成都大学学报：自然科学版
【发表日期】
：
2009年4期
其他文献
也许,这支被誉为“陆上猛虎、海里蛟龙、空中雄鹰”的精锐部队,对于你来说还很陌生,因为你从没走进他们的世界。但当你知道这支队伍,还有一群生活在这群带着传奇色彩的陆战
众所周知,欧洲之前是手机行业的“带头大哥”,曾经的霸主诺基亚、法国的阿尔卡特、德国西门子及瑞典爱立信,都是响当当的手机制造商,但自从6年前,诺基亚将手机业务出售给微软
为提高药品质量,我们对十六所卫生院自制的131批大输液作了含量考察,其中33批含量不符合中国药典(1977年版)规定,不合格率占25.2％附表,为找出解决办法,我们对不合格原因作了调
期刊
21世纪新无敌舰队的重头戏海洋世纪的浪潮刚开始涌动，西班牙海军新时期的战略调整便拉开了序幕。根据西班牙国防白皮书规定，21世纪西海军的主要任务是保卫直布罗陀海峡到加那利
介绍一种批处理无监督的自组织映射算法(BSOM),然后对该算法的学习速率进行了改进,提出了基于模拟退火的BSOM灰度图像轮廓提取算法.仿真实验结果表明算法的有效性.同时,测试数据对比表明,在提取图像轮廓时,方法比文献[6]的BSOM方法收敛速度更快,提取的图像轮廓效果更好.
简要介绍了Ext及单页系统特点和优势,详细阐述了如何应用Ext实现一个单页系统,并着重强调如何将面向对象编程思想应用到客户端的开发中,使得客户端的Javascript代码同样易于
研究了车辆用EN1.4318＋2G和SUS301L不锈钢材料和典型部位的点焊接头的拉剪强度和剪切疲劳性能,得到了电焊接头的S-N和p-S-N曲线方程表达式.
最近几周,射击游戏《Apex英雄》异军突起,以海啸般的气势席卷了全球,在社交APP和直播平台上,《Apex英雄》的讨论热度和观众人数一度超过了《绝地求生:大逃杀》和《堡垒之夜》
蓬勃发展的激励视频广告 激励视频广告在早期还是非常小众的广告形式，原因在于视频这种广告素材在移动端还不够普及，同时支持激励视频广告的转化链路也不够成熟。如今，激励视频广告则成为一种蓬勃发展的主流广告形式，已受到业内巨头的青睐。最常见的，游戏中的激励视频广告已经发展成了用户“喜闻乐见”的一种广告形式，对于深度游戏玩家来说，比起氪金，用15秒左右的广告时间来获取复活机会或是游戏道具，有更低的成本门槛
最近两年的Steam上,“模拟器”(Simulator)式的游戏越发多了起来,许多游戏即使本质上不是模拟器类型的,也愿意在名字后面加上这3个字,带着些许“玩梗”和“蹭热度的”意味。