第3章严密系统设计方法-3.2关注点分离