51
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
52
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
53
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
54
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
55
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
56
TITLE: FLOSS in technology-enhanced learning
AUTHORS: Fernandes, S; Cerone, A; Barbosa, LS ; Papadopoulos, PM;
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, PUBLISHED: 2014
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: ORCID | DBLP
57
TITLE: Formal Aspects of Component Software (FACS 2010 selected and extended papers) Preface  Full Text
AUTHORS: Luis Soares Barbosa ; Markus Lumpe;
SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 94, ISSUE: P3, PUBLISHED: 2014
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
58
TITLE: Paradigm integration in a specification course
AUTHORS: Manuel A Martins ; Alexandre Madeira ; Luis Soares Barbosa ; Renato Neves ;
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), PUBLISHED: 2014
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID | DBLP
60
TITLE: Quantitative analysis of Reo-based service coordination
AUTHORS: Nuno Oliveira; Alexandra Silva ; Luís Soares Barbosa ;
SOURCE: Symposium on Applied Computing, SAC 2014, Gyeongju, Republic of Korea - March 24 - 28, 2014, PUBLISHED: 2014
INDEXED IN: DBLP CrossRef
IN MY: ORCID | DBLP
Page 6 of 16. Total results: 152.