硕士生导师
当前位置：教职员工>硕士生导师

郑晓娟作者：admin 文章来源： 点击数：992 时间：2014-9-22 6:11:26





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

职务：副院长（分管本科教学工作）
电 话：0431—**
邮 箱：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