B方法与形式化软件开发技术研究2012.3崔梦天, 韩伟, 著 软件开发的形式化方法2005.01古天龙, 编著 软件开发的形式化工程方法：结构化+面向对象+形式化2008.(日) 刘少英, 著 软件开发方法2004.10宋晓华, 李乐明, 著 形式化方法导论2015.张广泉, 编著 基于构件的软件开发技术研究2014.5周伟, 著 软件工程形式化方法与语言2009.03吴江琴, 编著 软件开发技术2008.11张帆, 主编 机械工程软件开发技术研究2018.5施杰, 著 计算机软件开发技术研究2019.12刘红庆, 杨曙, 著 软件开发技术2012.12封孝生, 胡升泽, 鲍翊平, 刘德生, 主编 计算机软件开发与测试技术研究2015.8黄斌文, 秦飞舟, 许玉娟, 主编 软件开发技术2011.7冯萍, 等编著 软件复用与构件化软件开发2010.8吴庆涛, 刘灿勋, 徐冬, 编著 软件开发技术与应用2018.8张峰, 著