Jose Luis Lopes Fiadeiro
AuthID: R-001-YY3
71
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
Scopus72
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 CrossRef73
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
Scopus74
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
Scopus75
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
Scopus76
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
Scopus77
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
WOS78
TITLE: An X-windows toolkit for knowledge acquisition and representation based on conceptual structures
AUTHORS: Wermelinger, M; Lopes, JG;
PUBLISHED: 1993, SOURCE: 7th Annual Workshop on Conceptual Graphs, 1992 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 754 LNCS
AUTHORS: Wermelinger, M; Lopes, JG;
PUBLISHED: 1993, SOURCE: 7th Annual Workshop on Conceptual Graphs, 1992 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 754 LNCS
INDEXED IN: Scopus
Scopus79
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