江西财经大学信息管理学院导师介绍:黎升洪
姓名:黎升洪
出生日期:1962年04月
职务:计算机科学与技术系教师
职称:副教授
E_mail:lish@jxufe.edu.cn
研究方向:软件理论、进程代数、模型检查及形式化方法。
个人简历:
近期科研成果:
[1] 黎升洪, 缪淮扣. OCL 2.0 表达式语义学比较研究(EI收录)[J]. 华中科技大学学报(自然科学版),2005, 33Sup: pp182-185.
[2] 黎升洪, 缪淮扣. 时态逻辑描述能力比较研究[J]. 计算机工程与应用,2006, 7:
[3] 黎升洪, 缪淮扣, 张新林. 线性时态逻辑中的特性模式[J]. 计算机应用,2006, 7:
[4] 黎升洪. 基于ZML的Z语言规范[J]. 江西科学,2006, 7:
[5] 黎升洪等. EJB企业服务应用程序的UML建模研究[省教育厅科技项目报告]. 江西财经大学.2006
[6] 黎升洪. 信息系统建模的OCL 约束检查和确认[A]. 中国信息系统年会第一次会议[C]. 2005. 北京 : 清华大学出版社
[7] 黎升洪. 在PowerBuilder中实现任意两序列间相关图[J]. 江西科学,2005, 23(1) : pp72-74.
[8] 黎升洪. 基于WebML的数据密集型Web应用建模方法[A]. 全国计算机新科技与计算机继续教育论文集[C]. 2004. 四川,成都 : 西南交通大学出版社. pp223-229
[9] 黎升洪, 杨波, 沈波. Visual FoxPro面向对象程序设计教程[M]. 北京: 科学出版社, 2004.pp280.
[10] 黎升洪. 多模型宏观经济信息系统的设计与实现[J]. 江西科学,2003, 21(4) : pp293-296.
[11] 黎升洪. 多模型宏观经济信息系统设计中的若干问题[J]. 南昌大学学报,2002, 24(2) : pp86-88.
[12] 黎升洪. 用VB 6.0对SPSS10.0进行二次开发[J]. 计算机系统应用,2002, 4: pp71-73.
[13] 黎升洪. 基于XML的动态网页方法[J]. 计算机与现代化,2001, 6: pp184-188.
【江西财经大学信息管理学院导师介绍:黎升洪】相关文章:
- 2017-01-10【导师介绍】中南大学黄健陵
- 2016-10-26【导师介绍】浙江大学计算机科学与技术专业导师个人简介:王章野
- 2016-10-26【导师介绍】复旦大学生命科学学院霍克克博导个人简介
- 2015-05-08【导师介绍】中国人民大学信息学院计算机应用技术导师介绍:陈熙霖
- 2015-05-08【导师介绍】中国人民大学信息学院计算机应用技术导师介绍:何军
- 2015-05-08【导师介绍】中国人民大学信息学院计算机应用技术导师介绍:许伟
网友关注
- 【导师介绍】2020年山西农业大学分子农业与生物能源研究团队李润植教授课题组考研调剂信息
- 【导师介绍】2018年山西财经大学考研复试分数线
- 【导师介绍】2017年山西财经大学考研复试分数线
- 【导师介绍】2019年山西农业大学经济管理学院硕士研究生复试调剂工作安排
- 【导师介绍】2017年山西财经大学硕士研究生拟录取名单公示
- 【导师介绍】2018年山西财经大学120401行政管理专业方向全日制考研复试分数线
- 【导师介绍】2016年山西财经大学考研考场安排
- 【导师介绍】2019年山西农业大学考研调剂专业及要求
精品推荐
- 2021考研管综逻辑300道推理题及答案(21)
- 2020考研管理类联考综合全国硕士研究生考试试题及答案(网友版)
- 2020考研管综逻辑演绎推理类型试题及答案解析(查字典考研网版)
- 2020考研管综逻辑分析推理类型试题及答案解析(查字典考研网版)
- 2020考研管综初等数学算术部分试题解析及往年对比
- 2020考研管综初数条件充分性判断部分试题答案及解析(查字典考研网版)
- 2020考研管理类联考初数问题求解部分试题答案及解析(查字典考研网版)
- 2020考研管综初等数学数据分析部分试题解析及往年对比
- 2020考研管综初等数学平面图形部分试题解析及往年对比
- 2020考研管综初等数学空间几何体部分试题解析及往年对比