İ|English
Undergraduate,
Graduate and
International Programs
Professors and
Associate Professors
Address:School of Computer Science
and Telecommunication Engineering
JiangSu University ,ZhenJiang,JiangSu
Province 32mail.
Graduate Programs
 
Master: (II)Computer Software and Theory

There are 5 professors and 3 associate professors in this discipline. Their research works range from Distributed Computing System, Software Architecture, Software Testing and Quality Assessment(QA), Software Formal Methods. Most of projects are funded by China central government or some large scale enterprises. In these Projects, one is funded by  863 program of China (The National HighTechnology Research and Development Program of China). Four projects was funded by National Natural Sciences Fundation of China. Six projects were funded by Jiangsu Provincial and/or Ministerial Level Scientific and Technological Support Plan.

We have got some innovative archiements and interesting results in this reaserch field. Our research faculty in this direction have been awarded by China central government, including one Second Prize of Jiangsu and one Seond Prize of Ministerial Awards of Science and Technology Progress, two Third Prizes of Science and Technology Progress awarded by Jiangsu provical government and several times Award  issued by Zhenjiang city.   

Master supervisors: Yongzhao Zhan, Shiguang Ju, Shunlin Song, Hebiao Yang, Li Yan, Yisong Liu, Weihe Chen, Conghua Chou
Introduction to the research domain:
 (I)Distributed Computing System
Research areas include collaborative computing theory and technology in distributed environment, security access control of distributed computing system, topology control in wireless Ad Hoc Networks, routing protocol and system security.A couple of research projects, including NSF grants of China, Science and Technology support plan of Jiangsu province and Zhenjiang, as well as some cooperation enterprises are being undertaken by the researchers.

(II)Software System Architecture
Research areas include dynamic software architecture modeling and layered approach of its framework, interaction principle between different layers of layered framework, building medical insurance platform based on dynamic architecture on model, EPP system for the clothing industry, data mining platform for fraud and violations detection in medical insurance system , Enterprise Service Bus(ESB),  modeling and design of real-time system.A couple of research projects, including Science and Technology support plan of Jiangsu province and Zhenjiang, as well as some cooperation enterprises are being undertaken by the researchers.

(III)Software Testing and QA
Research areas include software fault injection testing technology , testing theory and technique of  component security, grade evaluation method of component security, software reliability verification based on Model Checking, software behavior specificaiton based on temporal logic, embedded software system with high assurance .A lot of research projects, including University Natural Science Foundation of Jiangsu Province, Initial Fundation for Young Talent of Jiangsu University, as well as Horizontal Cooperation Issues of an enterprise are being undertaken by the researchers.

(IV)Software Formal Methods
Research areas include formal description method of software architecture and data model, formal description method of action inference of intelligent agent and covert channel.A couple of research projects, including NSF grants of China, Ph.D. Programs Foundation of Ministry of Education of China, Science and Technology support plan of Zhenjiang.

 
Copyright © 2008 - 2012 School of Computer Science and Telecommunication Engineering · All Rights Reserved
Address:School of Computer Science and Telecommunication Engineering JiangSu University ,ZhenJiang,JiangSu Province 32mail Post Code:212013