职  称:教授
研究方向:
办公电话:
办公地点:
电子邮件:zhengxj097@nenu.edu.cn

个人简历

社会兼职

获奖情况 (数据来源:科学技术处、社会科学处)

教学信息 (数据来源:教务处)

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

科研信息 (数据来源:科学技术处、社会科学处)

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