姓名：黎升洪

出生日期：1962年04月

職務：計算機科學與技術系教師

職稱：副教授

E_mail：lish@jxufe.edu.cn

研究方向：軟件理論、進程代數、模型檢查及形式化方法。

個人簡歷：

近期科研成果：

[1] 黎升洪, 繆淮扣. OCL 2.0 表達式語義學比較研究（EI收錄）[J]. 華中科技大學學報（自然科學版）,2005, 33Sup: pp182-185.

[2] 黎升洪, 繆淮扣. 時態(tài)邏輯描述能力比較研究[J]. 計算機工程與應用,2006, 7:

[3] 黎升洪, 繆淮扣, 張新林. 線性時態(tài)邏輯中的特性模式[J]. 計算機應用,2006, 7:

[4] 黎升洪. 基于ZML的Z語言規(guī)范[J]. 江西科學,2006, 7:

[5] 黎升洪等. EJB企業(yè)服務應用程序的UML建模研究[省教育廳科技項目報告]. 江西財經大學.2006

[6] 黎升洪. 信息系統(tǒng)建模的OCL 約束檢查和確認[A]. 中國信息系統(tǒng)年會第一次會議[C]. 2005. 北京 : 清華大學出版社

[7] 黎升洪. 在PowerBuilder中實現(xiàn)任意兩序列間相關圖[J]. 江西科學,2005, 23(1) : pp72-74.

[8] 黎升洪. 基于WebML的數據密集型Web應用建模方法[A]. 全國計算機新科技與計算機繼續(xù)教育論文集[C]. 2004. 四川，成都 : 西南交通大學出版社. pp223-229

[9] 黎升洪, 楊波, 沈波. Visual FoxPro面向對象程序設計教程[M]. 北京: 科學出版社, 2004.pp280.

[10] 黎升洪. 多模型宏觀經濟信息系統(tǒng)的設計與實現(xiàn)[J]. 江西科學,2003, 21(4) : pp293-296.

[11] 黎升洪. 多模型宏觀經濟信息系統(tǒng)設計中的若干問題[J]. 南昌大學學報,2002, 24(2) : pp86-88.

[12] 黎升洪. 用VB 6.0對SPSS10.0進行二次開發(fā)[J]. 計算機系統(tǒng)應用,2002, 4: pp71-73.

[13] 黎升洪. 基于XML的動態(tài)網頁方法[J]. 計算機與現(xiàn)代化,2001, 6: pp184-188.

如果發(fā)現(xiàn)導師信息存在錯誤或者偏差，歡迎隨時與我們聯(lián)系，以便進行更新完善。 聯(lián)系方式>>