蔣嚴冰

  • 博士 副教授
  • 軟件工程與數據技術系
 

      一直從事軟件工程領域的教學和科研工作,指導學生多次獲得全國或國際競賽獎勵,開展創新性的課程教學,并與華為、微軟、IBM等公司開展科研教學合作項目??蒲泄ぷ髦袑⒒A研究與面向企業服務相結合。教學過程中堅持多種教學法的綜合運用,開發各種教學案例,注重課程的實用性,向學生傳授最前沿的知識和技術。

 

  • 2000.9-2004.3

    北京大學信息科學與技術學院 計算機軟件與理論理學博士

  • 2004.4-2006.4

    清華大學 信息技術研究院 計算機科學技術 博士后

  • 2006.5-

    北京大學軟件與微電子學院 任教 從事教學科研工作

  • 2010.11-2011.2

    作為訪問學者在微軟亞洲研究院進行Web三維富客戶端技術及學術搜索技術的研究與開發

 

  1. 《面向對象技術高級課程》 研究生課程 2008學院精品課程

    本課程深入、系統、完整地講解當今主流的面向對象軟件開發方法的分析、設計、實現及重構方法,深入講解UML語言的高級技術細節,以及面向對象方法之后軟件方法學最新的發展趨勢,并通過大量、豐富、完整、不同領域、應用不同技術的案例將其中的關鍵知識點串聯起來,便于理解和應用。本課程綜合國內外多家方法學大師權威視角與多年教學科研成果,集理論性、實用性、研究性、前沿性一體,為工程碩士研究生日后從事大型軟件系統的分析設計、系統重構以及建立企業軟件開發架構,或從事軟件方法學領域應用基礎研究提供啟發性理論指導及借鑒。

  2. 《軟件實現技術》 研究生課程 2008教育部-微軟精品課程 2012微軟課程先鋒

    2006年開始擔任本課程主講教師,微軟軟件實現技術課程的開設長期得到了微軟亞洲研究院、微軟公司、微軟云創新中心的大力支持。本課程通過詳細講解微軟最新技術(window8/widowsphone8/Azure)的介紹和技術指導,提供課程所需的軟硬件實驗環境,激發同學們學習新技術的興趣,嘗試構建寬松活潑的課程氛圍,課程理念在堅持“做中學”的同時,實現從“要我學”到“我要學”的轉變。

  3. 《模型驅動的軟件開發技術》 研究生課程 研究創新性課程 2009年開設

    本課程結合最新的研究進展與研究實踐講解軟件開發方法學在面向對象軟件開發方法之后的最新發展趨勢與關鍵技術,如基于構件,面向特征,面向特征等技術。并在此基礎上,介紹模型驅動軟件開發方法的基本概念與主要思想與優勢。重點講解模型驅動軟件開發方法中的關鍵技術,如元建模技術、模型轉換和代碼生成的規范與方法。并結合Eclipse Modeling Framework框架中的各種插件,提供模型驅動的軟件開發豐富完整的案例。

 

  1. 軟件開發方法學
  2. 面向對象的軟件開發技術
  3. 模型驅動的軟件開發技術
  4. “云+端”移動互聯網軟件開發技術
  5. 軟件重構技術

  1. 國家自然科學基金項目“軟件外包領域模型驅動開發方法中模型偽裝與轉換理論研究”課題負責人 2012~2015
  2. 華為高校合作項目“支持下一代網絡架構和協議的廣義模型和轉換技術” 課題負責人 2013
  3. IBM高校合作項目“涉及Vendor的軟件外包決策方法與工具” 課題負責人 2009.8~2010.7
  4. IBM高校合作項目“軟件外包的方法與工具” 課題負責人 2008.8~2009.7
  5. 十一五科技支撐項目:村鎮數字化管理關鍵技術研究與應用子課題子課題負責人 2007~2009
  6. 中國博士后科學基金項目“擴展UML的過程策略及其在Web領域的應用”課題負責人 2004.12~2006.4

  1. 2010年指導學生獲得首屆全國UML建模大賽冠軍
  2. 2013年指導的學生團隊在微軟創新杯決賽中獲得全國決賽二等獎

  1. Jiang Yan-bing Shao Wei-zhong Ma Zhi-yi and Feng Yao-dong, On the Formalized Semantics of Static Modeling Elements in UML, Formal Methods And Software Engineering 2002, Procedings Lecture Notes In Computer Science, Springer-Verlag Berlin.(SCI收錄)
  2. Yanbing Jiang, Weizhong Shao, Lu Zhang, Zhiyi Ma, Xiangwen Meng and Haohai Ma,On the Classification of UML’s Meta Model Extension Mechanism, UML2004, Procedings Lecture Notes In Computer Science, Springer-Verlag Berlin. (SCI收錄 引用1次)
  3. 蔣嚴冰 邢春曉,模型驅動的體系結構研究綜述, 南京大學學報(自然科學版),計算機科學專輯 2005.10
  4. 蔣嚴冰 邵維忠 張路,UML中衍型的精確定義與分析, 麻志毅 電子學報 2003.12a(EI收錄)
  5. 邵維忠 蔣嚴冰 麻志毅,UML現存問題與發展道路,計算機研究與發展,2003.4(EI收錄)
  6. 麻志毅 蔣嚴冰 戴耀飛 李勁宇,面向對象的建模工具——JBOO3.0的研究與開發, 電子學報 2002.12a (EI索引源)
  7. Yanbing Jiang ,Xin Zhou, Ying Liu, Jingkun Hu, A Study on Neural Network based Software Outsourcing Process Pattern Decision, Proceedings of International Conference on Service Science, 2009.5.
  8. Yanbing Jiang, Xin Zhou, Ying Liu, Qi Zeng, Junfang Zhong, A RUP-based Process Pattern for Software Development Outsourcing, International Conference on Service Science, 2010.5.
  9. Yanbing Jiang, Lei Chen,Xin Zhou, Ying Liu,Process-Oriented Software Outsourcing Decision Based on Genetic Algorithm, 2010 IEEE International Conference on Service Operations and Logistics, and Informatics,2010.7.
  10. Zhicong Cheng, Bin Gao, Congkai Sun, Yanbing Jiang and Tie-Yan Liu, Let Web Spammers Expose Themselves, 2011 Fourth International Conference on Web Search and Data Mining, 2011.2.

 

  1. 2013年起任清華大學博士后聯誼會 IT分會 副秘書長