dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Xi Wang (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXi Wang, Shaoying Liu, Huaikou Miao: A Pattern-Based Approach to Formal Specification Construction. FGIT-ASEA/DRBC/EL 2011: 159-168
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXi Wang, Shaoying Liu, Huaikou Miao: A Pattern System to Support Refining Informal Ideas into Formal Expressions. ICFEM 2010: 662-677
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXi Wang, Liang Guo, Huaikou Miao: An Approach to Transforming UML Model to FSM Model for Automatic Testing. CSSE (2) 2008: 251-254
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXi Wang, Huaikou Miao, Liang Guo: Towards Automatic Transformation from UML Model to FSM Model for Web Applications. JSEA 1(1): 68-75 (2008)

Selection of 4 from 71 records - Xi Wang has 207 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page