【摘 要】
：
由于使用环境和新技术的不断变化，软件演化的控制变得日趋复杂．为了提高软件演化活动的可视化和形式化支持程度，结合谓词逻辑和软件演化，提出了一种软件演化操作语言SEOL（Software
【基金项目】
：
国家自然科学基金项目（50275150）资助,教育部博士点基金项目（20030533011）资助.
论文部分内容阅读
由于使用环境和新技术的不断变化，软件演化的控制变得日趋复杂．为了提高软件演化活动的可视化和形式化支持程度，结合谓词逻辑和软件演化，提出了一种软件演化操作语言SEOL（Software Evolution Operational Language）描述软件演化，给出了SEOL的语法和结构化操作语义描述，并指出了软件演化操作语义等价分析方法．结合软件代码演化和软件模型演化实例，说明了SEOL的应用．与已有的软件演化操作描述相比，SEOL在易用性、可重用性和形式化分析方面有明显的改善，为软件演化的管理、分析和实
其他文献
一个富有的律师拥有11辆古董汽车，每辆值5000美元，律师死时留下了一个奇怪的遗嘱，遗嘱说把他的11辆古董汽车分给他的三个儿子，把其中的1/2分给长子，1/4分给次子，1/6分给小儿子，大家都感到迷惑不解，11辆汽车怎么能分成相等的两份?或分成4份?6份? 他的儿子们正在为怎么个分法争论不休时，林小姐——一位著名的数学家驾着她的新式赛车来了，林小姐招呼道：“好啊，小伙子们，你们好像碰到了难题，我
学过数学的人都知道，计算直线的长度比计算一条曲线的长度要容易得多。为了求得一条曲线的长度。把这条曲线无限细分，细分成若干条细小的直线，再把这些直线的长度加起来，这就求得了曲线的长度。这个思想就是高等数学里的微积分。 但凡千姿百态的人生观，像极了微积分的基本精神——永恒即是由无限多个无限小的刹那相加而成。人的一生就是所有无限微小时间之和，没有哪一部分可以割舍，于任何时空境遇都能我、人、主、客完全地
高职课程建设与改革是提高教学质量的核心，也是教学改革的重点和难点。文中以培养高职学生的会展英语技能为目标，通过调查研究、专业论证、教学分析等步骤，从课程定位、课程目标
在复解析映射动力系统的计算机可视化研究中,采用Clifford A.Reiter的"共轭函数和"方法,结合本文作者提出的复指数模型分析构造出一个具有2旋转对称特性的复解析映射族.在参数平面上构造出与经典M集的"周期芽苞"的排列方式不同的广义M集,在动力平面上构造了新形式的2旋转对称分形图.发现了M集上的周期芽苞的排列规律,找到了参数与相应充满Julia集图形结构之间的对应关系.利用本文提出的复映射
书法是中国特有的传统艺术形态,书法课程在艺术设计专业教学中有着特殊的价值和意义。它以自身独特的视觉形态来影响人们的审美、陶冶人们的性情。书法教学应结合高职艺术设
在检测图像显著性区域的领域中,背景优先是一个较新的思路,但会遇到背景鉴别这个具有挑战性的难题。该文提出背景真实性的判断问题,在探索的过程中发现背景通常具有连续性的特征,根据这一特性实现了判定背景的方法,并将判断的结果作为显著性先验值应用于后继的计算中,最终结果的准确性和正确性得到有效提高。该文首先采用均值漂移(MS)分割算法将图片预分为超像素,计算所有超像素的初始显著值;随后提取原图的4个边界条,
媒体人最为重要的是职业荣誉与公信力，这些不仅决定一个媒体人能否体面地存活下来，更影响着他到底能走多远。
目的：探讨陶瓷釉表层中^226Ra溶解进入食物浸泡液的可能性，规律性和特点。方法：往陶瓷釉料的原材料中加入标准^226Ra，制面釉表层中^226Ra含量较高的系列陶瓷容器用品，分别用不同浸
作者选取34倒肝炎病例．测定其血清骨钙素(BGP)水平，以了解肝炎对血清骨钙素的影响。