Sun Meng
AuthID: R-00F-N74
1
TÃTULO: QoS-aware Component Composition
AUTORES: Luis S Barbosa ; Sun Meng;
PUBLICAÇÃO: 2010, FONTE: 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)
AUTORES: Luis S Barbosa ; Sun Meng;
PUBLICAÇÃO: 2010, FONTE: 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
TÃTULO: UML Model Refactoring as Refinement: A Coalgebraic Perspective
AUTORES: Barbosa, LS ; Sun Meng;
PUBLICAÇÃO: 2009, FONTE: 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
AUTORES: Barbosa, LS ; Sun Meng;
PUBLICAÇÃO: 2009, FONTE: 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
TÃTULO: Co-Algebraic Semantic Framework for Reasoning about Interaction Designs
AUTORES: Sun Meng; Luís Soares Barbosa ;
PUBLICAÇÃO: 2009, FONTE: UML 2 Semantics and Applications
AUTORES: Sun Meng; Luís Soares Barbosa ;
PUBLICAÇÃO: 2009, FONTE: UML 2 Semantics and Applications
4
TÃTULO: On the semantics of componentware: A coalgebraic persecutive
AUTORES: Luís S Barbosa; Sun Meng; Bernhard K Aichernig; Nuno Rodrigues ;
PUBLICAÇÃO: 2006, FONTE: Mathematical Frameworks For Component Software: Models For Analysis And Synthesis
AUTORES: Luís S Barbosa; Sun Meng; Bernhard K Aichernig; Nuno Rodrigues ;
PUBLICAÇÃO: 2006, FONTE: Mathematical Frameworks For Component Software: Models For Analysis And Synthesis
INDEXADO EM: 
Scopus 
CrossRef
Scopus CrossRef5
TÃTULO: On refinement of generic state-based software components
AUTORES: Meng, S; Barbosa, LS ;
PUBLICAÇÃO: 2004, FONTE: 10th International Conference on Algebraic Methodology and Software Technology in ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY: PROCEEDINGS, VOLUME: 3116
AUTORES: Meng, S; Barbosa, LS ;
PUBLICAÇÃO: 2004, FONTE: 10th International Conference on Algebraic Methodology and Software Technology in ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY: PROCEEDINGS, VOLUME: 3116
