基本情況
姓名：譚新明任教專業：工學-計算機科學與技術
在職情況：是
性別：女
所在院系：計算機科學與技術學院
所教課程：
研究方向：工業化軟體工程方法，形式化方法，實時系統
個人簡介
2006年6月畢業於加拿大卡爾加里大學工學院電氣與計算機工程系軟體工程專業，獲博士學位；主要研究實時系統代碼自動生成技術。1988-1990年在武漢水運工程學院及中科院軟體所（聯合培養）從事分散式程序理論研究，於1990年6月獲碩士學位。1983年畢業於武漢水運工程學院計算機套用專業，獲學士學位。從1992年起，先後為碩士/博士生、留學生主講的課程有：數理邏輯、面向對象程式設計、面向對象方法學、形式化軟體開發、組件技術、分散式程式設計等。現主要從事工業化軟體工程方法、形式化方法、實時系統、認知信息學、分散式程式設計理論和套用的研究。在軟體工程方向，重點研究（1）軟體工程進程模型、測量體系、軟體質量，著眼於指導實際軟體系統的開發；（2）將形式化方法套用於軟體工程，保證安全敏感性軟體系統的可靠性。在實時系統方向，重點研究（1）實時作業系統核心；（2）實時系統的體系結構和設計模式，為實時系統開發方法奠定基礎；（3）實時系統的描述、驗證技術，提供實時系統的規範說明及驗證手段；（4）將形式化方法套用於實時系統的開發，提高實時系統開發自動化程度。在國際學術刊物和會議論文集上發表學術論文近20篇，其中大多被IEEE數字圖書館全文收錄，EI索引。主要學術成果
代表性著作：《XML與電子商務》代表性論文：新一代企業IS的特點及其總體規劃新一代企業IS的特點及其總體規劃
