51
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
52
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
53
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
55
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
56
TITLE: ReCooPLa: a DSL for Coordination-based Reconfiguration of Software Architectures
AUTHORS: Flávio Rodrigues; Nuno Oliveira; Luís Soares Barbosa ;
SOURCE: 3rd Symposium on Languages, Applications and Technologies, SLATE 2014, June 19-20, 2014 - Bragança, Portugal, VOLUME: 38, PUBLISHED: 2014
INDEXED IN: DBLP
IN MY: ORCID | DBLP
57
TITLE: Selected and extended papers of the Brazilian Symposium on Programming Languages 2012 Preface  Full Text
AUTHORS: Francisco Heron de Carvalho Junior; Luis Soares Barbosa ;
SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 96, ISSUE: P2, PUBLISHED: 2014
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
58
TITLE: Selected contributions from the Open Source Software Certification (OpenCert) workshops Preface  Full Text
AUTHORS: Luis Soares Barbosa ; Siraj Ahmed Shaikh;
SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 91, ISSUE: PART B, PUBLISHED: 2014
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
59
TITLE: THE ROLE OF LOGICAL INTERPRETATIONS IN PROGRAM DEVELOPMENT PDF  Full Text
AUTHORS: Manuel A Martins ; Alexandre Madeira ; Luis S Barbosa ;
SOURCE: LOGICAL METHODS IN COMPUTER SCIENCE, VOLUME: 10, ISSUE: 1, PUBLISHED: 2014
INDEXED IN: Scopus WOS DBLP arXiv CrossRef: 2
IN MY: ORCID | DBLP
60
TITLE: A Coalgebraic Perspective on Logical Interpretations  Full Text
AUTHORS: Martins, MA ; Madeira, A ; Barbosa, LS ;
SOURCE: STUDIA LOGICA, VOLUME: 101, ISSUE: 4, PUBLISHED: 2013
INDEXED IN: Scopus WOS DBLP CrossRef: 1
Page 6 of 15. Total results: 147.