电脑体验，效果更佳

对象约束语言图谱-计算机领域：

研究人员

马华东 檀润华 张申生 刘湘伟 葛峰 孙玮鸿 刘俊莉 郝成民

相关术语

软件测试 B方法 平台无关模型 MDA 统一建摸语言 关联 规格变异 形式化方法

上位概念

统一建模语言

标签云