81
TÍTULO: On the verification of architectural reconfigurations  Full Text
AUTORES: Alejandro Sanchez ; Alexandre Madeira ; Luis S Barbosa ;
PUBLICAÇÃO: 2015, FONTE: COMPUTER LANGUAGES SYSTEMS & STRUCTURES, VOLUME: 44
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
NO MEU: ORCID | DBLP
82
TÍTULO: Reasoning about software reconfigurations: The behavioural and structural perspectives  Full Text
AUTORES: Nuno Oliveira; Luis S Barbosa ;
PUBLICAÇÃO: 2015, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 110
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
NO MEU: ORCID | DBLP
83
TÍTULO: Refinement in hybridised institutions  Full Text
AUTORES: Alexandre Madeira ; Manuel A Martins ; Luis S Barbosa ; Rolf Hennicker;
PUBLICAÇÃO: 2015, FONTE: FORMAL ASPECTS OF COMPUTING, VOLUME: 27, NÚMERO: 2
INDEXADO EM: Scopus WOS DBLP CrossRef: 11
NO MEU: ORCID | DBLP
84
TÍTULO: Self-adaptation by coordination-targeted reconfigurations
AUTORES: Nuno Oliveira; Luís Soares Barbosa ;
PUBLICAÇÃO: 2015, FONTE: J. Software Eng. R&D, VOLUME: 3, NÚMERO: 1
INDEXADO EM: DBLP CrossRef
NO MEU: ORCID | DBLP
85
TÍTULO: Specifying Structural Constraints of Architectural Patterns in the ARCHERY Language
AUTORES: Alejandro Sanchez ; Luis S Barbosa ; Daniel Riesco;
PUBLICAÇÃO: 2015, FONTE: 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
INDEXADO EM: Scopus WOS CrossRef: 2
NO MEU: ORCID
86
TÍTULO: Towards an engine for coordination-based architectural reconfigurations  Full Text
AUTORES: Flavio Rodrigues; Nuno Oliveira; Luis S Barbosa ;
PUBLICAÇÃO: 2015, FONTE: COMPUTER SCIENCE AND INFORMATION SYSTEMS, VOLUME: 12, NÚMERO: 2
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
NO MEU: ORCID | DBLP
87
TÍTULO: A Hilbert-Style Axiomatisation for Equational Hybrid Logic  Full Text
AUTORES: Luis S Barbosa ; Manuel A Martins ; Marta Carreteiro;
PUBLICAÇÃO: 2014, FONTE: JOURNAL OF LOGIC LANGUAGE AND INFORMATION, VOLUME: 23, NÚMERO: 1
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
NO MEU: ORCID | DBLP
88
TÍTULO: A self-adaptation strategy for service-based architectures
AUTORES: Nuno Oliveira ; Luis S Barbosa ;
PUBLICAÇÃO: 2014, FONTE: 8th Brazilian Symposium on Software Components, Architectures and Reuse (SBCARS) in 2014 EIGHTH BRAZILIAN SYMPOSIUM ON SOFTWARE COMPONENTS, ARCHITECTURES AND REUSE (SBCARS)
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP
89
TÍTULO: Analysis of FLOSS Communities as Learning Contexts
AUTORES: Sara Fernandes; Antonio Cerone; Luis Soares Barbosa ;
PUBLICAÇÃO: 2014, FONTE: 11th International Conference on Software Engineering and Formal Methods (SEFM) in SOFTWARE ENGINEERING AND FORMAL METHODS, VOLUME: 8368
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
NO MEU: ORCID | DBLP
90
TÍTULO: FLOSS in technology-enhanced learning
AUTORES: Fernandes, S; Cerone, A; Barbosa, LS ; Papadopoulos, PM;
PUBLICAÇÃO: 2014, FONTE: 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
INDEXADO EM: Scopus DBLP CrossRef: 2
NO MEU: ORCID | DBLP
Página 9 de 19. Total de resultados: 190.