Luís Manuel Dias Coelho Soares Barbosa


AuthID: R-000-9KM

Publicações Confirmadas: 191



131
TÍTULO: Shacc: A functional prototyper for a component calculus
AUTORES: Martins, A; Barbosa, LS ; Rodrigues, NF ;
PUBLICAÇÃO: 2011, FONTE: 4th International Conference on Algebra and Coalgebra in Computer Science, CALCO 2011 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6859 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 1
NO MEU: ORCID | DBLP
132
TÍTULO: The Role of Coordination Analysis in Software Integration Projects
AUTORES: Nuno F Rodrigues ; Nuno Oliveira; Luis S Barbosa ;
PUBLICAÇÃO: 2011, FONTE: Confederated International Workshops and Posters: EI2N plus NSF ICE, ICSP plus INBAST, ISDE, ORM, OTMA, SWWS plus MONET plus SeDeS, and VADER in ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2011 WORKSHOPS, VOLUME: 7046
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP
133
TÍTULO: A Coordination Model for Interactive Components
AUTORES: Marco A Barbosa; Luis S Barbosa ; Jose C Campos ;
PUBLICAÇÃO: 2010, FONTE: 3rd IPM International Conference on Fundamentals of Software Engineering in FUNDAMENTALS OF SOFTWARE ENGINEERING, VOLUME: 5961
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
NO MEU: ORCID | DBLP
134
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
135
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
136
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
137
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
138
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: 1
NO MEU: ORCID | DBLP
139
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
140
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: 1
NO MEU: ORCID | DBLP
Página 14 de 20. Total de resultados: 191.

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