江西财经大学是一本吗数据库应用黎升洪好吗

地址:江西省南昌市昌北经济技術开发区玉屏大道 邮编: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| 文档星级:?????

全文阅读已结束如果下载本文需要使用

该用户还上传了这些文档

我要回帖

更多关于 江西财经大学是一本吗 的文章

 

随机推荐