软件工程的未来发展

    现代软件工程今后将主要从形式化、复用化、集成化、智能化几个方向进一步发展。

    1.软件开发形式化、过程管理净室化

    软件形式开发方法是基于数学方法来描述软件系统性质的一门技术。它采用严格的形式符号体系，分析、综合和转换软件系统的功能、结构与行为。为软件系统的说明、开发和验证提供了一个形式化框架，并为软件系统的自动实现提供了形式描述的基础。净室软件工程技术是以应用数学和统计学的方法和原理作为基础，通过设计和测试中的质量认证而产生个严格的工程过程，以期预防软件产品缺陷和故障的产生，保证软件开发的正确性。净室软件工程将成为软件工程发展的个重要方向。

    2.组成构件化、系统集成化

    软件的基本组成模块，由于面向对象技术及复用技术的支持，正朝着构件化的方向发展。软件构件的设想来自于硬件的即插即用:封闭芯片的内部细节，只根据外部特性维护、升级和重构。软件构件是具有特殊计算功能的、自主的、可复用的软件模块，它可按一定的接口规范实现互操作，进而完成软件系统的集成。软件集成技术将为硬件环境、软件工具、软件工程环境以及软件构件的集成提供更完善的技术支持，能够从整体上提升软件工程环境的技术水平，更全面、更有效地支持软件开发及维护过程。

    3.信息处理智能化

    人工智能技术的应用能够为软件工程提供智能化的软件工具及开发环境，同时也为软件系统自身的信息处理智能化提供技术支持。