Xiuna Zhu

According to our database, Xiuna Zhu authored at least 4 papers between 2013 and 2015.

Collaborative distances:

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

2015

A Model-Based Approach to Formal Verification in Early Development Phases: A Desalination Plant Case Study.

Alarico Campetelli, Maximilian Junker, Birthe Böhm, Maria Davidich, Vasileios Koutsoumpas, Xiuna Zhu, Jan Christoph Wehrstedt

Proceedings of the Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2015, 2015

2014

Structured multi-view modeling by tabular notation.

Xiuna Zhu, Dongyue Mou, Daniel Ratiu

Proceedings of the IEEE 22nd International Requirements Engineering Conference, 2014

2013

Do we Really Need to Write Documentation for a System? - CASE Tool Add-ons: Generator+Editor for a Precise Documentation.

Maria Spichkova, Xiuna Zhu, Dongyue Mou

Proceedings of the MODELSWARD 2013 - Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development, Barcelona, Spain, 19, 2013

A Formal Model for Service-Based Behavior Specification Using Stream-Based I/O Tables.

Xiuna Zhu

Proceedings of the Formal Aspects of Component Software - 10th International Symposium, 2013