本书系统地介绍了面向软件的数字工程（de）与基于模型的系统工程（mbe）的理论体系、方、核心技术和工程应用，讨论了 yml 建模工具的实现技术，内容涵盖需求模型开发、mbe 工具开发、执行模型与行为、规则定义与自动语法校验等多个方面，详细阐释了支撑 mbe 的关键技术，通过理论描述与工程案例的结合，帮助读者全面掌握 de 和 mbe 的知识体系，并获得参与启发。本书适合作为软件相关专业本科生和的参教材，也适合科研院所的研究人员、界的实践者，以及对数字工程和系统工程感兴趣的专业人士阅读。