首页> 外文期刊>Software >Decomposition tool for Event-B
【24h】

Decomposition tool for Event-B

机译:事件B的分解工具

获取原文
获取原文并翻译 | 示例
       

摘要

Two methods have been identified for Event-B model decomposition: shared variable and shared event. The purpose of this paper is to introduce the two approaches and the respective tool support in the Rodin platform. Besides alleviating the complexity for large systems and respective proofs, decomposition allows team development in parallel over the same Event-B project which is very attractive in the industrial environment.
机译:确定了事件B模型分解的两种方法:共享变量和共享事件。本文的目的是介绍Rodin平台中的两种方法以及相应的工具支持。除了减轻大型系统和相应证明的复杂性之外,分解还允许团队在同一Event-B项目上并行开发,这在工业环境中非常有吸引力。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号