Luís Manuel Dias Coelho Soares Barbosa


AuthID: R-000-9KM

Confirmed Publications: 200



151
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
152
153
TITLE: Language Engineering And Rigorous Software Development
AUTHORS: Luis Soares Barbosa ;
PUBLISHED: 2009
INDEXED IN: Openlibrary
154
155
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
156
TITLE: Preface
AUTHORS: Luís Soares Barbosa ; Antonio Cerone; Siraj Ahmed Shaikh;
PUBLISHED: 2009, SOURCE: ECEASST, VOLUME: 20
INDEXED IN: DBLP
IN MY: DBLP | CIÊNCIAVITAE
157
TITLE: Refinement by Interpretation in a General Setting
AUTHORS: Manuel A Martins ; Alexandre Madeira ; Luís Soares Barbosa ;
PUBLISHED: 2009, SOURCE: Electr. Notes Theor. Comput. Sci., VOLUME: 259, ISSUE: C
INDEXED IN: Scopus DBLP CrossRef: 3
IN MY: ORCID | DBLP | CIÊNCIAVITAE
158
TITLE: Refinement via interpretation
AUTHORS: Manuel A Martins ; Alexandre Madeira ; 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
IN MY: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
159
TITLE: UML Model Refactoring as Refinement: A Coalgebraic Perspective
AUTHORS: Barbosa, LS ; Sun Meng;
PUBLISHED: 2009, SOURCE: 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing in PROCEEDINGS OF THE 10TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
160
TITLE: Which Mathematics for the Information Society?
AUTHORS: Joao F Ferreira ; Alexandra Mendes ; Roland Backhouse; Luis S Barbosa ;
PUBLISHED: 2009, SOURCE: 2nd International Conference on Teaching Formal Methods in TEACHING FORMAL METHODS, PROCEEDINGS, VOLUME: 5846
INDEXED IN: Scopus WOS DBLP CrossRef: 5
IN MY: ORCID | DBLP | CIÊNCIAVITAE
Page 16 of 20. Total results: 200.

footer slogan

Useful Links

Get Help

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