本科课程


软件工程

http://cs.tju.edu.cn/faculty/lxh/kecheng-index.html

软件测试

http://cs.tju.edu.cn/faculty/lxh/softwaretest.html



研究生课程


高可信软件工程

统一建模语言



博士生课程


形式化方法