【摘 要】
：
软件体系结构的动态性描述在基于软件体系结构的一致性测试中是非常关键的一步。为了较为方便恰当地描述软件体系结构的动态性，通过对软件体系结构描述语言研究，利用带标号的转
【机 构】
：
上海师范大学数理信息学院计算机科学与工程系
论文部分内容阅读
软件体系结构的动态性描述在基于软件体系结构的一致性测试中是非常关键的一步。为了较为方便恰当地描述软件体系结构的动态性，通过对软件体系结构描述语言研究，利用带标号的转换系统来模拟软件体系结构的动态性，把带标号的转换系统作为软件体系结构动态性模型并从中选取测试序列进行测试，并通过具体实例给出了带标号转换系统这一动态模型的导出过程及利用此动态模型进行一致性测试的方法。
其他文献
电子商务环境下的物流配送中心选址涉及到多方面的因素，是一项复杂的系统工程。为此，提出了定量化的启发式算法来初步确定电子商务环境下配送中心选址方案。方案的确定是为了决
本文围绕研究生学术不端问题,阐述了学术不端行为的含义,深入分析了学术不端行为产生的根源,并有针对性地提出了相关治理举措,供业界同行交流。
市场营销专业作为一门综合性较强的新兴专业,在成立之初受到各界关注和追捧,随着时代的发展和对营销管理岗位需求的变动,企业和各用人单位对营销专业培养的学生提出了更新的
伴随着社会科技的进步,我国教育事业也迎来了重大改革和创新,教学形式更加趋向多元化。其中微课教学模式作为现代化信息技术在教学中的创新应用,有效的提高了教学效率。在小
有效课堂指的是在有限的教学时间中 , 让学生最大限度地去获取知识 , 掌握知识并学会运用的一种教学效果。因此 , 这就要求小学数学教师在开展教学活动时 , 转变教学观念 ,
为提高软件的复用程度，采用了基于领域工程的开发方法，提出了领域信息系统设计体系结构和软件构架．重点讨论了领域信息系统模型结构和通用构件库的设计，初步实现了通用构件库中对
虚拟社区是网络社会化的重要产物,在众多网络应用中发展极为迅速.虚拟社区以现实社区为原型,社区成员间的交互行为很大程度上依赖于信任关系,稳定良好的信任环境对于虚拟社区
人们在学习数学,理解和掌握数学的过程中,却经常通过把陌生的知识转化为熟悉的知识、把繁难的知识转化为简单的知识,从而学会把复杂的数学问题转化为一个较为简单的问题逐个
企业文化是企业经营管理之魂，其对企业经营管理的巨大作用，已为东亚和东南亚的经济腾飞所充分展现。我国应汲取和借鉴东亚模式的成功经验，构建儒家文化与企业经营管理相融合的中
随着国家药品监督体制的建立,药品监督管理职权将由卫生行政部门逐渐转移到药品监督部门,一些地方片面认为药政、药检划归药品监督部门后,卫生行政部门的任务就完成了,对其本