51
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
INDEXADO EM: Scopus
52
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
INDEXADO EM: WOS
53
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
INDEXADO EM: Scopus WOS CrossRef: 2
54
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
INDEXADO EM: WOS
55
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
INDEXADO EM: Scopus WOS
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: 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
57
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
INDEXADO EM: Scopus
58
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
INDEXADO EM: Scopus WOS CrossRef: 1
59
TÍTULO: Connectors for mobile programs  Full Text
AUTORES: Wermelinger, M; Fiadeiro, JL;
PUBLICAÇÃO: 1998, FONTE: IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOLUME: 24, NÚMERO: 5
INDEXADO EM: Scopus WOS CrossRef
60
TÍTULO: Towards an algebra of architectural connectors: a case study on synchronization for mobility
AUTORES: Wermelinger, M; Fiadeiro, JL;
PUBLICAÇÃO: 1998, FONTE: 9th International Workshop on Software Specification and Design in NINTH INTERNATIONAL WORKSHOP ON SOFTWARE SPECIFICATION AND DESIGN, PROCEEDINGS
INDEXADO EM: WOS
Página 6 de 7. Total de resultados: 70.