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

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

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

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