电脑体验，效果更佳

形式化开发方法图谱-计算机领域：

研究人员

王云峰 郑国梁 杨朝晖 查鸣 庞军

相关术语

嵌入式系统 精化演算 形式规约 UML 面向对象

标签云