Zhang Naixiao

According to our database, Zhang Naixiao authored at least 5 papers between 2004 and 2007.

Collaborative distances:

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

2007

On Composition and Refinement of Domain-Specific Languages in the Model of Language Family.

Sun Meng, Zhang Naixiao

Proceedings of the 2007 International Conference on Software Engineering Research & Practice, 2007

2005

Coalgebraic Component Specification and Verification in RSL.

Sun Meng, Bernhard K. Aichernig, Zhang Naixiao

Proceedings of the Sixth International Conference on Parallel and Distributed Computing, 2005

On Refinement of Software Architectures.

Sun Meng, Luís Soares Barbosa, Zhang Naixiao

Proceedings of the Theoretical Aspects of Computing, 2005

2004

A Coalgebraic Semantic Framework for Component-based Development in UML.

Sun Meng, Bernhard K. Aichernig, Luís Soares Barbosa, Zhang Naixiao

Proceedings of the 10th Conference on Category Theory in Computer Science, 2004

On Semantics and Refinement of UML Statecharts: A Coalgebraic View.

Sun Meng, Zhang Naixiao, Luís Soares Barbosa

Proceedings of the 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 2004