软件开发的形式化方法2005.01古天龙, 编著 软件开发的形式化工程方法：结构化+面向对象+形式化2008.(日) 刘少英, 著 B方法与形式化软件开发技术研究2012.3崔梦天, 韩伟, 著 软件开发方法2004.10宋晓华, 李乐明, 著 形式化方法导论2015.张广泉, 编著 软件工程形式化方法与语言2009.03吴江琴, 编著 软件开发2003.09(美) 汉密尔顿, 著 基于模型的软件开发方法2011.9权巍, 李莉, 徐晶, 编著 软件开发2004.09苏格兰学历管理委员会, 著 Joel谈优秀软件开发方法2007.(美) 斯珀儿斯奇 (Spolsky,J.) , 著 软件开发2005.09苏格兰学历管理委员会, 著 软件开发2004.09苏格兰学历管理委员会, 著 软件开发2005.07苏格兰学历管理委员会, 著 软件开发2004.09苏格兰学历管理委员会, 著 软件开发2005.02苏格兰学历管理委员会, 著