搜索筛选:
搜索耗时0.0925秒,为你在为你在102,285,761篇论文里面共找到 4 篇相符的论文内容
发布年度:
[期刊论文] 作者：赵娜,王剑,李彤,郁涌,李鹏,谢仲文,
来源：计算机科学 年份：2017
以当前可信软件研究中的一个热点问题——基于构件的可信软件构造及其关键理论和技术为主要内容开展研究工作。在前期的工作中,根据面向对象的思想对Petri网进行扩展,提出了...
[期刊论文] 作者：钱晔,李彤,郁涌,孙吉红,于倩,彭琳,
来源：计算机科学 年份：2016
全球化软件开发导致以交互方式协作开发的频率和复杂性越来越高。为了控制和规范软件演化的开发行为进而提高软件质量,文献[10]设计了软件演化过程元模型EPMM,由EPMM定义的软...
[期刊论文] 作者：丁序飞,王友福,郁涌,丁兆彤,刘汉超,
来源：西北园艺 年份：1999
在北方,用大棚种植结球甘蓝,虽能在深冬及早春上市,但是投资太高。笔者采用结球甘蓝露地越冬栽培新技术,完全可以在蔬菜淡季取得高产高效优质的效果。该项课题1998年通...
[期刊论文] 作者：代飞, 李彤, 谢仲文, 于倩, 卢萍, 郁涌, 赵娜,,
来源：软件学报 年份：2012
随着大量的软件演化过程模型被软件演化过程元模型建模产生，如何验证过程模型的正确性，是摆在人们面前的一个重要任务．针对软件演化过程元模型，引入进程代数ACP（algebraofcommunic......
相关搜索：
