|
Search the dblp DataBase
Zhang Naixiao:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Sun Meng, Luís Soares Barbosa, Zhang Naixiao
On Refinement of Software Architectures. [Citation Graph (0, 0)][DBLP] ICTAC, 2005, pp:469-484 [Conf]
- Sun Meng, Bernhard K. Aichernig, Zhang Naixiao
Coalgebraic Component Specification and Verification in RSL. [Citation Graph (0, 0)][DBLP] PDCAT, 2005, pp:424-426 [Conf]
- Sun Meng, Zhang Naixiao, Luís Soares Barbosa
On Semantics and Refinement of UML Statecharts: A Coalgebraic View. [Citation Graph (0, 0)][DBLP] SEFM, 2004, pp:164-173 [Conf]
- Sun Meng, Bernhard K. Aichernig, Luís Soares Barbosa, Zhang Naixiao
A Coalgebraic Semantic Framework for Component-based Development in UML. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2005, v:122, n:, pp:229-245 [Journal]
On Composition and Refinement of Domain-Specific Languages in the Model of Language Family. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|