浏览全部资源
扫码关注微信
1. 北京邮电学院计算机工程系
2. 北京邮电学院计算机工程系 讲师 1990年1月获该院通信与电子系统专业工学博士学位
3. 教授
纸质出版日期:1991
移动端阅览
[1]杨放春,陈俊亮.进程创建顺序的行为波动效应分析[J].通信学报,1991(02):1-7.
[1]杨放春,陈俊亮.进程创建顺序的行为波动效应分析[J].通信学报,1991(02):1-7. DOI:
DOI:
波动效应是导致大型软件系统维护费用昂贵的一个重要原因。本文基于CCITT推荐
并已在电信领域广泛应用的SDL语言研究了一种修改进程创建顺序而引起的行为波动效应现象。文中提出了进程创建式
进程创建顺序约束断言等概念。然后严格构造了一个称之为X的公理系统。从而使波动效应的分析归结为该公理系统中的演绎推理。最后给出一个例子。
0
浏览量
20
下载量
2
CSCD
关联资源
相关文章
相关作者
相关机构