软件学院School of Software

学科方向

        软件学院的学科发展以国家重大战略需求和国际科技前沿为导向，以计算机科学与技术、信息安全、系统科学、计算数学和应用数学等为依托，注重跨一级学科的交叉与联合。从软件系统的可信性度量和演化的基本规律出发，研究现代软件面临的复杂性、开放性、演化性等挑战性问题，同时立足软件工程应用和产业发展需求，研究提高软件开发效率和质量的方法、技术和工具。注重向下拓展软件工程理论基础研究，向上拓展软件服务应用研究。下设四个二级学科：软件工程理论、软件工程技术与管理、信息系统工程、软件服务工程。

        软件工程理论方向强调系统性，强调软件与其环境的动态交互，以适应当前软件规模更大、交互更多、结构更复杂、动态开放等新型软件特征；强调软件工程的理论探索，以软件系统建模和验证为核心，基于形式化方法指导软件全生命周期各阶段的实践，提高软件系统的可信性。该方向将依托软件系统建模验证联合实验室，坚持将理论研究与工业界的现实需求相结合，形成理论研究、工具开发与实际应用三结合的科研模式，构建既可“顶天”、也可“立地”的教学与科研融合的创新平台，走出“以需求牵引学术创新、以研究推动应用创新”的学科建设与发展的新路。

        软件工程技术与管理方向以现代软件的生态环境为背景，重点研究新形态的软件体系结构及形式化表示、动态自适应的需求工程方法、基于复杂网络的软件缺陷预测分析、开放网络环境下软件测试理论与方法以及集成化支撑系统平台等关键技术。

        信息系统工程方向主要研究以复杂海量数据为核心的信息系统开发方法，包括复杂海量数据管理理论和面向领域的复杂软件系统开发方法与支撑平台。该方向将以研制新一代“大数据”管理平台为载体，研究面向云计算环境的海量数据管理与过程管理技术，重点突破大规模并行过程的建模与行为分析、非结构化数据管理与挖掘、移动端内容版权保护及系统性能工程等新型理论、模型、技术与方法，基于该“大数据”管理平台，开发面向新型网络增值服务和企业信息化应用的支撑软件。

        软件服务工程方向以用户需求为导向，基于网络和云架构，依托软件服务管理平台，对原子服务进行动态组合和协同，研究用户需求的获取，软件服务的模型和形式化方法，服务组合和协同理论，以及服务提供机制和管理平台。该方向将研究重点放在移动服务和媒体服务方面。移动服务研究涵盖无线网络通讯协议设计、无线网络定位、网络故障诊断、无线网络安全。无线传感网研究成果将继续深入应用于煤矿、海洋、林业等物联网系统中。媒体服务以自主知识产权的三维数字核心系统为载体，重点研究几何建模、渲染、可视化、图像和音视频处理等，并在建筑、机械、医学与防灾减灾等领域继续应用，形成产学研一体化的创新平台。