论文部分内容阅读
对软件演化过程行为的分析有助于在演化前期阶段发现一些不合理的设计情况,从而达到降低软件演化的风险.在面向目标导向的软件演化过程模型的基础上,使用通信顺序进程的原理对软件演化过程的行为进行了研究,分别从过程的迹、确定性和不确定性等方面进行了深入的分析,并给出了每一种行为的计算方法.
面向目标导向的软件演化过程行为的研究
【摘 要】
：
对软件演化过程行为的分析有助于在演化前期阶段发现一些不合理的设计情况,从而达到降低软件演化的风险.在面向目标导向的软件演化过程模型的基础上,使用通信顺序进程的原理
【机 构】
：
云南大学软件学院,云南大学云南省软件工程重点实验室,云南省农村信用社科技结算中心
【出 处】
：
云南民族大学学报：自然科学版
【发表日期】
：
2015年1期
【基金项目】
：
云南省软件工程重点实验室面上基金（2012SE306,2011SE12）.
其他文献
《理论动态》载文指出 决不要放松纠正党内不正之风 刑崇智在《理论动态》发表文章指出:反对资产阶级自由化和纠正党内不正之风就其目的来说是完全一致的,都是为了加强党的领
他,一米七六的个头,肩宽膀阔,身材魁梧。红润的脸膛,棱角分明。凝重的剑眉,近视镜片难以遮挡的深邃而明亮的目光。这位30年代末出生,60年代初大专毕业,80年代崛起于中国潮的
设G为一个有限群，P为一个固定的素数．如果群G的任何不可约P—Brauer特征标均是实值Brauer特征标，则称群G为一个p-正则R-群．给出了P-正则R-群的若干性质，在一定条件下刻画了P-正则R
7月12-14日,中国农经学会畜牧经济专业委员会、中国畜牧兽医学会期刊编辑学分会和中国牧业通讯杂志社在北戴河组织了第二届全国家禽产销形势研讨会,与会代表就大家普遍关心的
据《经济学周报》7月24日讯新创刊的《求是》杂志社于7月13日召开研讨会,中心议题是意识形态管理体制改革。龚育之、朱厚泽、严家其、贾春峰等理论界知名之士出席。 在会上作
为了保证无线传感器网络具有较好的公平性,同时拥有较高的吞吐量,提出了一种基于公平性的多数据包发送调度算法.在该算法中,数据包是按照信源识别的方式来存放的.距离网关一
《奶业之星2000》 记者：先谈谈《奶业之星2000世纪版》如何？ 朱益民：《奶业之星2000世纪版》是DairyStar2000的中文名（简称：DS）。她是一个面向全国所有奶牛场，包括国有大中型、乡村
<正> 黑龙江省绥化地区在落实草原承包责任制工作中,首先遇到的问题是把草原按畜分到户,一家一块:还是把草原做为一业单独承包,做到适度规模经营。通过对青冈、安达、明水、