陈世鸿等编著2000 年出版312 页ISBN：7307030748
大学计算机专业教程:本书既详细介绍了传统软件工程方法，又系统讨论了20世纪新兴的面向对象软件开发方法。全书从面向对象的思维模型、开发模型、计算模型和面向对象程序设计语言等几个方面作了详细讨论。...
崔梦天，赵翠新，王玉红著2016 年出版149 页ISBN：9787030493002
本书从软件实际开发过程出发，将形式化技术应用于每个开发阶段，系统地介绍了基于B方法完成软件形式化开发的模式、过程、技术和方法，其中包括UML模型图到B方法形式规约的比较全面的转换方法，实现形式规约的精化...
汪遐昌编著2005 年出版228 页ISBN：7810883674
本书一方面讲清楚运筹学诸分支的数学模型、基本概念、基本理论、计算方法；同时提供相应的计算机软件，重点放在用计算机处理运筹学的方法。本书对于一切运用运筹学知识的人都是适用的，这包括一切管理人员、企业...
李星荣，张守斌主编2007 年出版260 页ISBN：711121157X
本书包括PKPM结构系列软件应用与工程设计实例等知识。
李实等编2006 年出版350 页ISBN：7302138761
本书是2006年开放源代码软件SCILAB及其工程应用国际研讨会论文集。
李向文编2012 年出版200 页ISBN：9787504741691
本书以物流信息协同为主线，用协同商务管理的思想和协同物流理论以及物流协同软件工程的方法，将协同物流管理与系统物流软件有机结合，以达到协同物流软件开发与应用的人才培养目标。...
