Luís Manuel Dias Coelho Soares Barbosa


AuthID: R-000-9KM

Publicações Confirmadas: 200



141
TÍTULO: Bringing class diagrams to life  Full Text
AUTORES: Barbosa, LS ; Meng, S;
PUBLICAÇÃO: 2010, FONTE: Innovations in Systems and Software Engineering, VOLUME: 6, NÚMERO: 1
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
142
TÍTULO: Certification of open-source software: A role for formal methods?
AUTORES: Luis S Barbosa ; Antonio Cerone; Alexander K Petrenko; Siraj A Shaikh;
PUBLICAÇÃO: 2010, FONTE: COMPUTER SYSTEMS SCIENCE AND ENGINEERING, VOLUME: 25, NÚMERO: 4
INDEXADO EM: Scopus WOS DBLP
NO MEU: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
143
TÍTULO: Open source certification
AUTORES: Ernesto Damiani; Luis Barbosa ; Peter T Breuer; Claudio A Ardagna;
PUBLICAÇÃO: 2010, FONTE: COMPUTER SYSTEMS SCIENCE AND ENGINEERING, VOLUME: 25, NÚMERO: 4
INDEXADO EM: Scopus WOS DBLP
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
144
TÍTULO: Preface
AUTORES: Luís Soares Barbosa ; Antonio Cerone; Siraj Ahmed Shaikh;
PUBLICAÇÃO: 2010, FONTE: ECEASST, VOLUME: 33
INDEXADO EM: DBLP
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
145
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)
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
146
TÍTULO: Slicing for architectural analysis  Full Text
AUTORES: Nuno F Rodrigues ; Luis S Barbosa ;
PUBLICAÇÃO: 2010, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 75, NÚMERO: 10
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
NO MEU: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
147
TÍTULO: Towards the introduction of QoS information in a component model  Full Text
AUTORES: Meng, S; Barbosa, LS ;
PUBLICAÇÃO: 2010, FONTE: 25th Annual ACM Symposium on Applied Computing, SAC 2010 in Proceedings of the ACM Symposium on Applied Computing
INDEXADO EM: Scopus DBLP CrossRef: 2
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
148
TÍTULO: A perspective on service orchestration  Full Text
AUTORES: Marco A Barbosa; Luis S Barbosa ;
PUBLICAÇÃO: 2009, FONTE: 5th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA'06) in SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 74, NÚMERO: 9
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
NO MEU: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
149
TÍTULO: A Single Complete Relational Rule for Coalgebraic Refinement
AUTORES: Rodrigues, CJ; Oliveira, JN ; Barbosa, LS ;
PUBLICAÇÃO: 2009, FONTE: Electronic Notes in Theoretical Computer Science, VOLUME: 259, NÚMERO: C
INDEXADO EM: Scopus DBLP CrossRef: 2
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
150
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
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
Página 15 de 20. Total de resultados: 200.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2025 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service