中文版
|
英文版
主页
研究领域
项目成果
发表论文
合作交流
突出文章
精品课程
教学内容
本科课程
软件工程
http://cs.tju.edu.cn/faculty/lxh/kecheng-index.html
软件测试
http://cs.tju.edu.cn/faculty/lxh/softwaretest.html
研究生课程
高可信软件工程
统一建模语言
博士生课程
形式化方法