问答题 简述形式化方法（基于数学）的优点。

名词解释 实体-联系图的符号

问答题 简述与用户沟通获取需求的方法。