Luís Manuel Dias Coelho Soares Barbosa


AuthID: R-000-9KM

Confirmed Publications: 200



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

footer slogan

Useful Links

Get Help

© 2025 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service