Maria Antónia Bacelar da Costa Lopes


AuthID: R-000-AK2

Publicações Confirmadas: 83



21
TÍTULO: Software engineering for self-adaptive systems: A second research roadmap
AUTORES: 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; ...Mais
PUBLICAÇÃO: 2013, FONTE: 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
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
22
TÍTULO: A formal model for service-oriented interactions  Full Text
AUTORES: Jose Fiadeiro; Antonia Lopes ; Joao Abreu;
PUBLICAÇÃO: 2012, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 77, NÚMERO: 5
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
23
TÍTULO: A graph-based design framework for services
AUTORES: Lopes, A ; Fiadeiro, JL;
PUBLICAÇÃO: 2012, FONTE: 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
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
24
TÍTULO: A Problem-Solving Environment for reinforcement distribution characterization in composites using tomographic images
AUTORES: Velhinho, A; Lopes, A ; Preto, B; Birra, F; Encarnacao, M; Oliveira, N; Quaresma, P; Medeiros, P; Ferreira, S;
PUBLICAÇÃO: 2012, FONTE: Ciencia e Tecnologia dos Materiais, VOLUME: 24, NÚMERO: 3-4
INDEXADO EM: Scopus
25
TÍTULO: Consistency of Service Composition
AUTORES: Fiadeiro, JL; Lopes, A ;
PUBLICAÇÃO: 2012, FONTE: 15th International Conference on Fundamental Approaches to Software Engineering (FASE) in FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, FASE 2012, VOLUME: 7212
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
26
TÍTULO: Specification-driven unit test generation for java generic classes
AUTORES: Rebello De Andrade, F; Faria, JP ; Lopes, A ; Paiva, ACR ;
PUBLICAÇÃO: 2012, FONTE: 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
INDEXADO EM: Scopus DBLP CrossRef: 4
NO MEU: ORCID
27
TÍTULO: An abstract model of service discovery and binding  Full Text
AUTORES: Jose Luiz Fiadeiro; Antonia Lopes ; Laura Bocchi;
PUBLICAÇÃO: 2011, FONTE: FORMAL ASPECTS OF COMPUTING, VOLUME: 23, NÚMERO: 4
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
28
TÍTULO: An Interface Theory for Service-Oriented Design  Full Text
AUTORES: Fiadeiro, JL; Lopes, A ;
PUBLICAÇÃO: 2011, FONTE: 14th European Joint Conferences on Theory and Practice of Software in FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, VOLUME: 6603
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
29
TÍTULO: ASAS'11 - Proceedings of the 8th Workshop on Assurances for Self-Adaptive Systems: Foreword
AUTORES: Camara, J; Lopes, A ; De Lemos, R; Ghezzi, C;
PUBLICAÇÃO: 2011, FONTE: 8th Workshop on Assurances for Self-Adaptive Systems, ASAS'11 in ASAS'11 - Proceedings of the 8th Workshop on Assurances for Self-Adaptive Systems
INDEXADO EM: Scopus
NO MEU: ORCID
30
TÍTULO: Extending data cleaning graphs for supporting user involvement
AUTORES: Galhardas, H ; Lopes, A ; Santos, E;
PUBLICAÇÃO: 2011, FONTE: 6th Iberian Conference on Information Systems and Technologies, CISTI 2011 in Proceedings of the 6th Iberian Conference on Information Systems and Technologies, CISTI 2011
INDEXADO EM: Scopus
NO MEU: ORCID
Página 3 de 9. Total de resultados: 83.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2025 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service