软件工程实例分析中用到的基本理论。