21
TITLE: Software engineering for self-adaptive systems: A second research roadmap
AUTHORS: De Lemos, R; Giese, H; Muller, HA; Shaw, M; Andersson, J; Litoiu, M; Schmerl, B; Tamura, G; Villegas, NM; Vogel, T; Weyns, D; Baresi, L; Becker, B; Bencomo, N; Brun, Y; Cukic, B; Desmarais, R; Dustdar, S; Engels, G; Geihs, K; Goschka, KM; Gorla, A; Grassi, V; Inverardi, P; Karsai, G; Kramer, J; Lopes, A ; Magee, J; Malek, S; Mankovskii, S; Mirandola, R; Mylopoulos, J; Nierstrasz, O; Pezze, M; Prehofer, C; Schafer, W; Schlichting, R; Smith, DB; Sousa, JP; Tahvildari, L; Wong, K; Wuttke, J; ...More
PUBLISHED: 2013, SOURCE: International Seminar on Software Engineering for Self-Adaptive Systems II in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7475 LNCS
INDEXED IN: Scopus CrossRef
IN MY: ORCID
22
TITLE: A formal model for service-oriented interactions  Full Text
AUTHORS: Jose Fiadeiro; Antonia Lopes ; Joao Abreu;
PUBLISHED: 2012, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 77, ISSUE: 5
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
23
TITLE: A graph-based design framework for services
AUTHORS: Lopes, A ; Fiadeiro, JL;
PUBLISHED: 2012, SOURCE: 6th International Conference on Graph Transformations, ICGT 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7562 LNCS
INDEXED IN: Scopus CrossRef
IN MY: ORCID
24
TITLE: A Problem-Solving Environment for reinforcement distribution characterization in composites using tomographic images
AUTHORS: Velhinho, A; Lopes, A ; Preto, B; Birra, F; Encarnacao, M; Oliveira, N; Quaresma, P; Medeiros, P; Ferreira, S;
PUBLISHED: 2012, SOURCE: Ciencia e Tecnologia dos Materiais, VOLUME: 24, ISSUE: 3-4
INDEXED IN: Scopus
25
TITLE: Consistency of Service Composition
AUTHORS: Fiadeiro, JL; Lopes, A ;
PUBLISHED: 2012, SOURCE: 15th International Conference on Fundamental Approaches to Software Engineering (FASE) in FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, FASE 2012, VOLUME: 7212
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
26
TITLE: Specification-driven unit test generation for java generic classes
AUTHORS: Rebello De Andrade, F; Faria, JP ; Lopes, A ; Paiva, ACR ;
PUBLISHED: 2012, SOURCE: 9th International Conference on Integrated Formal Methods, IFM 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7321 LNCS
INDEXED IN: Scopus DBLP CrossRef: 4
IN MY: ORCID
27
TITLE: An abstract model of service discovery and binding  Full Text
AUTHORS: Jose Luiz Fiadeiro; Antonia Lopes ; Laura Bocchi;
PUBLISHED: 2011, SOURCE: FORMAL ASPECTS OF COMPUTING, VOLUME: 23, ISSUE: 4
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
28
TITLE: An Interface Theory for Service-Oriented Design  Full Text
AUTHORS: Fiadeiro, JL; Lopes, A ;
PUBLISHED: 2011, SOURCE: 14th European Joint Conferences on Theory and Practice of Software in FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, VOLUME: 6603
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
29
TITLE: ASAS'11 - Proceedings of the 8th Workshop on Assurances for Self-Adaptive Systems: Foreword
AUTHORS: Camara, J; Lopes, A ; De Lemos, R; Ghezzi, C;
PUBLISHED: 2011, SOURCE: 8th Workshop on Assurances for Self-Adaptive Systems, ASAS'11 in ASAS'11 - Proceedings of the 8th Workshop on Assurances for Self-Adaptive Systems
INDEXED IN: Scopus
IN MY: ORCID
30
TITLE: Extending data cleaning graphs for supporting user involvement
AUTHORS: Galhardas, H ; Lopes, A ; Santos, E;
PUBLISHED: 2011, SOURCE: 6th Iberian Conference on Information Systems and Technologies, CISTI 2011 in Proceedings of the 6th Iberian Conference on Information Systems and Technologies, CISTI 2011
INDEXED IN: Scopus
IN MY: ORCID
Page 3 of 9. Total results: 83.