Zhang Naixiao

Publication Activity (10 Years)

Years Active: 2004-2007
Publications (10 Years): 0

Publications

Sun Meng, Zhang Naixiao
On Composition and Refinement of Domain-Specific Languages in the Model of Language Family. Software Engineering Research and Practice (2007)
Sun Meng, Luís Soares Barbosa, Zhang Naixiao
On Refinement of Software Architectures. ICTAC (2005)
Sun Meng, Bernhard K. Aichernig, Zhang Naixiao
Coalgebraic Component Specification and Verification in RSL. PDCAT (2005)
Sun Meng, Bernhard K. Aichernig, Luís Soares Barbosa, Zhang Naixiao
A Coalgebraic Semantic Framework for Component-based Development in UML. CTCS (2004)
Sun Meng, Zhang Naixiao, Luís Soares Barbosa
On Semantics and Refinement of UML Statecharts: A Coalgebraic View. SEFM (2004)