全部标签

程序机制

程序与软件系统

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