時間：本週六(10月15日)2:00~6:00
目的：
瞭解軟件工程學科及其發展，更好地把握職場空間定位；瞭解形式化方法研究的價值，拓展創新思維能力
報告1：（2小時）
“第三腦智”與“自然語言理解”—如何在軟件工程領域開展間接形式化教育？
報告人：
鄒曉輝
《軟件》雜誌 副主編
中國地質大學 高等教育研究所 研究員
中美雙語信息處理課題組 組長
研究專長：
知識本體
雙語信息處理—協同智能計算系統
內容：
通過典型實例——協同智能計算系統，及其所依據的原創性的理論和方法，分別從一個系統、兩個方面、三個階段、四個層次，系統地介紹：如何在軟件工程領域開展間接形式化教育？
內容包括：
l 間接計算模型和間接形式化方法
l 協同智能計算系統——理論模型及其應用
l 一種基於雙語自動轉換的間接形式化方法
上述成果爲報告人發明，涉及一種間接形式化方法及雙文雙語並行計算系統，進一步是一種基於雙語自動轉換的間接形式化方法，屬於專用於理論計算機如何轉化爲實用計算機的高級信息技術課程計算機輔助教學系統和基於知識本體數據倉庫的雙語界面處理技術領域。這一研究以打破馮諾依曼計算思維的視角，讓我們重新審視信息及其計算，爲自然語言理解找到新的研究途徑。
簡介：
目前是中美合作項目“雙語信息處理研究”最大的無形資產投資人
分別在美國UC Berkeley、哈佛大學、北京大學等著名高校做訪問學者進行聯合科研工作
多次榮獲中國發明獎，獲獎內容包括：
l Intelligent communication composite set
http://ip.com/patapp/CN1093849
l Automatic translation system for various foreign languages
http://ip.com/patapp/CN1162792
l Knowledge information data processing method and product thereof
http://ip.com/patapp/CN1274895
報告2：1小時
軟件工程學科領域發展概貌及其職場空間定位
報告人：
張紅延
北京交通大學軟件學院副教授
中國服務工程技術標準組成員
中國軟協專家支撐體系過程與服務領域專家委員
內容：
爲了應對軟件危機帶來的困境，1968 年北大西洋公約組織的計算機科學家在聯邦德國召開國際會議正式提出並使用了“軟件工程”這個名詞,一門新興的工程學科就此誕生。四十多年來，軟件工程研究與產業實踐可以用一句話概括：發展技術研究、重視工程管理、關注業務過程、發展IT服務。
報告將就軟件工程學科概貌及其發展，職場空間的定位展開討論。
報告人簡介：
作爲北京交通大學軟件學院初創的第一位教師，建立了第一個真正意義上的軟件工程專業課程體系，來滿足產業與教育雙方的需求，是國家精品課與教育部-IBM精品課“軟件分析與設計技術”的課程負責人；作爲“精英型軟件工程師人才培養模式的探索與實踐”成果第二完成人，榮獲第六屆國家教學成果一等獎；2010年獲IBM全國優秀教師獎，2011年獲教育部國家示範性軟件學院“全國十佳專職教師”。作爲“雙師型”教師，有十多年高校從事教學與研究工作，有十多年企業從事技術、管理與諮詢服務的工程實踐經歷，爲國內幾十家軟件企業提供過程改進與能力評估的諮詢服務。先後兩次作爲訪問學者出國進修：
1993~1994, 比利時學習，主修軟件工程
2010~2011, 在澳大利亞昆士蘭科技大學學習，主修服務工程
主要研究方向：軟件服務工程（信息系統學科）
興趣點：
1) 業務過程管理（含軟件過程）
2) 企業架構
3) 需求工程
4) 軟件度量
背景技術
形式化方法是基於嚴密的、數學上的形式機制的計算機系統研究方法。從20世紀90年代開始,計算機學科相關專業的形式化方法的教育引起了歐美教育界的高度重視和關注。歐洲的英國、德國、法國、意大利、荷蘭、西班牙等國家的高校相繼爲研究生開設了形式化方法方面的課程,並推廣至本科生教育。從20世紀90年代中期開始,美國高校也開展了形式化方法教育研究,並在美國頂尖的35所大學的計算機學科實施了研究生和本科生的教育實踐。形式化方法(FM-Formal Method)知識體系中的6個知識領域爲:① 基礎(Foundations);② 形式化規格(Formal specification paradigms);③正確性驗證及演算(Correctness, verification and calculation);④ 形式化語義(Formal semantics);⑤ 可執行規格支持(Support for executable specification);⑥ 其他(Other Topics)。形式化方法教育過程中,相關形式化方法工具的支持是非常重要和必要的。歐洲高等院校在形式化方法研究和教育過程中,開發了許多相關工具。形式化工具有:Actress、Alloy、AtelierB、B-Toolkit(Btlk)、BDDC、CADP、CADiZ、CASL、Coq、CommUnity、CWB、ESCJava、FDR、FuZZ、GHC、Gofer、Hugs、HOL、集成網絡分析器(INA)、Isabelle、IVDM、Lotrec、LTSA、NuSMV、Petri網程序設計環境(Petri)、PVS、PicT、RAISEtools、RAT、RML、SPIN、T-Logic、TRIO、UPAAL、VDMT、WHY、ZANS、ZEVES、ZTC等已在相關課程教學中得到使用。形式化方法教育得到歐、美國家高等院校的重視和大力推廣不過是十餘年的時間,建立完善的知識體系和課程教學內容還需要進一步的努力。從歐洲58所高校的課程開設情況來看,雖然形式化方法教育得到了大範圍的實施,但是課程內容、授課教材、輔助工具等還比較散雜,建立形式化方法課程的知識內容規範、編寫相關規範指導下的教材、開發相關規範指導下的輔助工具,是亟待解決的問題。形式化方法的工業應用需求和教學過程實踐的經驗積累,已愈來愈體現出計算機相關專業形式化方法教育的必要性和可行性。國內計算相關專業的形式化方法教育還相當薄弱,尚未在高等院校得到有效推廣和實施。計算機相關專業形式化方法課程教學的有效推進還有賴於課程教材、實驗環境、支撐工具以及應用環境等方面的突破。[教育部高等學校計算機科學與技術教學指導委員會. 高等學校計算機科學與技術專業發展戰略研究報告暨專業規範(試行)[M].北京:高等教育出版社,2006.]
http://blog.sciencenet.cn/home.php?mod=space&uid=94143&do=blog&id=496708