计算机实践向理论的回归

• 作者: 刘惊雷 刘红霞 张伟 王立宏
• 来源期刊: 计算机工程与科学
• 学科: 工学
• 关键词: 软件工程 状态图 离散数学 计算机科学理论
• 年，卷（期）: 2008,（10）
• 所属期刊栏目: 离散数学理论与应用
• 页码范围: 72-74,77
• 页数: 4页
• 分类号: TP311
• 字数: 4122字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-130X.2008.10.025

摘要

软件工程研究软件开发过程所需的模型、方法和工具.UML是软件工程实践中的重要工具,它可以对软件进行规约、可视化、构造和建档.本文以UML的状态图为例,讨论了其在十字路口的信号灯的控制中的应用,指出了其在软件需求分析中的建模作用,并揭示了软件工程与计算机科学之间的关系.最后,指出了当今软件工程的发展与实践是在向计算机科学理论回归,从而作为计算机科学的理论基础的离散数学对实践的指导作用就显而易见了.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘惊雷	烟台大学计算机学院	63	262	8.0	13.0
2	王立宏	烟台大学计算机学院	51	270	8.0	14.0
3	刘红霞	烟台大学数学系	18	16	2.0	3.0
4	张伟	烟台大学计算机学院	40	377	12.0	18.0