软件工程形式化方法与语言2009.03吴江琴, 编著 形式化方法导论2015.张广泉, 编著 软件开发的形式化方法2005.01古天龙, 编著 语言形式化原理2015.10王迈, 著 形式化软件规约Radl获取、验证与确认方法2014.王昌晶, 罗海梅, 著 软件开发的形式化工程方法：结构化+面向对象+形式化2008.(日) 刘少英, 著 软件工程方法1992.8崔俊芝, 黄玉霞, 韩其瑜, 著 软件工程2011.8《软件工程》编写组, 编 软件工程2011.4《软件工程》编写组, 编 软件工程模型与方法2008.03吴建林等, 编著 实用软件工程方法2005.08微软公司, 著 软件工程推进方法2004.09罗积玉等, 编著 软件工程2005.05自学考试命题研究组, 《软件工程》编委会, 编 软件工程方法与实践2004.02胥光辉等, 编著 软件工程方法与实践2004.11李芷, 编著