Xi Wang

16 papers C 6Misc 2Journal 3Unranked 5
YearRankTypeTitle / Venue / Authors
2022 C conf
A framework for Requirements specification of machine-learning systems.
SEKE
Xi Wang, Weikai Miao
2021 Misc conf
A Formal Engineering Approach to Product Family Modeling.
TASE
Xi Wang, Ridha Khédri, Weikai Miao
2016 J jnl
An Evolutionary Method for the Formal Specification Construction of Service-Based Software.
Int. J. Softw. Eng. Knowl. Eng.
Weikai Miao, Xi Wang
2016 — conf
Automated Safety Analysis on Scenario-Based Requirements for Train Control System.
SOFL+MSVL
Xi Wang, Huaikou Miao, Weikai Miao
2016 C conf
Automatic support for formal specification construction using pattern knowledge.
SNPD
Xi Wang, Weikai Miao
2015 Misc conf
A Tool for Supporting Requirements Formalization Based on Specification Pattern Knowledge.
TASE
Weikai Miao, Xi Wang, Shaoying Liu
2015 C conf
Supporting Requirements Analysis Using Pattern-Based Formal Specification Construction.
ICFEM
Shaoying Liu, Xi Wang, Weikai Miao
2014 J jnl
Computer-Aided Formalization of Requirements Based on Patterns.
IEICE Trans. Inf. Syst.
Xi Wang, Shaoying Liu
2013 — conf
An Approach to Declaring Data Types for Formal Specifications.
SOFL+MSVL
Xi Wang, Shaoying Liu
2013 C conf
An approach to representing and utilizing specification pattern knowledge for computer-aided formalization of requirements.
ICIS
Xi Wang, Shaoying Liu
2013 C conf
Guided Requirements Clarification for Automatic Formalization.
SNPD
Xi Wang, Shaoying Liu
2012 — conf
Development of a Supporting Tool for Formalizing Software Requirements.
SOFL
Xi Wang, Shaoying Liu
2011 — conf
A Pattern-Based Approach to Formal Specification Construction.
FGIT-ASEA/DRBC/EL
Xi Wang, Shaoying Liu, Huaikou Miao
2010 C conf
A Pattern System to Support Refining Informal Ideas into Formal Expressions.
ICFEM
Xi Wang, Shaoying Liu, Huaikou Miao
2008 — conf
An Approach to Transforming UML Model to FSM Model for Automatic Testing.
CSSE (2)
Xi Wang, Liang Guo, Huaikou Miao
2008 J jnl
Towards Automatic Transformation from UML Model to FSM Model for Web Applications.
J. Softw. Eng. Appl.
Xi Wang, Huaikou Miao, Liang Guo