AI 图谱
搜 索
AI实验室
综述
阅读理解
数学分析
问句匹配
意图识别
关系识别
实体识别
关于我们
请正确填写您要查询的数据
电脑体验,效果更佳
王林章图谱-计算机领域:
相关人员
陈鑫
李宣东
雷斌
郑国梁
赵建华
卜磊
于笑丰
柳溪
杨璐
张天
袁洁松
胡军
张岩
于利前
研究领域
软件测试
统一建模语言(UML)
测试用例
嵌入式建模
基于场景的规约
静态分析
消息交互一致性验证
健壮性
接口自动机
顺序图
嵌入式软件
构件
模型检验
实时软件
嵌入式系统
不变性
构件式系统设计
模型转换
无效输入
动态分析
混合分析
灰盒方法
Web服务
状态机
UML
建模
MDA(model driven architecture)
活动图
测试场景
设计模式
所属机构
南京大学计算机科学与技术系
南京大学计算机软件新技术国家重点实验室
南京大学软件新技术国家重点实验室
南京大学计算机软件新技术国家重点实验室计...
计算机软件新技术国家重点实验室
标签云
王林章图谱-计算机领域:
图谱关系 查看更多
相关人员 查看更多
王林章标签云