参考文献/References:
[1] 陈明. 软件工程学教程 [M]. 北京:科学出版社, 2002.1-12.
[2] 唐稚松. 时序逻辑程序设计与软件工程:时序逻辑语言 [M]. 北京:科学出版社, 1999.1-15.
[3] 周志刚, 孙秀钰, 林仲达. 软件工程 [M]. 北京:机械工业出版社, 2004.1-9.
[4] 郑人杰, 殷人昆, 陶永雷. 实用软件工程 [M]. 北京:清华大学出版社, 1997.8-16.
[5] 汤子瀛, 哲凤屏, 汤小丹. 计算机操作系统 [M]. 西安:西安电子科技大学出版社, 2001.191-208.