Jiancheng Wan

Publication Activity (10 Years)

Years Active: 2006-2010
Publications (10 Years): 0

Publications

Shuaiqiang Wang, Jun Ma, Qiang He, Jiancheng Wan
Formal behavior modeling and effective automatic refinement. Inf. Sci. 180 (20) (2010)
Chunhua Yang, Jiancheng Wan
An Approach to Separating Security Concerns in E-Commerce Systems at the Architecture Level. ISECS (2008)
Chunhua Yang, Jiancheng Wan
A Formal Approach to Specifying Architecture Aspects and Their Weaving logic. SNPD (2) (2007)
Xiao Yang, Jinkui Hou, Jiancheng Wan
Formal Semantic Meanings of Architecture-Centric Model Mapping. APPT (2007)
Xudong Lu, Jiancheng Wan
Model Driven Development of Complex User Interface. MDDAUI@MoDELS (2007)
Jinkui Hou, Jiancheng Wan, Shuaiqiang Wang
Formalization of Architecture-Centric Model Mapping Using Category Theory. SNPD (1) (2007)
Xudong Lu, Jiancheng Wan, Jinkui Hou
A Model Based Heuristic Design of Web User Interface. IRI (2007)
Xiao Yang, Jiancheng Wan, Ling Zhang
Arithmetic Computing Based Chinese Automatic Parsing Method. SNPD (2) (2007)
Jiancheng Wan, Xudong Lu, Lei Lu
A Model of User Interface Design and Its Code Generation. IRI (2007)
Shuaiqiang Wang, Jiancheng Wan, Jinkui Hou
OR-ATP: An Operation Refinement Approach As a Process of Automatic Theorem Proving. SNPD (3) (2007)
Xudong Lu, Jiancheng Wan
User Interface Design Model. SNPD (3) (2007)
Shihong Feng, Jiancheng Wan
Multi-device User Interface Development with Composition-oriented User Interface Design Patterns. SNPD (3) (2007)
Xiao Yang, Jiancheng Wan, Fang Tan
A Parsing Model Based on Ordered Tree Inclusion Matching. SNPD (3) (2007)
Jinkui Hou, Jiancheng Wan, Xiao Yang
MDA-based Modeling and Transformation Approach for WEB Applications. ISDA (2) (2006)
Xiao Yang, Jiancheng Wan, Yongbo Qiao
A Binary Combinatorial Grammar for Chinese and Its Parsing Algorithm. ISDA (2) (2006)
Shihong Feng, Mingjun Liu, Jiancheng Wan
An agilely adaptive User Interface based on Design Pattern. ISDA (1) (2006)