Jose Luis Lopes Fiadeiro
AuthID: R-001-YY3
51
TITLE: Interconnecting objects via contracts
AUTHORS: Fiadeiro, JL; Andrade, LF;
PUBLISHED: 2001, SOURCE: Technology of Object-Oriented Languages and Systems (TOOLS 38) in Proceedings of the Conference on Technology of Object-Oriented Languages and Systems, TOOLS
AUTHORS: Fiadeiro, JL; Andrade, LF;
PUBLISHED: 2001, SOURCE: Technology of Object-Oriented Languages and Systems (TOOLS 38) in Proceedings of the Conference on Technology of Object-Oriented Languages and Systems, TOOLS
INDEXED IN: 
Scopus
Scopus52
TITLE: A graph based architectural (re)configuration language
AUTHORS: Wermelinger, M; Lopes, A ; Fiadeiro, JL;
PUBLISHED: 2001, SOURCE: 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
AUTHORS: Wermelinger, M; Lopes, A ; Fiadeiro, JL;
PUBLISHED: 2001, SOURCE: 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
INDEXED IN: Scopus
Scopus53
TITLE: Coordination technologies for managing information system evolution
AUTHORS: Andrade, LF; Fiadeiro, JL;
PUBLISHED: 2001, SOURCE: 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
AUTHORS: Andrade, LF; Fiadeiro, JL;
PUBLISHED: 2001, SOURCE: 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
INDEXED IN: Scopus
Scopus54
TITLE: Patterns for coordination
AUTHORS: Andrade, LF; Fiadeiro, JL; Gouveia, J; Lopes, A ; Wermelinger, M;
PUBLISHED: 2000, SOURCE: 4th International Conference on Coordination Models and Languages (COORDINATION 2000) in COORDINATION LANGUAGES AND MODELS, PROCEEDINGS, VOLUME: 1906
AUTHORS: Andrade, LF; Fiadeiro, JL; Gouveia, J; Lopes, A ; Wermelinger, M;
PUBLISHED: 2000, SOURCE: 4th International Conference on Coordination Models and Languages (COORDINATION 2000) in COORDINATION LANGUAGES AND MODELS, PROCEEDINGS, VOLUME: 1906
INDEXED IN: 
WOS
WOS55
TITLE: Superposing connectors
AUTHORS: Wermelinger, M; Lopes, A ; Fiadeiro, JL;
PUBLISHED: 2000, SOURCE: 10th International Workshop on Software Specification and Design in TENTH INTERNATIONAL WORKSHOP ON SOFTWARE SPECIFICATION AND DESIGN
AUTHORS: Wermelinger, M; Lopes, A ; Fiadeiro, JL;
PUBLISHED: 2000, SOURCE: 10th International Workshop on Software Specification and Design in TENTH INTERNATIONAL WORKSHOP ON SOFTWARE SPECIFICATION AND DESIGN
56
TITLE: The role of diagnosis and decision theory in normative reasoning
AUTHORS: van der Torre, LWN; Ramos, P; Fiadeiro, JL; Tan, YH;
PUBLISHED: 1999, SOURCE: ESPRIT Project ModelAge Final Workshop on Formal Models of Agents in FORMAL MODELS OF AGENTS, VOLUME: 1760
AUTHORS: van der Torre, LWN; Ramos, P; Fiadeiro, JL; Tan, YH;
PUBLISHED: 1999, SOURCE: ESPRIT Project ModelAge Final Workshop on Formal Models of Agents in FORMAL MODELS OF AGENTS, VOLUME: 1760
INDEXED IN: WOS
WOS57
TITLE: Algebraic software architecture reconfiguration
AUTHORS: Wermelinger, M; Fiadeiro, JL;
PUBLISHED: 1999, SOURCE: 7th European Software Engineering Conference/7th ACM SIGSOFT Symposium on the Foundations of Software Engineering in SOFTWARE ENGINEERING - ESEC/FSE '99, PROCEEDINGS, VOLUME: 1687
AUTHORS: Wermelinger, M; Fiadeiro, JL;
PUBLISHED: 1999, SOURCE: 7th European Software Engineering Conference/7th ACM SIGSOFT Symposium on the Foundations of Software Engineering in SOFTWARE ENGINEERING - ESEC/FSE '99, PROCEEDINGS, VOLUME: 1687
INDEXED IN: Scopus WOS
Scopus WOS58
TITLE: The role of diagnosis and decision theory in normative reasoning
AUTHORS: van der Torre, LWN; Ramos, P; Fiadeiro, JL; Tan, YH;
PUBLISHED: 1999, SOURCE: 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
AUTHORS: van der Torre, LWN; Ramos, P; Fiadeiro, JL; Tan, YH;
PUBLISHED: 1999, SOURCE: 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
INDEXED IN: Scopus
Scopus59
TITLE: Preface
AUTHORS: Fiadeiro, JL;
PUBLISHED: 1999, SOURCE: 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
AUTHORS: Fiadeiro, JL;
PUBLISHED: 1999, SOURCE: 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
INDEXED IN: Scopus
Scopus60
TITLE: A computational tool that supports formal diagnosis of process design Full Text
AUTHORS: Ramos, P; Fiadeiro, JL;
PUBLISHED: 1998, SOURCE: INFORMATION AND SOFTWARE TECHNOLOGY, VOLUME: 40, ISSUE: 10
AUTHORS: Ramos, P; Fiadeiro, JL;
PUBLISHED: 1998, SOURCE: INFORMATION AND SOFTWARE TECHNOLOGY, VOLUME: 40, ISSUE: 10
