Jose Luis Lopes Fiadeiro
AuthID: R-001-YY3
61
TÃTULO: Connectors for mobile programs Full Text
AUTORES: Wermelinger, M; Fiadeiro, JL;
PUBLICAÇÃO: 1998, FONTE: IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOLUME: 24, NÚMERO: 5
AUTORES: Wermelinger, M; Fiadeiro, JL;
PUBLICAÇÃO: 1998, FONTE: IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOLUME: 24, NÚMERO: 5
62
TÃTULO: Towards an algebra of architectural connectors: a case study on synchronization for mobility
AUTORES: Wermelinger, M; Fiadeiro, JL;
PUBLICAÇÃO: 1998, FONTE: 9th International Workshop on Software Specification and Design in NINTH INTERNATIONAL WORKSHOP ON SOFTWARE SPECIFICATION AND DESIGN, PROCEEDINGS
AUTORES: Wermelinger, M; Fiadeiro, JL;
PUBLICAÇÃO: 1998, FONTE: 9th International Workshop on Software Specification and Design in NINTH INTERNATIONAL WORKSHOP ON SOFTWARE SPECIFICATION AND DESIGN, PROCEEDINGS
INDEXADO EM: 
WOS
WOS63
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
64
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
WOS65
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
Scopus66
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 CrossRef67
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
Scopus68
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
Scopus69
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
Scopus70
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
Scopus