Xi Wang
Affiliations:- Shanghai University, School of Computer Engineering and Science, China
- Hosei University, Department of Computer Science, Japan
According to our database1,
Xi Wang
authored at least 16 papers
between 2008 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2022
Proceedings of the 34th International Conference on Software Engineering and Knowledge Engineering, 2022
2021
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.
Int. J. Softw. Eng. Knowl. Eng., 2016
Proceedings of the Structured Object-Oriented Formal Language and Method, 2016
Proceedings of the 17th IEEE/ACIS International Conference on Software Engineering, 2016
2015
A Tool for Supporting Requirements Formalization Based on Specification Pattern Knowledge.
Proceedings of the 2015 International Symposium on Theoretical Aspects of Software Engineering, 2015
Supporting Requirements Analysis Using Pattern-Based Formal Specification Construction.
Proceedings of the Formal Methods and Software Engineering, 2015
2014
IEICE Trans. Inf. Syst., 2014
2013
Proceedings of the Structured Object-Oriented Formal Language and Method, 2013
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.
Proceedings of the 2013 IEEE/ACIS 12th International Conference on Computer and Information Science, 2013
2012
Proceedings of the Structured Object-Oriented Formal Language and Method, 2012
2011
Proceedings of the Software Engineering, Business Continuity, and Education, 2011
2010
Proceedings of the Formal Methods and Software Engineering, 2010
2008
J. Softw. Eng. Appl., 2008
Proceedings of the International Conference on Computer Science and Software Engineering, 2008