石冰主编；卜华龙，浮盼盼，陈丽萍副主编2017 年出版290 页ISBN：9787312042355
本书针对软件工程学科的特点，全面系统地讲述了软件工程的概念、原理和方法。本书正文共分为11章，第1章是软件工程的概述，第2章介绍了软件过程模型，第3~9章顺序讲述了软件生命周期各个阶段的目标、任务、原则、...
王晓鹏，许涛主编2013 年出版347 页ISBN：9787302300564
本书共有9个章节，前5章主要讲述软件测试基本理论和方法，后4章重点在于培养学生使用测试软件进行测试实践的能力。读者可以循序渐进地掌握软件测试的基础理论，并且使主流测试工具的操作水平提升到相当的高度，同...
姜重然，霍艳忠，白金泉主编2007 年出版207 页ISBN：756032276X
本书从北京亚控科技发展有限公司开发研制组态软件《组态王》为例，通过设计一个反应车间监控画面，阐述了组态软件《组态王》基本理论及应用，然后，对应掌握的内容作了讲解，并举出了《工控软件组态王在铁路调度中应...
吴德编著1995 年出版509 页ISBN：7542709712
内容包括：建立版面、页操作、正文编辑、表格编辑、图形和图像的编辑、打印等等， 均以实例详细说明。
赵斌编著2011 年出版550 页ISBN：9787030300638
本书是高级软件测试工程师专用教材。作者通过丰富的项目及培训经验，结合大量实际案例讲解软件测试技术和软件测试工具的应用，将最实用的技能及知识传授给读者，使读者尽快上手，少走弯路。...
全国计算机信息高新技术考试教材编写委员会编写2010 年出版183 页ISBN：9787030290502
本书是人力资源和社会保障部全国计算机信息高新技术考试中的会计软件应用模块（用友软件系列）高级会计电算化员级指定教材，由全国计算机信息高新技术考试教材编写委员会组织编写，国家职业技能鉴定专家委员会计算...
李莹，吴江琴著2010 年出版200 页ISBN：9787308066679
本书第一部分介绍了Z语言的背景知识，包括集合论和一阶谓词演算等概念及其形式化表达方法；第二部分介绍了Z语言构成及其规格说明的结构化，引入求精理论；第三部分介绍了Martin-Lof类型理论，及其规则定义和推导演算...
东软集团股份有限公司编2011 年出版252 页ISBN：9787811029161
本书分为2大部分。第一部分共计8课，包括自我介绍、电话联系到回国前等与工作息息相关的内容；第二部分共计7课，从购物、中日比较到阐述意见，是与在日生活息息相关的内容。全书场景设计齐全，内容丰富多彩，全方位、....
陈承欢编著2015 年出版256 页ISBN：9787115385833
本书通过先进的建模工具+完整的软件模型+系统的UML知识，让学习者学会应用UML知识、学会构思软件模型、学会绘制UML图。通过体验两个系统（图书管理系统和网上书店系统）和多个软件模块模型的构建过程，在真实的软...
刘忠超，张燕，尉乔南编著2016 年出版255 页ISBN：9787560641348
iFIX是GE智能平台提供的世界领先的自动化硬件和软件的解决方案，本书以iFIX组态软件为蓝本，配合实例，通过任务驱动学习的机制，全面具体地介绍了iFIX组态软件的功能和使用方法，引导读者由浅入深地掌握组态软件的使...
