Jose Luis Lopes Fiadeiro
AuthID: R-001-YY3
61
TITLE: Connectors for mobile programs Full Text
AUTHORS: Wermelinger, M; Fiadeiro, JL;
PUBLISHED: 1998, SOURCE: IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOLUME: 24, ISSUE: 5
AUTHORS: Wermelinger, M; Fiadeiro, JL;
PUBLISHED: 1998, SOURCE: IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOLUME: 24, ISSUE: 5
62
TITLE: Towards an algebra of architectural connectors: a case study on synchronization for mobility
AUTHORS: Wermelinger, M; Fiadeiro, JL;
PUBLISHED: 1998, SOURCE: 9th International Workshop on Software Specification and Design in NINTH INTERNATIONAL WORKSHOP ON SOFTWARE SPECIFICATION AND DESIGN, PROCEEDINGS
AUTHORS: Wermelinger, M; Fiadeiro, JL;
PUBLISHED: 1998, SOURCE: 9th International Workshop on Software Specification and Design in NINTH INTERNATIONAL WORKSHOP ON SOFTWARE SPECIFICATION AND DESIGN, PROCEEDINGS
INDEXED IN: 
WOS
WOS63
TITLE: Categorical semantics of parallel program design Full Text
AUTHORS: Fiadeiro, JL; Maibaum, T;
PUBLISHED: 1997, SOURCE: Symposium on Formal Specifications: Foundations, Methods, Tools and Applications / FMTA 95 in SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 28, ISSUE: 2-3
AUTHORS: Fiadeiro, JL; Maibaum, T;
PUBLISHED: 1997, SOURCE: Symposium on Formal Specifications: Foundations, Methods, Tools and Applications / FMTA 95 in SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 28, ISSUE: 2-3
64
TITLE: Synthesising interconnections
AUTHORS: Fiadeiro, JL; Lopes, A; Maibaum, TSE;
PUBLISHED: 1997, SOURCE: IFIP TC2 WG2 1 International Workshop on Algorithmic Languages and Calculi in ALGORITHMIC LANGUAGES AND CALCULI
AUTHORS: Fiadeiro, JL; Lopes, A; Maibaum, TSE;
PUBLISHED: 1997, SOURCE: IFIP TC2 WG2 1 International Workshop on Algorithmic Languages and Calculi in ALGORITHMIC LANGUAGES AND CALCULI
INDEXED IN: WOS
WOS65
TITLE: Semantics of architectural connectors
AUTHORS: Fiadeiro, JL; Lopes, A ;
PUBLISHED: 1997, SOURCE: 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
AUTHORS: Fiadeiro, JL; Lopes, A ;
PUBLISHED: 1997, SOURCE: 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
INDEXED IN: 
Scopus
Scopus66
TITLE: Mirror, mirror in my hand: A duality between specifications and models of process behaviour
AUTHORS: Fiadeiro, JL; Costa, JF ;
PUBLISHED: 1996, SOURCE: Mathematical Structures in Computer Science, VOLUME: 6, ISSUE: 4
AUTHORS: Fiadeiro, JL; Costa, JF ;
PUBLISHED: 1996, SOURCE: Mathematical Structures in Computer Science, VOLUME: 6, ISSUE: 4
INDEXED IN: Scopus 
CrossRef
Scopus CrossRef67
TITLE: On the emergence of properties in component-based systems
AUTHORS: Fiadeiro, JL;
PUBLISHED: 1996, SOURCE: 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
AUTHORS: Fiadeiro, JL;
PUBLISHED: 1996, SOURCE: 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
INDEXED IN: Scopus
Scopus68
TITLE: Reuse of requirements and specifications - a formal framework -
AUTHORS: Carlos Paredes; Jose Luiz Fiadeiro;
PUBLISHED: 1995, SOURCE: Proceedings of the ACM SIGSOFT Symposium on Software Reusability in ACM SIGSOFT Symposium on Software Reusability - SSR
AUTHORS: Carlos Paredes; Jose Luiz Fiadeiro;
PUBLISHED: 1995, SOURCE: Proceedings of the ACM SIGSOFT Symposium on Software Reusability in ACM SIGSOFT Symposium on Software Reusability - SSR
INDEXED IN: Scopus
Scopus69
TITLE: Interconnecting formalisms: Supporting modularity, reuse and incrementality
AUTHORS: Jose Luiz Fiadeiro; Tom Maibaum;
PUBLISHED: 1995, SOURCE: 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
AUTHORS: Jose Luiz Fiadeiro; Tom Maibaum;
PUBLISHED: 1995, SOURCE: 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
INDEXED IN: Scopus
Scopus70
TITLE: Institutions for behaviour specification
AUTHORS: Fiadeiro, JL; Costa, JF ;
PUBLISHED: 1995, SOURCE: 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
AUTHORS: Fiadeiro, JL; Costa, JF ;
PUBLISHED: 1995, SOURCE: 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
INDEXED IN: Scopus
Scopus