本科课程

---

软件工程

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

软件测试

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

---

研究生课程

---

高可信软件工程

统一建模语言

---

博士生课程

---

形式化方法

---