论文部分内容阅读
随着软件工程的发展,对软件的动态演化提出很高的要求,动态体系结构语言成为描述复杂软件体系结构重要工具.提出基于形式化语言Z的描述,通过Z体系对构件、连接件、配置进行定义,以达到动态演化的目的.
基于动态体系结构的形式化描述
【摘 要】
：
随着软件工程的发展,对软件的动态演化提出很高的要求,动态体系结构语言成为描述复杂软件体系结构重要工具.提出基于形式化语言Z的描述,通过Z体系对构件、连接件、配置进行定
【机 构】
：
重庆师范大学数学与计算机学院
【出 处】
：
成都大学学报：自然科学版
【发表日期】
：
2009年4期
其他文献
介绍一种批处理无监督的自组织映射算法(BSOM),然后对该算法的学习速率进行了改进,提出了基于模拟退火的BSOM灰度图像轮廓提取算法.仿真实验结果表明算法的有效性.同时,测试数据对比表明,在提取图像轮廓时,方法比文献[6]的BSOM方法收敛速度更快,提取的图像轮廓效果更好.
简要介绍了Ext及单页系统特点和优势,详细阐述了如何应用Ext实现一个单页系统,并着重强调如何将面向对象编程思想应用到客户端的开发中,使得客户端的Javascript代码同样易于
研究了车辆用EN1.4318＋2G和SUS301L不锈钢材料和典型部位的点焊接头的拉剪强度和剪切疲劳性能,得到了电焊接头的S-N和p-S-N曲线方程表达式.
蓬勃发展的激励视频广告 激励视频广告在早期还是非常小众的广告形式，原因在于视频这种广告素材在移动端还不够普及，同时支持激励视频广告的转化链路也不够成熟。如今，激励视频广告则成为一种蓬勃发展的主流广告形式，已受到业内巨头的青睐。最常见的，游戏中的激励视频广告已经发展成了用户“喜闻乐见”的一种广告形式，对于深度游戏玩家来说，比起氪金，用15秒左右的广告时间来获取复活机会或是游戏道具，有更低的成本门槛