软件开发
-
-
B方法与形式化软件开发技术研究
崔梦天，韩伟著2012 年出版133 页ISBN：9787561457290本书从软件实际开发过程出发，将形式化技术应用于每个开发阶段，系统地介绍了基于B方法完成软件形式化开发的模式、过程、技术和方法，其中包括UML模型图到B方法形式规约的比较全面的转换方法。...
-
-
-
MIS软件开发的方法与实践
顾明著2003 年出版167 页ISBN：7535932312本书系统地论述了MIS软件开发各个阶段的建模问题和应用软件的组装控制问题，描述了基于构件库的应用软件支撑平台的开发。
-
-
Java软件开发基础
何桂兰，陈素琼主编2015 年出版222 页ISBN：9787560638324本书第一部分为任务驱动课程模块，具体内容为熟悉Java开发环境，数据类型的声明，使用和转换、方法与运算符，分支语句与命令行参数，控制语句之循环语句初步，循环结构之多重循环；第二部分为项目驱动课程模块，具体内容为...
-
软件开发技术任务式教程
宋贤钧，周立民主编2013 年出版237 页ISBN：9787511421067软件开发技术是电子信息类专业的一门核心课程。本教材从软件开发方法与环境、数据表示与存储、数据组织与处理、算法设计与应用、软件测试与维护技术五个方面系统地讲解了软件开发过程所涉及的基本方法和技...
-
-
软件工程 架构驱动的软件开发
（美）理查德F.施密特（RichardF.Schmidt）著；江贺，李必信，周颍等译2016 年出版222 页ISBN：9787111533146本书比较全面地介绍软件工程学科，展示软件工程原则与基于系统工程的软件实践，阐明与软件工程所用的严格方法相关的实践活动、原则、任务和工件。本书共分三部分：第一部分（软件工程基础）讨论在软件工程体系下的软...
-
-
做中学 Visual Basic程序设计和软件开发
齐幼菊主编；陈小冬，虞江锋，郑炜副主编2016 年出版254 页ISBN：9787534170270本书主要讲述了Visual Basic程序设计和软件开发，本书以程序的任务驱动来引出理论，强调做中学。本书主要介绍了可视化编程，编程基础，高级编程技术，文件操作，色彩与图形，数据库应用等内容。...
-
-
软件开发 事件驱动式高级编程
苏格兰学历管理委员会著2004 年出版289 页ISBN：7801695984本书主要讲软件发展中引人注目的大事记，正是这些重大的推动力才造就了软件发展历程的巨大革新，此为高级教程。
-
软件开发的形式化工程方法
（日）刘少英著2008 年出版408 页ISBN：7302183171本书首次开创了一个新技术，即形式化工程方法，把传统的形式化方法和软件工程有机结合起来。它提供了一个严密、系统、有效的软件开发方法，其实用性超过了目前所有形式化方法。这正好可以满足学术界、软件工程类...
-
-
软件开发 面向对象编程 初级
（英）苏格兰学历管理委员会（SQA）著2005 年出版154 页ISBN：7801699548本书着重论述了与目标导向设计有关的JAVA设计初级知识程序设计与测试入门。以及程序设计的特点等内容。
-
软件开发 链式数据结构 Linked data structures：advanced 高级 Unit student guide
苏格兰学历管理委员会著2005 年出版155 页ISBN：7801699572本书为英国高等教育文凭项目英文原版教材，为软件开发的必修课程，是链接数据结构高级教程，论述了自动数据变换，操作界面设计，循环运算法则应用以及界面测试与文件设计等内容。...
-
-
