2012 年出版133 页ISBN：9787561457290
本书从软件实际开发过程出发，将形式化技术应用于每个开发阶段，系统地介绍了基于B方法完成软件形式化开发的模式、过程、技术和方法，其中包括UML模型图到B方法形式规约的比较全面的转换方法。...
2003 年出版167 页ISBN：7535932312
本书系统地论述了MIS软件开发各个阶段的建模问题和应用软件的组装控制问题，描述了基于构件库的应用软件支撑平台的开发。
2015 年出版222 页ISBN：9787560638324
本书第一部分为任务驱动课程模块，具体内容为熟悉Java开发环境，数据类型的声明，使用和转换、方法与运算符，分支语句与命令行参数，控制语句之循环语句初步，循环结构之多重循环；第二部分为项目驱动课程模块，具体内容为...
2013 年出版237 页ISBN：9787511421067
软件开发技术是电子信息类专业的一门核心课程。本教材从软件开发方法与环境、数据表示与存储、数据组织与处理、算法设计与应用、软件测试与维护技术五个方面系统地讲解了软件开发过程所涉及的基本方法和技...
2016 年出版222 页ISBN：9787111533146
本书比较全面地介绍软件工程学科，展示软件工程原则与基于系统工程的软件实践，阐明与软件工程所用的严格方法相关的实践活动、原则、任务和工件。本书共分三部分：第一部分（软件工程基础）讨论在软件工程体系下的软...
2016 年出版339 页ISBN：9787568229401
本书集高级程序设计语言、数据结构、软件工程、工程数据库于一体，系统介绍了工程软件的基本概念、结构、开发方法，以VB为主要工具，结合工程实践给出大量实例，由浅入深全面阐述了高级程序设计语言的计算原理和基...
2016 年出版254 页ISBN：9787534170270
本书主要讲述了Visual Basic程序设计和软件开发，本书以程序的任务驱动来引出理论，强调做中学。本书主要介绍了可视化编程，编程基础，高级编程技术，文件操作，色彩与图形，数据库应用等内容。...
2004 年出版289 页ISBN：7801695984
本书主要讲软件发展中引人注目的大事记，正是这些重大的推动力才造就了软件发展历程的巨大革新，此为高级教程。
2008 年出版408 页ISBN：7302183171
本书首次开创了一个新技术，即形式化工程方法，把传统的形式化方法和软件工程有机结合起来。它提供了一个严密、系统、有效的软件开发方法，其实用性超过了目前所有形式化方法。这正好可以满足学术界、软件工程类...
2005 年出版181 页ISBN：7801699181
本书为英国高等教育文凭项目英文原版教材，为其计算机专业必修课程。第一部分主要介绍了链接数据结构的基本理论，第二部分论述了链接数据结构的应用领域与方法，第三部分论述了链接数据结构与结构化查询方法结构...
2005 年出版154 页ISBN：7801699548
本书着重论述了与目标导向设计有关的JAVA设计初级知识程序设计与测试入门。以及程序设计的特点等内容。
软件开发 链式数据结构 Linked data structures：advanced 高级 Unit student guide
2005 年出版155 页ISBN：7801699572
本书为英国高等教育文凭项目英文原版教材，为软件开发的必修课程，是链接数据结构高级教程，论述了自动数据变换，操作界面设计，循环运算法则应用以及界面测试与文件设计等内容。...
2006 年出版90 页ISBN：7543930285
本书系国际学术会议专题论文集，主要探讨了分布式软件系统的开发方法学方面的研究成果。
