教职员工

教授
当前位置: 教职员工 > 教授

郑晓娟

作者:admin文章来源: 点击数: 时间:2014-09-22 05:51:37


           

   
  姓 名:郑晓娟
  性 别:女
  专 业:计算机软件与理论
  学 历:博士
  职 称:教授

职 务:副院长(分管本科教学工作)
  电 话:0431—84536268
  邮 箱:zhengxj097@nenu.edu.cn


  研究方向:
  软件形式化方法及其应用、移动代码及其安全、各种程序设计语言及其实现技术、面向方面需求工程技术、文档驱动的软件开发与嵌入式系统.
   

讲授课程:  
   本科:C++语言与面向对象程序设计、编译原理、项目拉动教学基础项目---解释程序的面向对象设计与实现、项目拉动教学实训项目——编译程序的面向对象设计与实现。
   研究生:形式语义学、形式语言与自动机、文档驱动的软件开发方法。


   主要学习和工作经历:
   1983.9——1987.7,吉林工程技术师范学院本科
   1987.7——1995.9,长春汽车高等专科学校工作
   1995.9——1998.6,吉林大学计算机科学与技术学院硕士研究生
   1998.9——2003.6,吉林大学计算机科学与技术学院博士研究生
   2003.10——至今,东北师范大学软件学院工作

主要科研成果:
   1.4G无线通信网络移动代码安全研究及其支持工具开发,吉林省科技厅,第一作者
   2.工程化实践教学体系与软件工程学科本科课程体系整合研究,吉林省教育科学规划,第一作者
   3.编译原理及其实践课程的工程化教学课群研究,清华大学出版社,第一作者

主要学术论文著作:  
   1.JVMTI-based Model Enforcement on Java Platform for Model-Carrying Code 孙辰(0.3),任晶磊(0.1),郑晓娟*(0.4),韦永隆(0.1),郑旭东(0.1) Proceedings of the 4th International Conference on Ubiquitous Information Technologies&Applications(ICUT2009) EI 会议论文 2009-12
   2.LSBA Based security Verification in MCC 李振浩(0.4),郑晓娟*(0.5),韦永隆(0.1) The International Conference on Computational Intelligence and Software Engineering(CiSE2009) EI 会议论文 2009-12
   3.Static Analysis of Java Source Code to Generate Security-Relevant Behavior Model Based on Extended Pushdown Automaton 郑旭东(0.3),任晶磊(0.1),郑晓娟*(0.4),韦永隆(0.1),孙晨(0.1) 2009 2nd International Conference on Computer Science and its Applications(CSA2009) EI 会议论文 2009-12
   4.Verification of Security-Relevant Behavior Model and Security Policy for Model-Carrying Code 韦永隆(0.3),郑晓娟*(0.3),任晶磊(0.1),郑旭东(0.1),孙晨(0.1),李振浩(0.1) Security Technology:Communications in Computer and Information Science EI 会议论文 2009-12
   5.面向软件工程专业工程化改造“编译原理”课程 郑晓娟(1.0) 计算机教育  期刊论文 2009-12
   6.Adapting the NFR Framework to Aspectual Use-Case Driven Approach 刘晓梅(0.4),刘树林(0.2),郑晓娟*(0.4) Proceedings 7th ACIS International Conference on Software Engineering Research,Management&Applications(SERA09) EI 会议论文 2009-12
   7.The Application of Latent Semantic Indexing and Ontology in Text Classification 杨喜权(0.7),孙娜(0.1),孙铁利(0.1),曹雪亚(0.05),郑晓娟(0.05) INT J INNOV COMPUT I SCIE 期刊论文 2009-12
   8.Finding Motifs in A Set of DNA Sequences : A Dynamic Programming Approach 李振浩(0.4),郑晓娟*(0.5),管纪文(0.1) Proceedings of 2009 International Conference on Machine Learning and Cybernetics EI 会议论文 2009-07
   9.基于多语言范例的“形式语义学”教学辅助系统 金英(0.4),郑晓娟*(0.4),张晶(0.1),孙旭东(0.1) 吉林大学学报(理学版) 期刊源 期刊论文 2009-05
   10.基于开源jvm的安全策略强制实施 魏达(0.4),金英*(0.2),张晶(0.1),郑晓娟(0.2),李卓(0.1) 2008全国软件与应用学术会议  会议论文 2008-09
   11.Engineering Reform of Compiler Principles Course 郑晓娟(0.7),金英(0.3) 2008 International Conference on Computer Science and Software Engineering EI 会议论文 2008-03
   12.基于语义的web服务体系结构 付燕宁*(0.6),金英(0.1),刘磊(0.1),郑晓娟(0.2) 计算机技术与发展  期刊论文 2008-03
   13.基于java平台实现安全行为模型验证 李泽鹏*(0.6),金英(0.2),张晶(0.1),郑晓娟(0.1) 计算机工程与科学 期刊源 期刊论文 2007-10
   14.Specification and runtime enforcement of security policies 金英*(0.6),张晶(0.2),郑晓娟(0.2) 2007IFIP International Conference on Network and Parallel Computing Workshops,NPC2007 EI 会议论文 2007-09
   15.一个简单面向对象语言的抽象机定义及其可视化实现 金英*(0.6),刘磊(0.1),郑晓娟(0.2),张长海(0.1) 吉林大学学报(理学版)特刊 期刊源 期刊论文 2006-08
   16.基于Seal演算形式化描述移动Agent安全 郑晓娟*(0.8),金英(0.2) 计算机科学(增刊) 期刊源 期刊论文 2006-08
   17.Seal 演算的一个信息流分析系统 郑晓娟*(0.8),金英(0.1),金成植(0.1) 吉林大学学报(信息科学版) 期刊源 期刊论文 2006-03
   18.Information flow security for interactive systems 金英(0.6),刘磊*(0.2),郑晓娟(0.2) LECT NOTES COMPUT SC SCIE 会议论文 2005-11
   19.Seal演算与Boxed Ambient演算的关系分析 郑晓娟*(0.8),金英(0.1),金成植(0.1) 吉林大学学报(信息科学版) 期刊源 期刊论文 2005-07
   20.主动网络的灵活性、安全性和性能 朱铁英*(1.0),郑晓娟(0.0),鞠九滨(0.0) 小型微型计算机系统 重点刊物 期刊论文 2003-12
   21.Seal演算的等式特性 郑晓娟*(0.8),金英(0.1),金成植(0.1) 吉林大学学报(信息科学版) 期刊源 期刊论文 2003-08
   22.Formalizing Active Networks Security with Seal-Calculus 郑晓娟*(0.8),陶续(0.1),金英(0.1) LECT NOTES COMPUT SC SCIE 期刊论文 2003-07
   23.Applying Active Networks to Networked Control Systems 郑晓娟*(0.8),金成植(0.1),鞠九滨(0.1) Proceedings of the 21st IASTED International Conference:APPLIED INFORMATICS  会议论文 2003-02


关闭