| |
 |      |
                                              |
Note: Links lead to the DBLP on the Web. José Luiz Fiadeiro Ana M. D. Moreira , José Luiz Fiadeiro, Luis Filipe Andrade : Evolving Requirements through Coordination Contracts. CAiSE 2003 : 633-646 Luis Filipe Andrade , José Luiz Fiadeiro, Antónia Lopes , Michel Wermelinger : Coordination for Distributed Business Systems. CAiSE Workshops 2003 José Luiz Fiadeiro, Antónia Lopes , Michel Wermelinger : A Mathematical Semantics for Architectural Connectors. Generic Programming 2003 : 178-221 Michel Wermelinger , Georgios Koutsoukos , Richard Avillez , João Gouveia , Luis Filipe Andrade , José Luiz Fiadeiro: Using Coordination Contracts for Flexible Adaptation to Changing Business Rules. IWPSE 2003 : 115-120 Luis Filipe Andrade , José Luiz Fiadeiro: Architecture Based Evolution of Software Systems. SFM 2003 : 148-181 Antónia Lopes , Michel Wermelinger , José Luiz Fiadeiro: High-order architectural connectors. ACM Trans. Softw. Eng. Methodol. 12 (1): 64-104 (2003) José Luiz Fiadeiro, Jan Madey , Andrzej Tarlecki : Foreword. Inf. Process. Lett. 88 (1-2): 1-2 (2003) José Luiz Fiadeiro: Coordination Technologies for Just-in-Time Integration. 10th Anniversary Colloquium of UNU/IIST 2002 : 308-321 Antónia Lopes , José Luiz Fiadeiro: Revisiting the Categorical Approach to Systems. AMAST 2002 : 426-440 José Luiz Fiadeiro: Algebraic Support for Service-Oriented Architecture. AMAST 2002 : 75-82 Luis Filipe Andrade , José Luiz Fiadeiro, João Gouveia , Georgios Koutsoukos , Michel Wermelinger : Coordination for Orchestration. COORDINATION 2002 : 5-13 José Luiz Fiadeiro: An Architectural Approach to Fault Treatment in Critical Infrastructures. EDCC 2002 : 86-87 João Gouveia , Georgios Koutsoukos , Michel Wermelinger , Luis Filipe Andrade , José Luiz Fiadeiro: The Coordination Development Environment. FASE 2002 : 323-326 Luis Filipe Andrade , José Luiz Fiadeiro: An Architectural Approach to Auto-Adaptive Systems. ICDCS Workshops 2002 : 439-444 Luis Filipe Andrade , José Luiz Fiadeiro: Coordination Architecture for Evolvable Event-Based Systems. ICDCS Workshops 2002 : 571-572 João Gouveia , Georgios Koutsoukos , Michel Wermelinger , Luis Filipe Andrade , José Luiz Fiadeiro: Coordination contracts for Java applications. ICSE 2002 : 714 Antónia Lopes , José Luiz Fiadeiro, Michel Wermelinger : Architectural primitives for distribution and mobility. SIGSOFT FSE 2002 : 41-50 Luis Filipe Andrade , Paolo Baldan , Hubert Baumeister , Roberto Bruni , Andrea Corradini , Rocco De Nicola , José Luiz Fiadeiro, Fabio Gadducci , Stefania Gnesi , P. Hoffman , Nora Koch , Piotr Kosiuczenko , A. Lapadula , Diego Latella , Antónia Lopes , Michele Loreti , Mieke Massink , Franco Mazzanti , Ugo Montanari , C. Oliveira , Rosario Pugliese , Andrzej Tarlecki , Michel Wermelinger , Martin Wirsing , A. Zawlocki : AGILE: Software Architecture for Mobility. WADT 2002 : 1-33 Antónia Lopes , José Luiz Fiadeiro: On How Distribution and Mobility Interfere with Coordination. WADT 2002 : 343-358 Rogério de Lemos , José Luiz Fiadeiro: An architectural support for self-adaptive software for treating faults. WOSS 2002 : 39-42 Antónia Lopes , José Luiz Fiadeiro: Superposition: Composition vs refinement of non-deterministic action-based systems. Electr. Notes Theor. Comput. Sci. 70 (3): (2002) Paulo A. S. Veloso , José Luiz Fiadeiro, Sheila R. M. Veloso : On local modularity and interpolation in entailment systems. Inf. Process. Lett. 82 (4): 203-211 (2002) Luis Filipe Andrade , José Luiz Fiadeiro: Agility through coordination. Inf. Syst. 27 (6): 411-424 (2002) Luis Filipe Andrade , José Luiz Fiadeiro, João Gouveia , Georgios Koutsoukos : Separating computation, coordination and configuration. Journal of Software Maintenance 14 (5): 353-369 (2002) Michel Wermelinger , José Luiz Fiadeiro: A graph transformation approach to software architecture reconfiguration. Sci. Comput. Program. 44 (2): 133-155 (2002) José Luiz Fiadeiro: Preface. Theor. Comput. Sci. 286 (2): 151 (2002) Luis Filipe Andrade , José Luiz Fiadeiro, Michel Wermelinger : Enforcing Business Policies Through Automated Reconfiguration. ASE 2001 : 426- Luis Filipe Andrade , José Luiz Fiadeiro: Coordination Technologies for Managing Information System Evolution. CAiSE 2001 : 374-387 Georgios Koutsoukos , João Gouveia , Luis Filipe Andrade , José Luiz Fiadeiro: Managing Evolution in Telecommunication Systems. DAIS 2001 : 133-140 Michel Wermelinger , Antónia Lopes , José Luiz Fiadeiro: A graph based architectural (Re)configuration language. ESEC / SIGSOFT FSE 2001 : 21-32 Antónia Lopes , Michel Wermelinger , José Luiz Fiadeiro: A Compositional Approach to Connector Construction. WADT 2001 : 201-220 Luis Filipe Andrade , José Luiz Fiadeiro, João Gouveia , Antónia Lopes , Michel Wermelinger : Patterns for Coordination. COORDINATION 2000 : 317-322 José Luiz Fiadeiro: Recent Trends in Algebraic Development Techniques, 13th International Workshop, WADT '98, Lisbon, Portugal, April 2-4, 1998, Selected Papers Springer 1999 Michel Wermelinger , José Luiz Fiadeiro: Algebraic Software Architecture Reconfiguration. ESEC / SIGSOFT FSE 1999 : 393-409 Antónia Lopes , José Luiz Fiadeiro: Using Explicit State to Describe Architechtures. FASE 1999 : 144-160 Luis Filipe Andrade , José Luiz Fiadeiro: Interconnecting Objects Via Contracts. UML 1999 : 566-583 José Luiz Fiadeiro, T. S. E. Maibaum , Narciso Martí-Oliet , José Meseguer , Isabel Pita : Towards a Verification Logic for Rewriting Logic. WADT 1999 : 438-458 Jean Paul Bahsoun , José Luiz Fiadeiro, Didier Galmiche : Foreword. Mathematical Structures in Computer Science 9 (3): 225-226 (1999) José Luiz Fiadeiro, Antónia Lopes : Algebraic Semantics of Coordination or What Is in a Signature. AMAST 1998 : 293-307 Michel Wermelinger , José Luiz Fiadeiro: Connectors for Mobile Programs. IEEE Trans. Software Eng. 24 (5): 331-341 (1998) Sheila R. M. Veloso , Paulo A. S. Veloso , José Luiz Fiadeiro: Labeled Families in Modular Software Development. J. Braz. Comp. Soc. 5 (1): (1998) Antónia Lopes , José Luiz Fiadeiro: Preservation and Reflection in Specification. AMAST 1997 : 380-394 José Luiz Fiadeiro, Antónia Lopes , T. S. E. Maibaum : Synthesising interconnections. Algorithmic Languages and Calculi 1997 : 240-264 I. Nunes , José Luiz Fiadeiro, Wladyslaw M. Turski : Coordination Durative Actions. COORDINATION 1997 : 115-130 Kevin Lano , Juan Bicarregui , José Luiz Fiadeiro, Antónia Lopes : Specification of Required Non-determinism. FME 1997 : 298-317 Leendert W. N. van der Torre , Pedro Ramos , José Luiz Fiadeiro, Yao-Hua Tan : The Role of Diagnosis and Decision Theory in Normative Reasoning. ModelAge Workshop 1997 : 216-239 José Luiz Fiadeiro, Antónia Lopes : Semantics of Architectural Connectors. TAPSOFT 1997 : 505-519 José Luiz Fiadeiro, T. S. E. Maibaum : Categorical Semantics of Parallel Program Design. Sci. Comput. Program. 28 (2-3): 111-138 (1997) José Luiz Fiadeiro: On the Emergence of Properties in Component-Based Systems. AMAST 1996 : 421-443 José Luiz Fiadeiro, José Félix Costa : Mirror, Mirror in my Hand: A Duality between Specifications and Models of Process Behaviour. Mathematical Structures in Computer Science 6 (4): 353-373 (1996) M. Arrais , José Luiz Fiadeiro: Unifying Theories in Different Institutions. COMPASS/ADT 1995 : 81-101 José Luiz Fiadeiro, T. S. E. Maibaum : Interconnecting Formalisms: Supporting Modularity, Reuse and Incrementality. SIGSOFT FSE 1995 : 72-80 Carlos Paredes , José Luiz Fiadeiro: Reuse of Requirements and Specifications: A Formal Framework. SSR 1995 : 263-266 José Luiz Fiadeiro, José Félix Costa : Institutions for Behaviour Specification. COMPASS/ADT 1994 : 273-289 José Luiz Fiadeiro, T. S. E. Maibaum : Sometimes "Tomorrow" is "Sometime" - Action Refinement in a Temporal Logic of Objects. ICTL 1994 : 48-66 Georg Reichwein , José Luiz Fiadeiro, Mechthild Rohen : Declarative Semantics of Interoperable Data and Knowledge Bases. CoopIS 1993 : 291-299 Georg Reichwein , José Luiz Fiadeiro: Semantics of Interworking Knowledge Based Systems. EPIA 1993 : 93-104 José Luiz Fiadeiro, T. S. E. Maibaum : Generalising Interpretations between Theories in the context of (pi-) Institutions. Theory and Formal Methods 1993 : 126-147 Georg Reichwein , José Luiz Fiadeiro: Models for the Substitution Axiom of UNITY Logic. Inf. Process. Lett. 48 (4): 171-176 (1993) José Luiz Fiadeiro, T. S. E. Maibaum : Temporal Theories as Modularisation Units for Concurrent System Specification. Formal Asp. Comput. 4 (3): 239-272 (1992) José Luiz Fiadeiro, José Félix Costa , Amílcar Sernadas , T. S. E. Maibaum : Process Semantics of Temporal Logic Specifications. COMPASS/ADT 1991 : 236-253 Mark Ryan , José Luiz Fiadeiro, T. S. E. Maibaum : Sharing Actions and Attributes in Modal Action Logic. TACS 1991 : 569-593 Cristina Sernadas , José Luiz Fiadeiro: Towards object-oriented conceptual modeling. Data Knowl. Eng. 6 : 479-508 (1991) José Luiz Fiadeiro, T. S. E. Maibaum : Temporal reasoning over deontic specifications. J. Log. Comput. 1 (3): 357-395 (1991) José Luiz Fiadeiro, Cristina Sernadas , T. S. E. Maibaum , Gunter Saake : Proof-Theoretic Semantics of Object-Oriented Specification Constructs. DS-4 1990 : 243-284 José Luiz Fiadeiro, T. S. E. Maibaum : Describing, Structuring and Implementing Objects. REX Workshop 1990 : 274-310 Cristina Sernadas , José Luiz Fiadeiro, Amílcar Sernadas : Modular construction of logic knowledge bases: an algebraic approach. Inf. Syst. 15 (1): 37-59 (1990) José Luiz Fiadeiro, Amílcar Sernadas : Logics of Modal Terms for Systems Specification. J. Log. Comput. 1 (2): 187-227 (1990) Cristina Sernadas , José Luiz Fiadeiro, Amílcar Sernadas : Object-Oriented Conceptual Modeling from Law. DS-3 1988 : 305-327 José Luiz Fiadeiro, Amílcar Sernadas , Cristina Sernadas : Knowledgebases as Structured Theories. FSTTCS 1988 : 469-486 José Luiz Fiadeiro, Amílcar Sernadas : Specification and Verification of Database Dynamics. Acta Inf. 25 (6): 625-661 (1988) José Luiz Fiadeiro, Amílcar Sernadas : Structuring Theories on Consequence. ADT 1987 : 44-72 José Luiz Fiadeiro, Amílcar Sernadas : Behavioural Aspects of Intelligent Knowledge-Based Information Systems. Temporal Aspects in Information Systems 1987 : 77-92 Amílcar Sernadas , José Luiz Fiadeiro, Cristina Sernadas , Hans-Dieter Ehrich : Abstract Object Types: A Temporal Perspective. Temporal Logic in Specification 1987 : 324-350 Amílcar Sernadas , Cristina Sernadas , José Luiz Fiadeiro: Algebraic Knowledge Representation: The Unification of Procedure, Logic and Structure. ADT 1986 Rogério Carapuça , José Luiz Fiadeiro: Varying Representation Schemata vs Fact Updating in KB Management. DS-2 1986 : 71-87 José Luiz Fiadeiro, Amílcar Sernadas : The INFOLOG linear tense propositional logic of events and transactions. Inf. Syst. 11 (1): 61-85 (1986) 1 [ 42 ] [ 46 ] [ 49 ] [ 50 ] [ 51 ] [ 54 ] [ 55 ] [ 60 ] [ 62 ] [ 63 ] [ 64 ] [ 65 ] [ 67 ] [ 73 ] [ 74 ] [ 76 ] [ 77 ] 2 [ 27 ] 3 [ 74 ] 4 [ 40 ] 5 [ 60 ] 6 [ 60 ] 7 [ 33 ] 8 [ 60 ] 9 [ 2 ] 10 [ 60 ] 11 [ 17 ] [ 24 ] [ 28 ] 12 [ 4 ] 13 [ 60 ] 14 [ 40 ] 15 [ 60 ] 16 [ 46 ] [ 49 ] [ 54 ] [ 62 ] [ 65 ] [ 67 ] [ 74 ] 17 [ 60 ] 18 [ 60 ] 19 [ 60 ] 20 [ 49 ] [ 54 ] [ 62 ] [ 65 ] [ 67 ] [ 74 ] 21 [ 33 ] 22 [ 60 ] 23 [ 60 ] 24 [ 58 ] 25 [ 31 ] [ 33 ] [ 35 ] [ 36 ] [ 39 ] [ 43 ] [ 46 ] [ 47 ] [ 48 ] [ 57 ] [ 59 ] [ 60 ] [ 61 ] [ 69 ] [ 72 ] [ 75 ] [ 76 ] 26 [ 60 ] 27 [ 71 ] 28 [ 12 ] [ 13 ] [ 14 ] [ 16 ] [ 17 ] [ 18 ] [ 20 ] [ 23 ] [ 26 ] [ 30 ] [ 35 ] [ 41 ] 29 [ 41 ] 30 [ 60 ] 31 [ 60 ] 32 [ 41 ] 33 [ 60 ] 34 [ 77 ] 35 [ 60 ] 36 [ 34 ] 37 [ 60 ] 38 [ 25 ] 39 [ 41 ] 40 [ 60 ] 41 [ 32 ] 42 [ 19 ] [ 21 ] [ 22 ] 43 [ 22 ] 44 [ 16 ] 45 [ 13 ] 46 [ 1 ] [ 3 ] [ 4 ] [ 5 ] [ 6 ] [ 7 ] [ 8 ] [ 9 ] [ 10 ] [ 11 ] [ 17 ] 47 [ 3 ] [ 4 ] [ 8 ] [ 9 ] [ 11 ] [ 13 ] [ 15 ] 48 [ 32 ] 49 [ 60 ] [ 71 ] 50 [ 32 ] 51 [ 34 ] 52 [ 37 ] [ 56 ] 53 [ 37 ] [ 56 ] 54 [ 38 ] [ 44 ] [ 46 ] [ 47 ] [ 48 ] [ 51 ] [ 53 ] [ 60 ] [ 61 ] [ 62 ] [ 65 ] [ 67 ] [ 72 ] [ 74 ] [ 75 ] [ 76 ] 55 [ 60 ] 56 [ 60 ]  ©2004 Association for Computing Machinery |
