郑晓娟
东北师范大学
-->
职　　称：教授
研究方向：
办公电话：
办公地点：
电子邮件：zhengxj097@nenu.edu.cn



个人简历


社会兼职




获奖情况 （数据来源：科学技术处、社会科学处）




教学信息 （数据来源：教务处）


形式语义学
软件需求工程（软件工程学术型、计算机软件与理论）
软件需求工程（软件工程专业学位）
形式语义学-计软学术
形式语义学--软工专业学位
形式语义学--软工学术
编译原理
形式化方法
SNL编译器实现
Web客户端软件开发实践
毕业论文
Web服务端软件开发实践
走进软件
专业实习


科研信息 （数据来源：科学技术处、社会科学处）


项目：
1. 4G无线通信网络移动代码安全研究及其支持工具开发，吉林省科技厅，2009年
2. 编译原理及其实践课程的工程化教学课群研究，企事业单位委托项目，2009年
3. 工程化实践教学体系与软件工程学科课程体系整合研究，吉林省教育科学规划课题普通规划课题，2008年
专著：
1. C++项目实战：解释程序的面向对象设计与实现，清华大学出版社，01-1年
论文：
1. Sub-Pattern Based Maximum Margin Criterion for Face Recognition，2017 2nd International Conference on Image,Vision and Computing，2017年
2. JVMTI-based Implementation of Security Policies Enforcement on Java Platform，2010 3rd International Conference on Advanced Computer Theory and Engineering，2010年
3. 过程式语言操作语义教学演示系统的设计与实现，计算机应用与软件，2010年
4. Use Case and Non-functional Scenario Template-Based Approach to Identify Aspects，2010 Second International Conference on Computer Engineering and Applications，2010年
5. 应用ANTLR实现过程式语言操作语义的动态演示，计算机应用与软件，2010年
6. JVMTI-based Model Enforcement on Java Platform for Model-Carrying Code，Proceedings of the 4th International Conference on Ubiquitous Information Technologies&Applications(ICUT2009)，2009年
7. LSBA Based security Verification in MCC，The International Conference on Computational Intelligence and Software Engineering(CiSE2009)，2009年
8. 面向软件工程专业工程化改造“编译原理”课程，计算机教育，2009年
9. Verification of Security-Relevant Behavior Model and Security Policy for Model-Carrying Code，Security Technology:Communications in Computer and Information Science，2009年
10. Static Analysis of Java Source Code to Generate Security-Relevant Behavior Model Based on Extended Pushdown Automaton，2009 2nd International Conference on Computer Science and its Applications(CSA2009)，2009年
11. Adapting the NFR Framework to Aspectual Use-Case DrivenApproach，Proceedings 7th ACIS International Conference on Software Engineering Research,Management&Applications(SERA09)，2009年
12. The Application of Latent Semantic Indexing and Ontology in Text Classification，INT J INNOV COMPUT I，2009年
13. Finding Motifs in A Set of DNA Sequences : A Dynamic Programming Approach，Proceedings of 2009 International Conference on Machine Learning and Cybernetics，2009年
14. 基于多语言范例的“形式语义学”教学辅助系统，吉林大学学报（理学版），2009年
15. 基于开源jvm的安全策略强制实施，2008全国软件与应用学术会议，2008年
16. Engineering Reform of Compiler Principles Course，2008 International Conference on Computer Science and Software Engineering，2008年
17. 基于语义的web服务体系结构，计算机技术与发展，2008年
18. 基于java平台实现安全行为模型验证，计算机工程与科学，2007年
19. Specification and runtime enforcement of security policies，2007IFIP International Conference on Network and Parallel Computing Workshops,NPC2007，2007年
20. 一个简单面向对象语言的抽象机定义及其可视化实现，吉林大学学报（理学版）特刊，2006年
21. 基于Seal演算形式化描述移动Agent安全，计算机科学(增刊)，2006年
22. Seal 演算的一个信息流分析系统，吉林大学学报（信息科学版），2006年
23. Information flow security for interactive systems，LECT NOTES COMPUT SC，2005年
24. Seal演算与Boxed Ambient演算的关系分析，吉林大学学报（信息科学版），2005年
25. 主动网络的灵活性、安全性和性能，小型微型计算机系统，2003年
26. Seal演算的等式特性，吉林大学学报（信息科学版），2003年
27. Formalizing Active Networks Security with Seal-Calculus，LECT NOTES COMPUT SC，2003年
28. Applying Active Networks to Networked Control Systems，Proceedings of the 21st IASTED International Conference:APPLIED INFORMATICS，2003年