语义驱动时代的软件工程：MiniSpec 与 SACC 的五层模型 深入介绍 MiniSpec DSL 和 SACC 五层语义模型，探索如何重构工程语言、上下文与 AI 的理解方式，实现语义驱动开发。 AI工程 MiniSpec SACC 软件架构 语义模型 DevOps DSL 语义驱动开发 2025-07-24