41
TITLE: Modelling and Verifying Smell-Free Architectures with the ARCHERY Language
AUTHORS: Alejandro Sanchez ; Luis S Barbosa ; Alexandre Madeira ;
SOURCE: 12th International Conference on Software Engineering and Formal Methods (SEFM) in SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2014, VOLUME: 8938, PUBLISHED: 2015
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
42
TITLE: On the verification of architectural reconfigurations  Full Text
AUTHORS: Alejandro Sanchez ; Alexandre Madeira ; Luis S Barbosa ;
SOURCE: COMPUTER LANGUAGES SYSTEMS & STRUCTURES, VOLUME: 44, PUBLISHED: 2015
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID | DBLP
43
TITLE: Reasoning about software reconfigurations: The behavioural and structural perspectives  Full Text
AUTHORS: Nuno Oliveira; Luis S Barbosa ;
SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 110, PUBLISHED: 2015
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID | DBLP
44
TITLE: Refinement in hybridised institutions  Full Text
AUTHORS: Alexandre Madeira ; Manuel A Martins ; Luis S Barbosa ; Rolf Hennicker;
SOURCE: FORMAL ASPECTS OF COMPUTING, VOLUME: 27, ISSUE: 2, PUBLISHED: 2015
INDEXED IN: Scopus WOS DBLP CrossRef: 9
IN MY: ORCID | DBLP
45
TITLE: Self-adaptation by coordination-targeted reconfigurations
AUTHORS: Nuno Oliveira; Luís Soares Barbosa ;
SOURCE: J. Software Eng. R&D, VOLUME: 3, ISSUE: 1, PUBLISHED: 2015
INDEXED IN: DBLP CrossRef
IN MY: ORCID | DBLP
46
TITLE: Specifying Structural Constraints of Architectural Patterns in the ARCHERY Language
AUTHORS: Alejandro Sanchez ; Luis S Barbosa ; Daniel Riesco;
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, PUBLISHED: 2015
INDEXED IN: Scopus WOS CrossRef: 1
IN MY: ORCID
47
TITLE: Towards an engine for coordination-based architectural reconfigurations  Full Text
AUTHORS: Flavio Rodrigues; Nuno Oliveira; Luis S Barbosa ;
SOURCE: COMPUTER SCIENCE AND INFORMATION SYSTEMS, VOLUME: 12, ISSUE: 2, PUBLISHED: 2015
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID | DBLP
48
TITLE: A Hilbert-Style Axiomatisation for Equational Hybrid Logic  Full Text
AUTHORS: Luis S Barbosa ; Manuel A Martins ; Marta Carreteiro;
SOURCE: JOURNAL OF LOGIC LANGUAGE AND INFORMATION, VOLUME: 23, ISSUE: 1, PUBLISHED: 2014
INDEXED IN: Scopus WOS DBLP CrossRef: 3
IN MY: ORCID | DBLP
49
TITLE: A self-adaptation strategy for service-based architectures
AUTHORS: Nuno Oliveira ; Luis S Barbosa ;
SOURCE: 8th Brazilian Symposium on Software Components, Architectures and Reuse (SBCARS) in 2014 EIGHTH BRAZILIAN SYMPOSIUM ON SOFTWARE COMPONENTS, ARCHITECTURES AND REUSE (SBCARS), PUBLISHED: 2014
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
50
TITLE: Analysis of FLOSS Communities as Learning Contexts
AUTHORS: Sara Fernandes; Antonio Cerone; Luis Soares Barbosa ;
SOURCE: 11th International Conference on Software Engineering and Formal Methods (SEFM) in SOFTWARE ENGINEERING AND FORMAL METHODS, VOLUME: 8368, PUBLISHED: 2014
INDEXED IN: Scopus WOS DBLP CrossRef: 5
IN MY: ORCID | DBLP
Page 5 of 15. Total results: 147.