Jiancheng Wan

According to our database1, Jiancheng Wan authored at least 16 papers between 2006 and 2010.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2010
Formal behavior modeling and effective automatic refinement.
Inf. Sci., 2010

2008
An Approach to Separating Security Concerns in E-Commerce Systems at the Architecture Level.
Proceedings of The International Symposium on Electronic Commerce and Security, 2008

2007
Arithmetic Computing Based Chinese Automatic Parsing Method.
Proceedings of the 8th ACIS International Conference on Software Engineering, 2007

A Parsing Model Based on Ordered Tree Inclusion Matching.
Proceedings of the 8th ACIS International Conference on Software Engineering, 2007

A Formal Approach to Specifying Architecture Aspects and Their Weaving logic.
Proceedings of the 8th ACIS International Conference on Software Engineering, 2007

OR-ATP: An Operation Refinement Approach As a Process of Automatic Theorem Proving.
Proceedings of the 8th ACIS International Conference on Software Engineering, 2007

User Interface Design Model.
Proceedings of the 8th ACIS International Conference on Software Engineering, 2007

Formalization of Architecture-Centric Model Mapping Using Category Theory.
Proceedings of the 8th ACIS International Conference on Software Engineering, 2007

Multi-device User Interface Development with Composition-oriented User Interface Design Patterns.
Proceedings of the 8th ACIS International Conference on Software Engineering, 2007

Model Driven Development of Complex User Interface.
Proceedings of the MoDELS 2007 Workshop on Model Driven Development of Advanced User Interfaces, 2007

A Model of User Interface Design and Its Code Generation.
Proceedings of the IEEE International Conference on Information Reuse and Integration, 2007

A Model Based Heuristic Design of Web User Interface.
Proceedings of the IEEE International Conference on Information Reuse and Integration, 2007

Formal Semantic Meanings of Architecture-Centric Model Mapping.
Proceedings of the Advanced Parallel Processing Technologies, 7th International Symposium, 2007

2006
A Binary Combinatorial Grammar for Chinese and Its Parsing Algorithm.
Proceedings of the Sixth International Conference on Intelligent Systems Design and Applications (ISDA 2006), 2006

MDA-based Modeling and Transformation Approach for WEB Applications.
Proceedings of the Sixth International Conference on Intelligent Systems Design and Applications (ISDA 2006), 2006

An agilely adaptive User Interface based on Design Pattern.
Proceedings of the Sixth International Conference on Intelligent Systems Design and Applications (ISDA 2006), 2006


  Loading...