Sun Meng
AuthID: R-00F-N74
1
TITLE: QoS-aware Component Composition
AUTHORS: Luis S Barbosa ; Sun Meng;
PUBLISHED: 2010, SOURCE: 4th International Conference on Complex, Intelligent and Software Intensive Systems (CICIS) in PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON COMPLEX, INTELLIGENT AND SOFTWARE INTENSIVE SYSTEMS (CISIS 2010)
AUTHORS: Luis S Barbosa ; Sun Meng;
PUBLISHED: 2010, SOURCE: 4th International Conference on Complex, Intelligent and Software Intensive Systems (CICIS) in PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON COMPLEX, INTELLIGENT AND SOFTWARE INTENSIVE SYSTEMS (CISIS 2010)
2
TITLE: UML Model Refactoring as Refinement: A Coalgebraic Perspective
AUTHORS: Barbosa, LS ; Sun Meng;
PUBLISHED: 2009, SOURCE: 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing in PROCEEDINGS OF THE 10TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING
AUTHORS: Barbosa, LS ; Sun Meng;
PUBLISHED: 2009, SOURCE: 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing in PROCEEDINGS OF THE 10TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING
3
TITLE: Co-Algebraic Semantic Framework for Reasoning about Interaction Designs
AUTHORS: Sun Meng; Luís Soares Barbosa ;
PUBLISHED: 2009, SOURCE: UML 2 Semantics and Applications
AUTHORS: Sun Meng; Luís Soares Barbosa ;
PUBLISHED: 2009, SOURCE: UML 2 Semantics and Applications
4
TITLE: On the semantics of componentware: A coalgebraic persecutive
AUTHORS: Luís S Barbosa; Sun Meng; Bernhard K Aichernig; Nuno Rodrigues ;
PUBLISHED: 2006, SOURCE: Mathematical Frameworks For Component Software: Models For Analysis And Synthesis
AUTHORS: Luís S Barbosa; Sun Meng; Bernhard K Aichernig; Nuno Rodrigues ;
PUBLISHED: 2006, SOURCE: Mathematical Frameworks For Component Software: Models For Analysis And Synthesis
INDEXED IN: 
Scopus 
CrossRef
Scopus CrossRef5
TITLE: On refinement of generic state-based software components
AUTHORS: Meng, S; Barbosa, LS ;
PUBLISHED: 2004, SOURCE: 10th International Conference on Algebraic Methodology and Software Technology in ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY: PROCEEDINGS, VOLUME: 3116
AUTHORS: Meng, S; Barbosa, LS ;
PUBLISHED: 2004, SOURCE: 10th International Conference on Algebraic Methodology and Software Technology in ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY: PROCEEDINGS, VOLUME: 3116
