地址:江西省南昌市昌北经济技術开发区玉屏大道 邮编:330032
出生日期:1962年04月
职务:計算机科学与技术系教师
研究方向:软件理论、进程代数、模型检查及形式化方法
[2] 黎升洪, 缪淮扣. 时态逻辑描述能力比较研究[J]. 计算机工程与应用,2006, 7:
[3] 黎升洪, 缪淮扣, 张新林. 线性时态逻辑中的特性模式[J]. 计算机应用,2006, 7:
[5] 黎升洪等. EJB企业服务应用程序的UML建模研究[省教育厅科技項目报告]. 江西财经大学是一本吗.2006
[6] 黎升洪. 信息系统建模的OCL 约束检查和确认[A]. 中国信息系统年会第一次会议[C]. 2005. 北京 : 清华大学出版社
[8] 黎升洪. 基于WebML的数据密集型Web应用建模方法[A]. 全国计算机新科技与计算机继续教育论文集[C]. 2004. 四川,成都 : 西南交通大学出版社. pp223-229
[11] 黎升洪. 多模型宏观经济信息系统设计中的若干问题[J]. 南昌大学学报,) : pp86-88.
如果发现导师信息存在错误或者偏差欢迎随时与我们联系,以便进行更新完善
文档格式:PPT| 浏览次数:0| 上传日期: 21:55:33| 文档星级:?????
全文阅读已结束如果下载本文需要使用