通信顺序进程论文

基于形式化方法的软构件接口规范
论文摘要软件工程是为解决软件危机而诞生的一门学科,基于构件的软件工程CBSE提高了软件生产效率和质量,日益成为软件开发的主流范型。构件具有黑盒性质,因此,构件通过接口提供服务,...
军交指挥空间用户操作模型应用研究
论文摘要未来信息化战争中的军交运输指挥面临着诸多问题,军交运输指挥效能决定着战时后勤保障能力的高低,直接影响着战争的进程和结局。对于军交运输而言,军交运输态势的获取、分析和利用...
面向网格服务的软件体系结构建模及演化研究
论文摘要在计算机软件网络化和服务化的趋势下，面向网格服务的分布式软件系统得到了迅速的发展，同时也面临着与传统软件开发初期同样的问题，缺乏技术手段指导软件的需求、设计导致软件产品...
赵莹：协同业务过程的随机行为分析方法论文
本文主要研究内容作者赵莹,潘华,孙金艳,莫启,代飞（2019）在《协同业务过程的随机行为分析方法》一文中研究指出：参与组织随机行为是评价业务协同有效实施的一个关键因素。结合进程...