Jose Luis Lopes Fiadeiro
AuthID: R-001-YY3
61
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
62
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
WOS63
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
Scopus64
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 CrossRef65
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
Scopus66
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
Scopus67
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
Scopus68
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
Scopus69
TITLE: PROCESS SEMANTICS OF TEMPORAL LOGIC SPECIFICATION
AUTHORS: FIADEIRO, JL; COSTA, JF ; SERNADAS, A ; MAIBAUM, TSE;
PUBLISHED: 1993, SOURCE: 8TH WORKSHOP ON SPECIFICATION OF ABSTRACT DATA TYPES / 3RD COMPASS WORKSHOP in LECTURE NOTES IN COMPUTER SCIENCE, VOLUME: 655
AUTHORS: FIADEIRO, JL; COSTA, JF ; SERNADAS, A ; MAIBAUM, TSE;
PUBLISHED: 1993, SOURCE: 8TH WORKSHOP ON SPECIFICATION OF ABSTRACT DATA TYPES / 3RD COMPASS WORKSHOP in LECTURE NOTES IN COMPUTER SCIENCE, VOLUME: 655
INDEXED IN: WOS
WOS70
TITLE: ABSTRACT OBJECT TYPES - A TEMPORAL PERSPECTIVE
AUTHORS: SERNADAS, A ; FIADEIRO, J; SERNADAS, C ; EHRICH, HD;
PUBLISHED: 1989, SOURCE: LECTURE NOTES IN COMPUTER SCIENCE, VOLUME: 398
AUTHORS: SERNADAS, A ; FIADEIRO, J; SERNADAS, C ; EHRICH, HD;
PUBLISHED: 1989, SOURCE: LECTURE NOTES IN COMPUTER SCIENCE, VOLUME: 398
INDEXED IN: WOS
WOS