切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
面向目标导向的软件演化过程行为的研究
面向目标导向的软件演化过程行为的研究
来源 :云南民族大学学报:自然科学版 | 被引量 : 0次 | 上传用户:ieuieuieu
【摘 要】
:
对软件演化过程行为的分析有助于在演化前期阶段发现一些不合理的设计情况,从而达到降低软件演化的风险.在面向目标导向的软件演化过程模型的基础上,使用通信顺序进程的原理
【作 者】
:
黄世反
沈勇
王道红
康洪炜
郑见琳
贾书伟
【机 构】
:
云南大学软件学院,云南大学云南省软件工程重点实验室,云南省农村信用社科技结算中心
【出 处】
:
云南民族大学学报:自然科学版
【发表日期】
:
2015年1期
【关键词】
:
通信顺序进程
目标导向
软件演化过程
过程行为
communicating sequential process
goal-directed
softw
【基金项目】
:
云南省软件工程重点实验室面上基金(2012SE306,2011SE12).
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
对软件演化过程行为的分析有助于在演化前期阶段发现一些不合理的设计情况,从而达到降低软件演化的风险.在面向目标导向的软件演化过程模型的基础上,使用通信顺序进程的原理对软件演化过程的行为进行了研究,分别从过程的迹、确定性和不确定性等方面进行了深入的分析,并给出了每一种行为的计算方法.
其他文献
不可约p—Brauer特征标均为实值的有限群
设G为一个有限群,P为一个固定的素数.如果群G的任何不可约P—Brauer特征标均是实值Brauer特征标,则称群G为一个p-正则R-群.给出了P-正则R-群的若干性质,在一定条件下刻画了P-正则R
期刊
正则元
实元素
实值Brauer特征标
P-正则
R-群
regular element
real element
real Brauer characte
上半年家禽产销形势严峻 下半年能否实现雄鸡高唱
7月12-14日,中国农经学会畜牧经济专业委员会、中国畜牧兽医学会期刊编辑学分会和中国牧业通讯杂志社在北戴河组织了第二届全国家禽产销形势研讨会,与会代表就大家普遍关心的
期刊
中国
家禽业
产销形势
国内市场
国际市场
无线传感器网络公平性算法的分析
为了保证无线传感器网络具有较好的公平性,同时拥有较高的吞吐量,提出了一种基于公平性的多数据包发送调度算法.在该算法中,数据包是按照信源识别的方式来存放的.距离网关一
期刊
无线传感器网络
调度算法
公平性
wireless sensor network
scheduling algorithm
fairness
其他学术论文