搜索到 篇“ 形式化规约 “的相关文章

相关作者

陈振庆
作品数：29被引量：60H指数：5
供职机构：贺州学院教育技术中心
研究主题：描述逻辑 知识库 DELPHI UML类图 计算机专业
黄志球
作品数：388被引量：1,019H指数：15
供职机构：南京航空航天大学
研究主题：WEB服务 抽象语法树 隐私 本体 代码
肖健宇
作品数：19被引量：39H指数：4
供职机构：湖南涉外经济学院
研究主题：B方法 形式化方法 程序依赖图 并发程序 UML状态机
王哲民
作品数：4被引量：9H指数：2
供职机构：南京航空航天大学计算机科学与技术学院
研究主题：参数化 哈希 形式化规约 有限状态自动机 C语言
祝义
作品数：59被引量：164H指数：7
供职机构：江苏师范大学
研究主题：软件体系结构 进程代数 实时系统 基于UML CPS