江西财经大学校徽

江西财经大学 黎升洪

  • 蛟桥园校区：南昌市国家经济技术开发区双港东大街169号;麦庐园校区：南昌市国家经济技术开发区玉屏大道
  • http://www.jxufe.edu.cn/ http://zsjy.jxufe.edu.cn/zs/
  • 0791-83816635
  • wts1@jxufe.edu.cn

  1. 院校大全
  2. 江西财经大学
  3. 信息管理学院
  4. 黎升洪

黎升洪

姓名： 黎升洪
学校： 江西财经大学
学院： 信息管理学院
职称：  

黎升洪老师的简介

<div class> <p> 　　姓名：黎升洪</p> <p> 　　出生日期：1962年04月</p> <p> 　　职务：计算机科学与技术系教师</p> <p> 　　职称：副教授</p> <p> 　　E_mail：lish@jxufe.edu.cn</p> <p> 　　研究方向：软件理论、进程代数、模型检查及形式化方法。</p> <p> 　　个人简历：</p> <p> 　　近期科研成果：</p> <p> 　　[1] 黎升洪, 缪淮扣. OCL 2.0 表达式语义学比较研究（EI收录）[J]. 华中科技大学学报（自然科学版）,2005, 33Sup: pp182-185.</p> <p> 　　[2] 黎升洪, 缪淮扣. 时态逻辑描述能力比较研究[J]. 计算机工程与应用,2006, 7:</p> <p> 　　[3] 黎升洪, 缪淮扣, 张新林. 线性时态逻辑中的特性模式[J]. 计算机应用,2006, 7:</p> <p> 　　[4] 黎升洪. 基于ZML的Z语言规范[J]. 江西科学,2006, 7:</p> <p> 　　[5] 黎升洪等. EJB企业服务应用程序的UML建模研究[省教育厅科技项目报告]. 江西财经大学.2006</p> <p> 　　[6] 黎升洪. 信息系统建模的OCL 约束检查和确认[A]. 中国信息系统年会第一次会议[C]. 2005. 北京 : 清华大学出版社</p> <p> 　　[7] 黎升洪. 在PowerBuilder中实现任意两序列间相关图[J]. 江西科学,2005, 23(1) : pp72-74.</p> <p> 　　[8] 黎升洪. 基于WebML的数据密集型Web应用建模方法[A]. 全国计算机新科技与计算机继续教育论文集[C]. 2004. 四川，成都 : 西南交通大学出版社. pp223-229</p> <p> 　　[9] 黎升洪, 杨波, 沈波. Visual FoxPro面向对象程序设计教程[M]. 北京: 科学出版社, 2004.pp280.</p> <p> 　　[10] 黎升洪. 多模型宏观经济信息系统的设计与实现[J]. 江西科学,2003, 21(4) : pp293-296.</p> <p> 　　[11] 黎升洪. 多模型宏观经济信息系统设计中的若干问题[J]. 南昌大学学报,2002, 24(2) : pp86-88.</p> <p> 　　[12] 黎升洪. 用VB 6.0对SPSS10.0进行二次开发[J]. 计算机系统应用,2002, 4: pp71-73.</p> <p> 　　[13] 黎升洪. 基于XML的动态网页方法[J]. 计算机与现代化,2001, 6: pp184-188.</p> <p> 　　如果发现导师信息存在错误或者偏差，欢迎随时与我们联系，以便进行更新完善。联系方式&gt;&gt;</a></p> </div>

黎升洪老师的课程

  • 暂时还没有收录黎升洪老师的课程列表，我们将尽快添加。

    • 黎升洪老师的论文

    • 暂时还没有收录黎升洪老师的论文，我们将尽快添加。

    黎升洪老师参与的论文

    • 暂时还没有收录黎升洪老师参与的论文，我们将尽快添加。

    信息管理学院 其他教师

    关于黎升洪老师的相关提示：以上内容并非是黎升洪老师的最新情况，请以黎升洪老师的官方公布信息为准。

    猜你想看

    学校首页

    学校简介

    院系设置

    专业介绍

    就业情况

    院校动态

    招生简章

    录取规则

    基础设施

    收费项目

    食宿条件

    奖学金设置

    体检要求

    校园影集

    友情链接

    第一考试网 灯塔阅读
    Copyright ©2024-2025 第一考试网 京ICP备11047680号-2
    反馈/投稿/合作/咨询：13562564（QQ）    邮箱：13562564@qq.com