Luís Manuel Dias Coelho Soares Barbosa


AuthID: R-000-9KM

Confirmed Publications: 187



81
TITLE: Self-adaptation by coordination-targeted reconfigurations
AUTHORS: Nuno Oliveira; Luís Soares Barbosa ;
PUBLISHED: 2015, SOURCE: J. Software Eng. R&D, VOLUME: 3, ISSUE: 1
INDEXED IN: DBLP CrossRef
IN MY: ORCID | DBLP
82
TITLE: Specifying Structural Constraints of Architectural Patterns in the ARCHERY Language
AUTHORS: Alejandro Sanchez ; Luis S Barbosa ; Daniel Riesco;
PUBLISHED: 2015, SOURCE: International Conference on Numerical Analysis and Applied Mathematics (ICNAAM) in PROCEEDINGS OF THE INTERNATIONAL CONFERENCE OF NUMERICAL ANALYSIS AND APPLIED MATHEMATICS 2014 (ICNAAM-2014), VOLUME: 1648
INDEXED IN: Scopus WOS CrossRef: 2
IN MY: ORCID
83
TITLE: Towards an engine for coordination-based architectural reconfigurations  Full Text
AUTHORS: Flavio Rodrigues; Nuno Oliveira; Luis S Barbosa ;
PUBLISHED: 2015, SOURCE: COMPUTER SCIENCE AND INFORMATION SYSTEMS, VOLUME: 12, ISSUE: 2
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID | DBLP
84
TITLE: A Hilbert-Style Axiomatisation for Equational Hybrid Logic  Full Text
AUTHORS: Luis S Barbosa ; Manuel A Martins ; Marta Carreteiro;
PUBLISHED: 2014, SOURCE: JOURNAL OF LOGIC LANGUAGE AND INFORMATION, VOLUME: 23, ISSUE: 1
INDEXED IN: Scopus WOS DBLP CrossRef: 4
IN MY: ORCID | DBLP
85
TITLE: A self-adaptation strategy for service-based architectures
AUTHORS: Nuno Oliveira ; Luis S Barbosa ;
PUBLISHED: 2014, SOURCE: 8th Brazilian Symposium on Software Components, Architectures and Reuse (SBCARS) in 2014 EIGHTH BRAZILIAN SYMPOSIUM ON SOFTWARE COMPONENTS, ARCHITECTURES AND REUSE (SBCARS)
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
86
TITLE: Analysis of FLOSS Communities as Learning Contexts
AUTHORS: Sara Fernandes; Antonio Cerone; Luis Soares Barbosa ;
PUBLISHED: 2014, SOURCE: 11th International Conference on Software Engineering and Formal Methods (SEFM) in SOFTWARE ENGINEERING AND FORMAL METHODS, VOLUME: 8368
INDEXED IN: Scopus WOS DBLP CrossRef: 5
IN MY: ORCID | DBLP
87
TITLE: FLOSS in technology-enhanced learning
AUTHORS: Fernandes, S; Cerone, A; Barbosa, LS ; Papadopoulos, PM;
PUBLISHED: 2014, SOURCE: 10th International Conference on Software Engineering and Formal Methods, SEFM 2012, 1st International Symposium on InSuEdu 2012, 1st International Symposium on MoKMaSD 2012, 6th International Workshop on Foundations and Techniques for OpenCert 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7991 LNCS
INDEXED IN: Scopus DBLP CrossRef: 2
IN MY: ORCID | DBLP
88
TITLE: Formal Aspects of Component Software (FACS 2010 selected and extended papers) Preface  Full Text
AUTHORS: Luis Soares Barbosa ; Markus Lumpe;
PUBLISHED: 2014, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 94, ISSUE: P3
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
89
TITLE: Paradigm integration in a specification course
AUTHORS: Manuel A Martins ; Alexandre Madeira ; Luis Soares Barbosa ; Renato Neves ;
PUBLISHED: 2014, SOURCE: 15th IEEE International Conference on Information Reuse and Integration (IEEE IRI) / IRI-HI / FMI / DIM / EM-RITE / WICSOC / SocialSec / IICPC / NatSec in 2014 IEEE 15TH INTERNATIONAL CONFERENCE ON INFORMATION REUSE AND INTEGRATION (IRI)
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID | DBLP
90
Page 9 of 19. Total results: 187.

footer slogan

Useful Links

Get Help

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