| 2007 |
|---|
| 5 | | Sun Meng,
Zhang Naixiao:
On Composition and Refinement of Domain-Specific Languages in the Model of Language Family.
Software Engineering Research and Practice 2007: 190-196 |
| 2005 |
|---|
| 4 | EE | Sun Meng,
Luís Soares Barbosa,
Zhang Naixiao:
On Refinement of Software Architectures.
ICTAC 2005: 469-484 |
| 3 | EE | Sun Meng,
Bernhard K. Aichernig,
Zhang Naixiao:
Coalgebraic Component Specification and Verification in RSL.
PDCAT 2005: 424-426 |
| 2 | EE | Sun Meng,
Bernhard K. Aichernig,
Luís Soares Barbosa,
Zhang Naixiao:
A Coalgebraic Semantic Framework for Component-based Development in UML.
Electr. Notes Theor. Comput. Sci. 122: 229-245 (2005) |
| 2004 |
|---|
| 1 | EE | Sun Meng,
Zhang Naixiao,
Luís Soares Barbosa:
On Semantics and Refinement of UML Statecharts: A Coalgebraic View.
SEFM 2004: 164-173 |
