搜索筛选:
搜索耗时0.7920秒,为你在为你在102,285,761篇论文里面共找到 2 篇相符的论文内容
发布年度:
[期刊论文] 作者：常建生,王丹,赵文兵,
来源：计算机工程 年份：2012
为解决软件实体间的预期协作路径获取问题,提出一种软件实体中预期协作路径的获取方法。结合UML与Pi演算理论,在对软件实体行为分析的基础上,对实体行为进行Pi演算语义抽取,...
[期刊论文] 作者：王丹,常建生,赵文兵,
来源：计算机科学与探索 年份：2012
为验证基于构件的软件系统中构件间交互的可信性,将统一建模语言（unified modeling language,UML）与Pi演算理论相结合,提出了一个软件构件间交互的可信性验证模型。在构件行为...
相关搜索：
