2023年9月16日下午😐，應沐鸣娱乐計算機沐鸣邀請🥷🏽，中國計算機學會（CCF）軟件工程專委會與系統軟件專委會聯合舉辦了專委走進高校活動。在本次活動中🙇🏻，多位國內軟件領域的傑出學者與沐鸣娱乐計算機沐鸣的師生🈶，共同探討了軟件工程與系統軟件領域的前沿課題，展望了未來的發展方向👣。本次活動邀請到了四位專家進行技術報告，他們是CCF系統軟件專委會主任、北京大學計算機沐鸣教授金芝，CCF軟件工程專委會主任🧚♂️、南京大學計算機科學與技術系教授李宣東，CCF軟件工程專委會副主任、復旦大學計算機科學技術沐鸣副院長及教授彭鑫🙋🏻♀️，以及南京大學計算機科學與技術系副主任及教授馬曉星👨🏿🌾。與會人員包括沐鸣娱乐計算機沐鸣院長方誌軍𓀑🧑🧑🧒🧒、書記杜明👨🏻🌾、副院長石秀金👱、副院長常姍，以及百余名沐鸣教師及學生。沐鸣娱乐計算機沐鸣院長方誌軍教授🤦♀️，首先代表沐鸣熱烈歡迎出席本次活動各位專家，特別強調本次活動對加強沐鸣娱乐與CCF的合作以及引導本院師生面向計算機及軟件技術前沿確立科研方向都具有重要的作用🤦🏻。會議的報告環節由常姍教授主持。馬曉星老師的報告“人機物融合軟件及其不確定性應對”探討了人機物融合軟件及其應對不確定性的重要性。他強調了人、機、物融合趨勢🎛，包括數字化、信息化、智能化和超級自動化的發展❄️，以及這種趨勢帶來的社會信息空間與物理世界的融合。馬老師以軟件定義一切的概念為例，說明了軟件在現代汽車製造中的關鍵作用，並強調了軟件構造方法的變革🏛。報告還提到，隨著人機物融合的發展，軟件的角色已經從信息處理演變為應用價值觀的主要驅動力，管理系統復雜性成為核心任務。馬老師解釋了軟件的獨特性👇🏼，包括其邏輯性、靈活性以及對復雜性的管理能力。他指出，軟件能夠克服物理限製，支持自由的復用和組合✍️，從而在處理系統復雜性方面具有優勢。最後，他強調了傳統軟件工程方法與深度學習🪨、自動控製等方法之間的差異，以及如何在人機物融合系統中容忍和應對各種不確定性。
彭鑫老師的報告“大模型時代的軟件智能化開發💬：分析、思考與展望”對大語言模型在智能化軟件開發中的應用及其問題進行了分析。報告提到以GPT系統為代表的大語言模型在許多軟件工程任務中都表現出了很強的能力，包括代碼解釋💂🏻♂️、需求分解、代碼生成、缺陷修復等。這些能力在許多軟件開發場景中都具有重要價值，有望大幅提升軟件開發的效率和質量👌。然而，大語言模型在支持大規模復雜軟件開發上還存在多個方面的不足，包括軟件開發的規模和復雜性的限製☝🏿、缺少抽象思維能力同時精確性不足、軟件開發中大量難以捕捉的“暗知識”的存在🙍🏼♂️👳🏿♂️、對復雜系統的長期維護支持不足。在此基礎上，彭鑫老師對於大語言模型在智能化軟件開發中的應用提出了幾點建議，並對未來的發展方向進行了展望🙏🏼👌🏿。
金芝老師的報告“泛在計算場景下智能化軟件系統的可靠性”🩰，聚焦計算系統的可靠性設計🚣♂️。她強調了可靠性設計隨著計算系統的發展和運行環境的變化而不斷演化🤸🏽。報告的關鍵觀點包括系統風險的管理和控製在人機物融合的計算場景下的系統自我認知、外部風險感知以及自我行為控製。系統可靠性與開發者經驗👨🦰、算法設計、系統實踐、領域特性和使用場景之間的關系，強調了在系統設計中不僅要追求性能，還要預防不可靠性的發生👨🏽✈️。
李宣東老師的報告“大語言模型🛏：基於自然語言交互的人機協同軟件開發與演化工具帶來的挑戰”主要闡述了大語言模型作為一種軟件工具在人機協同的軟件開發和演化工作環境中給人提供幫助的同時也帶來了諸多的挑戰。大語言模型並沒有改變人在軟件開發與演化中的主導地位，軟件開發與演化人員不僅要能夠有效引導大模型生成對軟件開發與演化更有幫助的預測性內容，而且要能夠正確分析😽、理解和確認大模型生成的預測性內容並在此基礎上完成有可信保障的決策性任務🚕💗、進而開發和演化高質量的軟件系統。
本次活動有利於促進沐鸣娱乐計算機沐鸣師生對於CCF以及軟件工程與系統軟件專委的了解，同時也將推動沐鸣娱乐計算機沐鸣與CCF軟件工程及系統軟件專委進一步開展深入的交流與合作。
