姓名：黎升洪

出生日期：1962年04月

職務(wù)：計算機科學(xué)與技術(shù)系教師

職稱：副教授

E_mail：lish@jxufe.edu.cn

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

個人簡歷：

近期科研成果：

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

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

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

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

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

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

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

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

[9] 黎升洪, 楊波, 沈波. Visual FoxPro面向?qū)ο蟪绦蛟O(shè)計教程[M]. 北京: 科學(xué)出版社, 2004.pp280.

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

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

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

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

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