Maria Antónia Bacelar da Costa Lopes


AuthID: R-000-AK2

Publicações Confirmadas: 96



51
TÍTULO: A Use-Case Driven Approach to Formal Service-Oriented Modelling
AUTORES: Bocchi, L; Fiadeiro, JL; Lopes, A ;
PUBLICAÇÃO: 2008, FONTE: 3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION, PROCEEDINGS, VOLUME: 17
INDEXADO EM: Scopus WOS
52
TÍTULO: Automated Domain-Specific Modeling Languages for Generating Framework-Based Applications
AUTORES: Andre L Santos ; Kai Koskimies; Antonia Lopes ;
PUBLICAÇÃO: 2008, FONTE: 12th International Software Product Line Conference in SPLC 2008: 12TH INTERNATIONAL SOFTWARE PRODUCT LINE CONFERENCE, PROCEEDINGS
INDEXADO EM: Scopus WOS CrossRef: 5
NO MEU: ORCID | CIÊNCIAVITAE
53
TÍTULO: From BPEL to SRML: A formal transformational approach
AUTORES: Bocchi, L; Hong, Y; Lopes, A ; Fiadeiro, JL;
PUBLICAÇÃO: 2008, FONTE: 4th International Workshop on Web Services and Formal Methods in WEB SERVICES AND FORMAL METHODS, PROCEEDINGS, VOLUME: 4937
INDEXADO EM: Scopus WOS CrossRef: 7
NO MEU: ORCID | CIÊNCIAVITAE
54
TÍTULO: Modelling Adaptive Services for Distributed Systems
AUTORES: Liliana Rosa; Antonia Lopes ; Luis Rodrigues ;
PUBLICAÇÃO: 2008, FONTE: 23rd Annual ACM Symposium on Applied Computing in APPLIED COMPUTING 2008, VOLS 1-3
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
NO MEU: ORCID | CIÊNCIAVITAE
55
TÍTULO: Service-oriented modelling of automotive systems  Full Text
AUTORES: Bocchi, L; Fiadeiro, JL; Lopes, A ;
PUBLICAÇÃO: 2008, FONTE: 32nd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2008 in Proceedings - International Computer Software and Applications Conference
INDEXADO EM: Scopus CrossRef: 16
NO MEU: ORCID | CIÊNCIAVITAE
56
TÍTULO: Algebraic semantics of service component modules
AUTORES: Fiadeiro, JL; Lopes, A ; Bocchi, L;
PUBLICAÇÃO: 2007, FONTE: 18th International Workshop on Algebraic Development Techniques in RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, VOLUME: 4409
INDEXADO EM: Scopus WOS
NO MEU: ORCID | CIÊNCIAVITAE
57
TÍTULO: An algebraic semantics of event-based architectures
AUTORES: Fladeiro, JL; Lopes, A ;
PUBLICAÇÃO: 2007, FONTE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 17, NÚMERO: 5
INDEXADO EM: Scopus WOS CrossRef: 4
58
TÍTULO: Building adaptive systems with service composition frameworks
AUTORES: Liliana Rosa; Luis Rodrigues ; Antonia Lopes ;
PUBLICAÇÃO: 2007, FONTE: OTM Confederated International Conference and Workshop in ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS 2007: COOPLS, DOA, ODBASE, GADA, AND IS, PT 1, PROCEEDINGS, VOLUME: 4803, NÚMERO: PART 1
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
59
TÍTULO: Framework specialization aspects
AUTORES: Santos, AL ; Lopes, A ; Koskimies, K;
PUBLICAÇÃO: 2007, FONTE: 6th International Conference on Aspect-Oriented Software Development in ACM International Conference Proceeding Series, VOLUME: 208
INDEXADO EM: Scopus CrossRef: 8
NO MEU: ORCID | CIÊNCIAVITAE
60
TÍTULO: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics: Preface
AUTORES: Dwyer, MB; Lopes, A ;
PUBLICAÇÃO: 2007, FONTE: 10th International Conference on Fundamental Approaches to Software Engineering, FASE 2007 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 4422 LNCS
INDEXADO EM: Scopus
NO MEU: ORCID | CIÊNCIAVITAE
Página 6 de 10. Total de resultados: 96.

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

Links Úteis

Ajuda

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