电脑体验，效果更佳

形式化规约图谱-计算机领域：

研究人员

阮幼林 祝义 杨德礼 周航 冯学民 李传湘 李刚 郑志 刘欣昕 杨红 黄志球 刘亚萍 曹子宁

相关术语

构件 软件体系结构 面向对象 模式 层次谓词变迁网 GOOZ 精化演算 Unity逻辑 UML-RT 面向对象模式 转换 Agent系统 图表句法理论 LOTOS Z 软件开发方法 实时系统 并发系统

标签云