Luís Manuel Dias Coelho Soares Barbosa


AuthID: R-000-9KM

Confirmed Publications: 202



151
TITLE: A Single Complete Relational Rule for Coalgebraic Refinement
AUTHORS: César Jesus Rodrigues; José Nuno Oliveira ; Luís Soares Barbosa ;
PUBLISHED: 2009, SOURCE: REFINE@FMWeek, VOLUME: 259, ISSUE: C
INDEXED IN: Scopus DBLP CrossRef: 2
152
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
153
TITLE: Implementation of an Orchestration Language as a Haskell Domain Specific Language
AUTHORS: Marco Devesas Campos; Luís Soares Barbosa ;
PUBLISHED: 2009, SOURCE: FOCLASA, VOLUME: 255
INDEXED IN: Scopus DBLP CrossRef: 5
154
TITLE: Language Engineering And Rigorous Software Development
AUTHORS: Luis Soares Barbosa ;
PUBLISHED: 2009
INDEXED IN: Openlibrary
155
156
157
TITLE: Preface
AUTHORS: Luís Soares Barbosa ; Antonio Cerone; Siraj Ahmed Shaikh;
PUBLISHED: 2009, SOURCE: Electron. Commun. Eur. Assoc. Softw. Sci. Technol., VOLUME: 20
INDEXED IN: DBLP
158
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
159
TITLE: Refinement by Interpretation in a General Setting
AUTHORS: Manuel A Martins ; Alexandre Madeira ; Luís Soares Barbosa ;
PUBLISHED: 2009, SOURCE: REFINE@FMWeek, VOLUME: 259, ISSUE: C
INDEXED IN: Scopus DBLP CrossRef: 3
160
TITLE: Refinement via interpretation
AUTHORS: Martins, MA ; Madeira, A ; Barbosa, LS ;
PUBLISHED: 2009, SOURCE: 7th IEEE International Conference on Software Engineering and Formal Methods (SEFM 2009) in SEFM 2009: SEVENTH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS
INDEXED IN: Scopus WOS DBLP CrossRef: 2
Page 16 of 21. Total results: 202.

footer slogan

Useful Links

Get Help

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