Xi Wang

According to our database, Xi Wang authored at least 16 papers between 2008 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

A framework for Requirements specification of machine-learning systems.

Xi Wang, Weikai Miao

Proceedings of the 34th International Conference on Software Engineering and Knowledge Engineering, 2022

2021

A Formal Engineering Approach to Product Family Modeling.

Xi Wang, Ridha Khédri, Weikai Miao

Proceedings of the International Symposium on Theoretical Aspects of Software Engineering, 2021

2016

An Evolutionary Method for the Formal Specification Construction of Service-Based Software.

Weikai Miao, Xi Wang

Int. J. Softw. Eng. Knowl. Eng., 2016

Automated Safety Analysis on Scenario-Based Requirements for Train Control System.

Xi Wang, Huaikou Miao, Weikai Miao

Proceedings of the Structured Object-Oriented Formal Language and Method, 2016

Automatic support for formal specification construction using pattern knowledge.

Xi Wang, Weikai Miao

Proceedings of the 17th IEEE/ACIS International Conference on Software Engineering, 2016

2015

A Tool for Supporting Requirements Formalization Based on Specification Pattern Knowledge.

Weikai Miao, Xi Wang, Shaoying Liu

Proceedings of the 2015 International Symposium on Theoretical Aspects of Software Engineering, 2015

Supporting Requirements Analysis Using Pattern-Based Formal Specification Construction.

Shaoying Liu, Xi Wang, Weikai Miao

Proceedings of the Formal Methods and Software Engineering, 2015

2014

Computer-Aided Formalization of Requirements Based on Patterns.

Xi Wang, Shaoying Liu

IEICE Trans. Inf. Syst., 2014

2013

An Approach to Declaring Data Types for Formal Specifications.

Xi Wang, Shaoying Liu

Proceedings of the Structured Object-Oriented Formal Language and Method, 2013

Guided Requirements Clarification for Automatic Formalization.

Xi Wang, Shaoying Liu

Proceedings of the 14th ACIS International Conference on Software Engineering, 2013

An approach to representing and utilizing specification pattern knowledge for computer-aided formalization of requirements.

Xi Wang, Shaoying Liu

Proceedings of the 2013 IEEE/ACIS 12th International Conference on Computer and Information Science, 2013

2012

Development of a Supporting Tool for Formalizing Software Requirements.

Xi Wang, Shaoying Liu

Proceedings of the Structured Object-Oriented Formal Language and Method, 2012

2011

A Pattern-Based Approach to Formal Specification Construction.

Xi Wang, Shaoying Liu, Huaikou Miao

Proceedings of the Software Engineering, Business Continuity, and Education, 2011

2010

A Pattern System to Support Refining Informal Ideas into Formal Expressions.

Xi Wang, Shaoying Liu, Huaikou Miao

Proceedings of the Formal Methods and Software Engineering, 2010

2008

Towards Automatic Transformation from UML Model to FSM Model for Web Applications.

Xi Wang, Huaikou Miao, Liang Guo

J. Softw. Eng. Appl., 2008

An Approach to Transforming UML Model to FSM Model for Automatic Testing.

Xi Wang, Liang Guo, Huaikou Miao

Proceedings of the International Conference on Computer Science and Software Engineering, 2008