张广泉 黄志球 曹子宁 周航 孙海燕

多态性 资源 时序图 对象约束语言 建模 测试用例 实时软件 时间迁移系统

江苏苏州 江苏徐州 江苏南京 解放军理工大学通信工程学院 苏州大学计算机科学与技术学院 徐州师范大学计算机科学与技术学院 南京航空航天大学信息科学与技术学院