《需求工程——软件建模与分析（第二版）》勘误

高等教育出版社《需求工程——软件建模与分析（第二版）》勘误：

1. P108，“（4）目标的分类”下“保持（maintain）：\(P \Rightarrow \Diamond Q\)”应为“保持（maintain）：\(P \Rightarrow \square Q\)”；
2. P108，“（4）目标的分类”下“避免（avoid）：\(P \Rightarrow \Diamond \lnot Q\)”应为“避免（avoid）：\(P \Rightarrow \square \lnot Q\)”；
3. P379，图 14-44 状态图建立示例，图中左下角“列表显示do/显示产商品信息”应为“列表显示do/显示商品信息”

事实上，封面英文书名和扉页的拼音书名完全不一样。