學位類别：工程碩士學位
設立時間：2012年
學制：碩士3年
簡介：
進入21世紀，以互聯網為核心的新一代信息技術得到快速發展，軟件的應用模式發生了巨大變化。在開放、動态、複雜的網絡環境下，靈活、可信、協同的計算資源、數據資源、軟件資源、服務資源等各種信息資源的共享和利用、無處不在的普适計算、主動可信的服務計算等，均對軟件工程領域的發展提出了巨大挑戰。圍繞服務計算、雲計算、社會計算、可信計算、移動互聯網、物聯網、信息物理融合系統、大數據、人工智能等新型計算和應用模式，展開應用導向的軟件工程研究成為主流趨勢。另一方面，軟件工程經過數十年的研究與實踐，積累了海量的軟件及相關數據，整理和分析這些數據，發現和總結軟件制品、人員、工具、活動的特點及其所反映的軟件工程實踐效果，成為近幾年軟件工程的研究熱點，這不僅能夠提煉與完善軟件工程理論、方法和技術，還能支撐軟件工程在新型計算和應用模式中的進一步發展。
本學科設以下研究方向。
（1）大數據技術與工程。在計算機科學和數學等基本原理的基礎上，研究大型複雜軟件開發、運行和維護的理論和方法，以及形式化方法在軟件工程中的應用，主要包括軟件語言、形式化方法、軟件自動生成與演化、軟件建模與分析、軟件智能化理論與方法等内容。
（2）網絡與信息安全。研究電子服務工程原理、方法和技術，構建支持電子服務系統的基礎設施和平台，主要包括電子服務系統軟件體系結構、電子服務業務過程、電子服務工程方法、電子服務運行支撐等内容，以海南省建設信息化智能島為背景，針對“海洋通信與信息化智能島”建設需求，研究可信軟件開發方法和技術，為海南國際旅遊島信息化建設（電子政務、電子商務、電子農務等網絡系統安全）量身打造安全策略。
學科負責人：周曉誼
