软件系统

从执行和约束出发，理解软件的架构、通信、状态、任务、交互、信任、验证与交付。