Luís Manuel Dias Coelho Soares Barbosa


AuthID: R-000-9KM

Confirmed Publications: 195



141
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
142
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
143
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
144
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
145
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
146
TITLE: Implementation of an Orchestration Language as a Haskell Domain Specific Language
AUTHORS: Campos, MD; Barbosa, LS ;
PUBLISHED: 2009, SOURCE: Electronic Notes in Theoretical Computer Science, VOLUME: 255
INDEXED IN: Scopus DBLP CrossRef: 5
IN MY: ORCID | DBLP | CIÊNCIAVITAE
147
TITLE: Language Engineering And Rigorous Software Development
AUTHORS: Luis Soares Barbosa ;
PUBLISHED: 2009
INDEXED IN: Openlibrary
IN MY: CIÊNCIAVITAE
148
149
150
TITLE: Preface
AUTHORS: Barbosa, LS ; Cerone, A; Shaikh, SA;
PUBLISHED: 2009, SOURCE: Electronic Communications of the EASST, VOLUME: 20
INDEXED IN: Scopus
IN MY: ORCID | CIÊNCIAVITAE
Page 15 of 20. Total results: 195.

footer slogan

Useful Links

Get Help

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