Luís Manuel Dias Coelho Soares Barbosa


AuthID: R-000-9KM

Publicações Confirmadas: 202



151
TÍTULO: A Single Complete Relational Rule for Coalgebraic Refinement
AUTORES: César Jesus Rodrigues; José Nuno Oliveira ; Luís Soares Barbosa ;
PUBLICAÇÃO: 2009, FONTE: REFINE@FMWeek, VOLUME: 259, NÚMERO: C
INDEXADO EM: Scopus DBLP CrossRef: 2
152
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
153
TÍTULO: Implementation of an Orchestration Language as a Haskell Domain Specific Language
AUTORES: Marco Devesas Campos; Luís Soares Barbosa ;
PUBLICAÇÃO: 2009, FONTE: FOCLASA, VOLUME: 255
INDEXADO EM: Scopus DBLP CrossRef: 5
154
TÍTULO: Language Engineering And Rigorous Software Development
AUTORES: Luis Soares Barbosa ;
PUBLICAÇÃO: 2009
INDEXADO EM: Openlibrary
155
156
157
TÍTULO: Preface
AUTORES: Luís Soares Barbosa ; Antonio Cerone; Siraj Ahmed Shaikh;
PUBLICAÇÃO: 2009, FONTE: Electron. Commun. Eur. Assoc. Softw. Sci. Technol., VOLUME: 20
INDEXADO EM: DBLP
158
TÍTULO: Preface
AUTORES: Barbosa, LS ; Cerone, A; Shaikh, SA;
PUBLICAÇÃO: 2009, FONTE: Electronic Communications of the EASST, VOLUME: 20
INDEXADO EM: Scopus
NO MEU: ORCID | CIÊNCIAVITAE
159
TÍTULO: Refinement by Interpretation in a General Setting
AUTORES: Manuel A Martins ; Alexandre Madeira ; Luís Soares Barbosa ;
PUBLICAÇÃO: 2009, FONTE: REFINE@FMWeek, VOLUME: 259, NÚMERO: C
INDEXADO EM: Scopus DBLP CrossRef: 3
160
TÍTULO: Refinement via interpretation
AUTORES: Martins, MA ; Madeira, A ; Barbosa, LS ;
PUBLICAÇÃO: 2009, FONTE: 7th IEEE International Conference on Software Engineering and Formal Methods (SEFM 2009) in SEFM 2009: SEVENTH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
Página 16 de 21. Total de resultados: 202.

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

Links Úteis

Ajuda

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