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

相关作者

黄志球
作品数:411被引量:1,052H指数:15
供职机构:南京航空航天大学
研究主题:WEB服务 抽象语法树 隐私 代码 本体
李宣东
作品数:298被引量:836H指数:16
供职机构:南京大学
研究主题:自动机 面向对象 混成系统 MDA 实时系统
刘冬梅
作品数:32被引量:29H指数:3
供职机构:南京理工大学
研究主题:代数规约 规约 面向对象 WEB服务 系统分析与设计
谢健
作品数:50被引量:54H指数:4
供职机构:南京航空航天大学
研究主题:AADL 规约 自动转换 自动生成方法 层次化
薛锦云
作品数:137被引量:557H指数:13
供职机构:江西师范大学
研究主题:PAR方法 程序设计 形式化方法 循环不变式 PAR