Verilog HDL数字系统设计及实践

本书通过一个完整项目案例由浅入深地介绍了业务建模和软件设计的方法论——领域驱动设计（DomainDrivenDesign，DDD）。首先，本书介绍了DDD的基本概念和主流设计方法，同时引入贯穿全书的案例系统，并完成案例系统的基础设计；其次，围绕DDD的统一语言、子域和限界上下文展开讨论，探讨从问题空间进入解空间的解决方案；再次，从领域建模范式讲起，详细分析实体、值对象、聚合、领域服务、应用服务

本书基于软件测试过程模型，构建软件测试价值模型、能力模型及基于能力战略的软件测试策略框架，讨论软件测试终止、测试预言、测试生成问题。基于图结构、图元素及软件失效行为，介绍逻辑驱动、数据驱动、剖面驱动的基础理论、基础技术及实践者方法。基于技术创新及软件测试发展需求，构建面向服务、大数据及应用、软硬件一体化测试的技术框架，讨论基于服务模型的形式化描述及求解、服务实体及基于时间波动的服务实时性测试、大数

本书详细介绍了可用于数据处理的表格格式、云产品、框架、存储层，以及如何将这些内容组合在一起，以获得适合自己需求的高性能解决方案。作者在书中提供的决策框架将帮助你明智地决定选择哪种数据湖。本书是大数据领域每个人的必读书。阅读本书后，你将了解构建云数据湖所需的所有基础知识，并能够以多种方式应用这些知识。本书主要面向数据架构师、数据开发人员和数据运维专业人员，他们希望广泛地了解设置和运营云数据湖的各个方