暂缺简介...

暂缺简介...

全面讲解如何构建稳定可靠的软件　《软件工程入门经典》揭秘专业开发人员为设计和构建稳定、可靠、高效软件所运用的软件工程技术和方法。本书通俗易懂，在大量案例的引导下，演示适用于任何编程语言的重要概念和技术；即使你目前不具有编程、开发和管理经验，同样可以阅读和学习本书。每章末尾附有精选习题，以测试你对知识的理解程度，引导你悟透主要概念。本书全面介绍了瀑布、生鱼片、敏捷、RAD、Scrum、看板和极限编程等各种开发方法所涉及的基本任务。主要内容◆ 详述软件工程概念◆ 阐释参与软件工程项目的团队成员的角色和职责◆ 指出软件工程项目都必须经历哪些重要阶段才能开发出功能卓越的可靠应用程序◆ 详述主流软件开发方法及其处理重要开发任务的不同方式◆ 提供从每章主要知识点引申的习题◆ 附有详明的软件工程术语表

这是一本真正从“人”（而非技术也非管理）的角度关注软件开发人员自身发展的书。书中论述的内容既涉及生活习惯，又包括思维方式，凸显技术中“人”的因素，全面讲解软件行业从业人员所需知道的所有“软技能”。本书聚焦于软件开发人员生活的方方面面，从揭秘面试的流程到精耕细作出一份杀手级简历，从创建大受欢迎的博客到打造你，从提高自己工作效率到与如何与“拖延症”做斗争，甚至包括如何投资不动产，如何关注自己的健康。本书共分为职业篇、自我营销篇、学习篇、生产力篇、理财篇、健身篇、精神篇等七篇，概括了软件行业从业人员所需的“软技能”。通过阅读本书，软件工程人员、编程人员和其他技术人员能够积极思考自己的职业生涯，丰富自己的生活，让自己更接近成功。

本书从软件实际开发过程出发，将形式化技术应用于每个开发阶段，系统地介绍了基于B方法完成软件形式化开发的模式、过程、技术和方法，其中包括UML模型图到B方法形式规约的比较全面的转换方法，实现形式规约的精化过程，形式化B方法的验证技术，从UML形式化规约的逐步精化的规范与方法问题，整个规约、精化直到代码生产阶段的模型形式化验证及自动化，基于B方法的面向对象软件体系结构的形式化方法。通过该书的介绍使得学习者真正体会到如何应用形式化技术解决实际软件开发技术问题。基于形式化方法的高可信软件的开发基本走出实验室，满足高可信软件开发的需要。

暂缺简介...

本书从玩家的需求角度出发，用产品设计的理念重新审视游戏与玩家之间的供需关系，并分析这些关系是如何在主流的游戏市场中被体现的。 在完成了理论知识铺垫后，本书还通过实践引导读者完成一次设计的过程。学习如何更好的在实际中从玩家的角度去设计游戏，维护游戏。

本书系统地介绍了软件测试的概念，从不同的视角来探讨软件测试的本质及其内涵，重点讲解了软件测试的各种方法和技术，并将它们应用于不同的测试阶段，满足不同的应用系统测试的需求。本书用了较大篇幅详细介绍了自动化测试的原理、方法和工具，通过一些典型的测试工具展示了自动化测试的过程，使读者更容易掌握自动化测试的技术和实践方法。

交互设计是一个正在快速发展的新兴行业，它包含界面、产品架构、信息逻辑、人机交互、用户体验等方面的内容。越来越多的互联网、移动互联网行业的从业人员关注到了交互设计，越来越多的软件产品项目组开始配备专职的交互设计师。《交互设计那些事儿》从实践出发，系统地介绍了交互设计的概念、职责要求、知识体系、工作思路、设计技巧，并系统介绍了交互设计的入门方法和进阶方向。《交互设计那些事儿》立足于实际工作，从交互设计的各个阶段所遇到的不同问题出发，以交互设计工作生命周期为主线，依次介绍交互设计基础、交互设计工作场景、交互设计架构相关能力、交互设计流程、原型设计相关内容，以及大量交互设计说明文档的案例，就交互设计相关的方方面面做了一次鸟瞰，让没有基础的学习者看完之后能快速熟悉交互设计，节约学习时间。无论是交互设计从业者、用户体验从业者，还是互联网行业的技术人员、网站UI 设计师、移动终端UI 设计师、工业设计从业者、互联网创业者，以及传统行业的从业设计人员和广大学生群体，都可以从《交互设计那些事儿》中获益。

暂缺简介...