作　　者： ; ; ; ;

机构地区： 烟台大学计算机学院

出　　处： 《计算机工程与科学》 2008年第10期72-74,77,共4页

摘　　要： 软件工程研究软件开发过程所需的模型、方法和工具。UML是软件工程实践中的重要工具,它可以对软件进行规约、可视化、构造和建档。本文以UML的状态图为例,讨论了其在十字路口的信号灯的控制中的应用,指出了其在软件需求分析中的建模作用,并揭示了软件工程与计算机科学之间的关系。最后,指出了当今软件工程的发展与实践是在向计算机科学理论回归,从而作为计算机科学的理论基础的离散数学对实践的指导作用就显而易见了。 Software engineering studies the models, method and tools in the software development process. UML is an important tool which can specify, visualize, construct and document the artifacts of a software system in software engineering. This paper discusses the application of UML in crossroad signal lamp controlling, points out its role of modeling in software requirement analysis, and reveals the reIations between software engineering and computer science. Finally we show that the current development and practice of software engineering is the regress from practice to science, so the role of discrete mathematics in software engineering and computer science theory is obvious.

关 键 词： 软件工程 状态图 离散数学 计算机科学理论

领　　域： [自动化与计算机技术] [自动化与计算机技术]