搜索筛选:
搜索耗时0.9282秒,为你在为你在102,285,761篇论文里面共找到 2 篇相符的论文内容
发布年度:
[会议论文] 作者：王丹;常建生;赵晶;,
来源：2010年第四届中国可信计算与信息安全学术会议 年份：2010
针对组件系统的可信验证问题,提出了一种基于B抽象机精化机制的组件间连接的形式化验证方法.以基于组件的实时响应系统——锅炉控制系统为实例进行了分析,设计了该系统的组件...
[会议论文] 作者：常建生,王丹,赵文兵,
来源：2010年全国软件与应用学术会议(NASAC2010) 年份：2010
为验证基于构件的软件系统中构件间交互的可信性,将UML与Pi演算理论相结合,提出了一个软件构件间交互的可信性验证模型.在构件行为分析的基础上,利用抽取规则抽取Pi演算语义,以形式化的方式描述构件的行为.进一步利用Pi演算的操作语义推演构件间的实际交互行为.......
相关搜索：
