Jose Luis Lopes Fiadeiro
AuthID: R-001-YY3
51
TÃTULO: Interconnecting objects via contracts
AUTORES: Fiadeiro, JL; Andrade, LF;
PUBLICAÇÃO: 2001, FONTE: Technology of Object-Oriented Languages and Systems (TOOLS 38) in Proceedings of the Conference on Technology of Object-Oriented Languages and Systems, TOOLS
AUTORES: Fiadeiro, JL; Andrade, LF;
PUBLICAÇÃO: 2001, FONTE: Technology of Object-Oriented Languages and Systems (TOOLS 38) in Proceedings of the Conference on Technology of Object-Oriented Languages and Systems, TOOLS
INDEXADO EM: 
Scopus
Scopus52
TÃTULO: A graph based architectural (re)configuration language
AUTORES: Wermelinger, M; Lopes, A ; Fiadeiro, JL;
PUBLICAÇÃO: 2001, FONTE: 8th Eiropean Engineering Conference (ESEC) and 9th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-9) in Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering
AUTORES: Wermelinger, M; Lopes, A ; Fiadeiro, JL;
PUBLICAÇÃO: 2001, FONTE: 8th Eiropean Engineering Conference (ESEC) and 9th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-9) in Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering
INDEXADO EM: Scopus
Scopus53
TÃTULO: Coordination technologies for managing information system evolution
AUTORES: Andrade, LF; Fiadeiro, JL;
PUBLICAÇÃO: 2001, FONTE: 13th International Conference on Advanced Information Systems Engineering, CAiSE 2001 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 2068
AUTORES: Andrade, LF; Fiadeiro, JL;
PUBLICAÇÃO: 2001, FONTE: 13th International Conference on Advanced Information Systems Engineering, CAiSE 2001 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 2068
INDEXADO EM: Scopus
Scopus54
TÃTULO: Patterns for coordination
AUTORES: Andrade, LF; Fiadeiro, JL; Gouveia, J; Lopes, A ; Wermelinger, M;
PUBLICAÇÃO: 2000, FONTE: 4th International Conference on Coordination Models and Languages (COORDINATION 2000) in COORDINATION LANGUAGES AND MODELS, PROCEEDINGS, VOLUME: 1906
AUTORES: Andrade, LF; Fiadeiro, JL; Gouveia, J; Lopes, A ; Wermelinger, M;
PUBLICAÇÃO: 2000, FONTE: 4th International Conference on Coordination Models and Languages (COORDINATION 2000) in COORDINATION LANGUAGES AND MODELS, PROCEEDINGS, VOLUME: 1906
INDEXADO EM: 
WOS
WOS55
TÃTULO: Superposing connectors
AUTORES: Wermelinger, M; Lopes, A ; Fiadeiro, JL;
PUBLICAÇÃO: 2000, FONTE: 10th International Workshop on Software Specification and Design in TENTH INTERNATIONAL WORKSHOP ON SOFTWARE SPECIFICATION AND DESIGN
AUTORES: Wermelinger, M; Lopes, A ; Fiadeiro, JL;
PUBLICAÇÃO: 2000, FONTE: 10th International Workshop on Software Specification and Design in TENTH INTERNATIONAL WORKSHOP ON SOFTWARE SPECIFICATION AND DESIGN
56
TÃTULO: The role of diagnosis and decision theory in normative reasoning
AUTORES: van der Torre, LWN; Ramos, P; Fiadeiro, JL; Tan, YH;
PUBLICAÇÃO: 1999, FONTE: ESPRIT Project ModelAge Final Workshop on Formal Models of Agents in FORMAL MODELS OF AGENTS, VOLUME: 1760
AUTORES: van der Torre, LWN; Ramos, P; Fiadeiro, JL; Tan, YH;
PUBLICAÇÃO: 1999, FONTE: ESPRIT Project ModelAge Final Workshop on Formal Models of Agents in FORMAL MODELS OF AGENTS, VOLUME: 1760
INDEXADO EM: WOS
WOS57
TÃTULO: Algebraic software architecture reconfiguration
AUTORES: Wermelinger, M; Fiadeiro, JL;
PUBLICAÇÃO: 1999, FONTE: 7th European Software Engineering Conference/7th ACM SIGSOFT Symposium on the Foundations of Software Engineering in SOFTWARE ENGINEERING - ESEC/FSE '99, PROCEEDINGS, VOLUME: 1687
AUTORES: Wermelinger, M; Fiadeiro, JL;
PUBLICAÇÃO: 1999, FONTE: 7th European Software Engineering Conference/7th ACM SIGSOFT Symposium on the Foundations of Software Engineering in SOFTWARE ENGINEERING - ESEC/FSE '99, PROCEEDINGS, VOLUME: 1687
INDEXADO EM: Scopus WOS
Scopus WOS58
TÃTULO: The role of diagnosis and decision theory in normative reasoning
AUTORES: van der Torre, LWN; Ramos, P; Fiadeiro, JL; Tan, YH;
PUBLICAÇÃO: 1999, FONTE: ModelAge Final Workshop on Formal Models of Agents, 1997 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1760
AUTORES: van der Torre, LWN; Ramos, P; Fiadeiro, JL; Tan, YH;
PUBLICAÇÃO: 1999, FONTE: ModelAge Final Workshop on Formal Models of Agents, 1997 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1760
INDEXADO EM: Scopus
Scopus59
TÃTULO: Preface
AUTORES: Fiadeiro, JL;
PUBLICAÇÃO: 1999, FONTE: 13th International Workshop on Algebraic Development Techniques, WADT 1998 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1589
AUTORES: Fiadeiro, JL;
PUBLICAÇÃO: 1999, FONTE: 13th International Workshop on Algebraic Development Techniques, WADT 1998 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1589
INDEXADO EM: Scopus
Scopus60
TÃTULO: A computational tool that supports formal diagnosis of process design Full Text
AUTORES: Ramos, P; Fiadeiro, JL;
PUBLICAÇÃO: 1998, FONTE: INFORMATION AND SOFTWARE TECHNOLOGY, VOLUME: 40, NÚMERO: 10
AUTORES: Ramos, P; Fiadeiro, JL;
PUBLICAÇÃO: 1998, FONTE: INFORMATION AND SOFTWARE TECHNOLOGY, VOLUME: 40, NÚMERO: 10
