国际B会议指导委员会
International B Conference Steering Committee
类型 E 源自地域/人物/机构的组织 法国 南特 1997 成立
概览
宗旨
推广用于软件系统规约、设计与编码的B方法（B-method），该方法主要涉及软件生命周期的核心环节：技术规约；通过逐步求精的设计；分层架构；可执行代码生成。
简介
国际B会议指导委员会法文名称为Association de pilotage des conférences B（APCB），于1997年8月16日成立并依法国法律注册，登记会址为法国南特。该会推广用于软件系统规约、设计与编码的B方法，涉及技术规约、逐步求精设计、分层架构和可执行代码生成等软件生命周期核心环节；由理事会领导。
研究领域
科技与工业
软件形式化方法（B方法）研究与会议
组织概况
总部：法国 南特 类型：E 源自地域/人物/机构的组织
官网与联系
官网：https://example.org/
地址 / 邮箱 / 电话等完整联系方式
出版物
暂无出版物数据
会议活动
暂无会议数据
组织关系
暂无关系数据
历史沿革 付费
1997年8月16日成立，同日依法国法律注册。
组织架构 付费
理事会。