软件工程

软件可靠性工程

本书依据软件生命周期理论，介绍了软件测试可靠性、运行可靠性。将软件的测试剖面与运行剖面的差别融入到可靠性模型中，以提高软件可靠性评估和预测的精度...

C++面向对象程序设计

本书系统地介绍了C++面向对象程序设计中的类和对象、运算符重载、友元函数及模板类、继承与派生等知识，同时用面向对象的方式实现了顺序表、链表、二叉树等数据结构。本书结构清晰，语言通俗易懂，示例代码具有专业的编程风格；知识由浅入深、循序渐进，实例丰富，体现了程序设计和数据结构的紧密结合；且很好注重案例的选择和提炼，每个实例都附有运行结果，便于读者学习。 本书可作为高等院校“C++面向对象程序设计”课程的教材，也可作为计算机编程爱好者学习程

民机面向对象软件编程(C++)安全风险分析

C++语言具有继承、多态、强制类型转换、动态内存、组合类、模板等多种高级特性，这在方便C++程序开发的同时，也会因为误用带来诸多潜在的软件安全风险。本书基于对DO-332标准的理解，通过深入剖析C++语言特性，分析潜在的程序安全风险，给出风险检测与规避措施，为C++语言程序在民机安全关键机载软件的应用提供帮助。 本书内容包括序言、类的封装与继承、多态性、类型强制转换、静态成员、异常管理、内存管理、组合类、模板、标准类库、运行时错

捕食区块链

本书从最基本的概念入手, 用通俗易懂的语言为读者分析解读区块链的技术原理、经济学思想、矿机产业、技术应用场景、全球未来发展前景等, 并将区块链常见的技术知识点进行总结, 便于读者对相关概念进行查阅...

复杂软件系统可信性分析与验证方法

以通信、存储和计算为核心的信息基础设施已经渗透到政治、经济、军事、文化以及社会生活的各个层面，成为当代生产力发展和人类文明进步的强大动力。软件是信息基础设施的灵魂，随着人们对功能需求的不断增加，软件系统变得日趋庞大和难以驾驶，缺陷和漏洞难以避免，系统越来越脆弱，很多时候不以人们期望的方式工作，经常发生各种故障和失效，直接或间接地给用户带来损失。在开放动态网络环境中，如何保证复杂软件系统的可信性是近年来学术界和工业界非常关注的问题。本书