您当前位置: 首页  >  团队队伍  >  教研室  >  软件理论与技术

软件理论与技术

郭德贵

基本情况

姓名:

郭德贵

                  

性别:

职称:

副教授

最高学历:

研究生

最高学位:

博士

电话:

13756114899

Email

guodg@jlu.edu.cn

 

详细情况

所在学科专业:

计算机软件与理论

所研究方向:

软件理论与技术

讲授课程:

编译原理(课程链接
 
程序安全检测技术(课程链接
 
形式语义学

教育经历:

1992.9-1996.7   山东大学数学系 本科
  2000.9-2003.7
十大网投信誉排名(中国)有限公司 硕士研究生
  2003.9-2007.7
十大网投信誉排名(中国)有限公司 博士研究生

工作经历:

1996.7-2004.7   延边大学数学系 教师
  2004.7-
至今 十大网投信誉排名(中国)有限公司 教师

科研项目:

1 切片技术及应用研究 公司基本科研业务费项目 负责人
  2
本体演化中若干问题的研究 国家自然科学基金 3参加人
  3
计算机专业本科生实践教学体系和创新能力培养研究 吉林省教学改革重点课题 2参加人
  4
本体定义元模型及其在语义网中的应用研究 吉林省科技厅 3参加人

学术论文:

1 ATLAS语言实现中的设备分配算法研究 电子学报,2007.11
  2 C/ATLAS
单动作测试语句实现的操作语义描述 公司学报(理学版),2008.01
  3 ACCENT
生成的语法分析器中多个语法错误检查的实现 计算机应用与软件,2007.08
  4 Operational Semantics of the Seal Calculus The 4th International Conference   on Intelligence Information Processing. 20-23
September, 2006. Adelaide Australia. ISTP:BFG59
   5 The Denotational Semantics of the Signal Statement in ATLAS 4th ACIS   International Conference on Software Engineering Research, Management &   Applications (SERA2006) EI:073110723770;
  ISTP:BFB84
   6 Precedence Grammar and Its Transformation 4th ACIS International Conference   on Software Engineering Research, Management & Applications (SERA2006)   EI:073110723769;
  ISTP:BFB84

着作教材:

《编译原理及实现技术》 机械工业出版社 2010 2作者