Jose Luis Lopes Fiadeiro
AuthID: R-001-YY3
61
TÃTULO: Categorical semantics of parallel program design Full Text
AUTORES: Fiadeiro, JL; Maibaum, T;
PUBLICAÇÃO: 1997, FONTE: Symposium on Formal Specifications: Foundations, Methods, Tools and Applications / FMTA 95 in SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 28, NÚMERO: 2-3
AUTORES: Fiadeiro, JL; Maibaum, T;
PUBLICAÇÃO: 1997, FONTE: Symposium on Formal Specifications: Foundations, Methods, Tools and Applications / FMTA 95 in SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 28, NÚMERO: 2-3
62
TÃTULO: Synthesising interconnections
AUTORES: Fiadeiro, JL; Lopes, A; Maibaum, TSE;
PUBLICAÇÃO: 1997, FONTE: IFIP TC2 WG2 1 International Workshop on Algorithmic Languages and Calculi in ALGORITHMIC LANGUAGES AND CALCULI
AUTORES: Fiadeiro, JL; Lopes, A; Maibaum, TSE;
PUBLICAÇÃO: 1997, FONTE: IFIP TC2 WG2 1 International Workshop on Algorithmic Languages and Calculi in ALGORITHMIC LANGUAGES AND CALCULI
INDEXADO EM: 
WOS
WOS63
TÃTULO: Semantics of architectural connectors
AUTORES: Fiadeiro, JL; Lopes, A ;
PUBLICAÇÃO: 1997, FONTE: 7th International Joint Conference on Theory and Practice of Software Development, TAPSOFT 1997 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1214
AUTORES: Fiadeiro, JL; Lopes, A ;
PUBLICAÇÃO: 1997, FONTE: 7th International Joint Conference on Theory and Practice of Software Development, TAPSOFT 1997 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1214
INDEXADO EM: 
Scopus
Scopus64
TÃTULO: Mirror, mirror in my hand: A duality between specifications and models of process behaviour
AUTORES: Fiadeiro, JL; Costa, JF ;
PUBLICAÇÃO: 1996, FONTE: Mathematical Structures in Computer Science, VOLUME: 6, NÚMERO: 4
AUTORES: Fiadeiro, JL; Costa, JF ;
PUBLICAÇÃO: 1996, FONTE: Mathematical Structures in Computer Science, VOLUME: 6, NÚMERO: 4
INDEXADO EM: Scopus 
CrossRef
Scopus CrossRef65
TÃTULO: On the emergence of properties in component-based systems
AUTORES: Fiadeiro, JL;
PUBLICAÇÃO: 1996, FONTE: 5th International Conference on Algebraic Methodology and Software Technology, AMAST 1996 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1101
AUTORES: Fiadeiro, JL;
PUBLICAÇÃO: 1996, FONTE: 5th International Conference on Algebraic Methodology and Software Technology, AMAST 1996 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1101
INDEXADO EM: Scopus
Scopus66
TÃTULO: Reuse of requirements and specifications - a formal framework -
AUTORES: Carlos Paredes; Jose Luiz Fiadeiro;
PUBLICAÇÃO: 1995, FONTE: Proceedings of the ACM SIGSOFT Symposium on Software Reusability in ACM SIGSOFT Symposium on Software Reusability - SSR
AUTORES: Carlos Paredes; Jose Luiz Fiadeiro;
PUBLICAÇÃO: 1995, FONTE: Proceedings of the ACM SIGSOFT Symposium on Software Reusability in ACM SIGSOFT Symposium on Software Reusability - SSR
INDEXADO EM: Scopus
Scopus67
TÃTULO: Interconnecting formalisms: Supporting modularity, reuse and incrementality
AUTORES: Jose Luiz Fiadeiro; Tom Maibaum;
PUBLICAÇÃO: 1995, FONTE: Proceedings of the 1995 3rd ACM SIGSOFT Symposium on the Foundations of Software Engineering in Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering
AUTORES: Jose Luiz Fiadeiro; Tom Maibaum;
PUBLICAÇÃO: 1995, FONTE: Proceedings of the 1995 3rd ACM SIGSOFT Symposium on the Foundations of Software Engineering in Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering
INDEXADO EM: Scopus
Scopus68
TÃTULO: Institutions for behaviour specification
AUTORES: Fiadeiro, JL; Costa, JF ;
PUBLICAÇÃO: 1995, FONTE: 10th Workshop on Specification of Abstract Data Types was held Joint with the 5th COMPASS Workshop, 1994 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 906
AUTORES: Fiadeiro, JL; Costa, JF ;
PUBLICAÇÃO: 1995, FONTE: 10th Workshop on Specification of Abstract Data Types was held Joint with the 5th COMPASS Workshop, 1994 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 906
INDEXADO EM: Scopus
Scopus69
TÃTULO: PROCESS SEMANTICS OF TEMPORAL LOGIC SPECIFICATION
AUTORES: FIADEIRO, JL; COSTA, JF ; SERNADAS, A ; MAIBAUM, TSE;
PUBLICAÇÃO: 1993, FONTE: 8TH WORKSHOP ON SPECIFICATION OF ABSTRACT DATA TYPES / 3RD COMPASS WORKSHOP in LECTURE NOTES IN COMPUTER SCIENCE, VOLUME: 655
AUTORES: FIADEIRO, JL; COSTA, JF ; SERNADAS, A ; MAIBAUM, TSE;
PUBLICAÇÃO: 1993, FONTE: 8TH WORKSHOP ON SPECIFICATION OF ABSTRACT DATA TYPES / 3RD COMPASS WORKSHOP in LECTURE NOTES IN COMPUTER SCIENCE, VOLUME: 655
INDEXADO EM: WOS
WOS70
TÃTULO: ABSTRACT OBJECT TYPES - A TEMPORAL PERSPECTIVE
AUTORES: SERNADAS, A ; FIADEIRO, J; SERNADAS, C ; EHRICH, HD;
PUBLICAÇÃO: 1989, FONTE: LECTURE NOTES IN COMPUTER SCIENCE, VOLUME: 398
AUTORES: SERNADAS, A ; FIADEIRO, J; SERNADAS, C ; EHRICH, HD;
PUBLICAÇÃO: 1989, FONTE: LECTURE NOTES IN COMPUTER SCIENCE, VOLUME: 398
INDEXADO EM: WOS
WOS