Search the dblp DataBase
José Luiz Fiadeiro :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
José Luiz Fiadeiro , Amílcar Sernadas Specification and Verification of Database Dynamics. [Citation Graph (6, 0)][DBLP ] Acta Inf., 1988, v:25, n:6, pp:625-661 [Journal ] José Luiz Fiadeiro , Cristina Sernadas , T. S. E. Maibaum , Gunter Saake Proof-Theoretic Semantics of Object-Oriented Specification Constructs. [Citation Graph (5, 0)][DBLP ] DS-4, 1990, pp:243-284 [Conf ] José Luiz Fiadeiro , Amílcar Sernadas The INFOLOG linear tense propositional logic of events and transactions. [Citation Graph (3, 0)][DBLP ] Inf. Syst., 1986, v:11, n:1, pp:61-85 [Journal ] José Luiz Fiadeiro , T. S. E. Maibaum Temporal reasoning over deontic specifications. [Citation Graph (2, 0)][DBLP ] J. Log. Comput., 1991, v:1, n:3, pp:357-395 [Journal ] José Luiz Fiadeiro , T. S. E. Maibaum Describing, Structuring and Implementing Objects. [Citation Graph (1, 0)][DBLP ] REX Workshop, 1990, pp:274-310 [Conf ] José Luiz Fiadeiro , Amílcar Sernadas Behavioural Aspects of Intelligent Knowledge-Based Information Systems. [Citation Graph (1, 0)][DBLP ] Temporal Aspects in Information Systems, 1987, pp:77-92 [Conf ] Cristina Sernadas , José Luiz Fiadeiro Towards object-oriented conceptual modeling. [Citation Graph (1, 0)][DBLP ] Data Knowl. Eng., 1991, v:6, n:, pp:479-508 [Journal ] José Luiz Fiadeiro , Antónia Lopes , Michel Wermelinger A Mathematical Semantics for Architectural Connectors. [Citation Graph (0, 0)][DBLP ] Generic Programming, 2003, pp:178-221 [Conf ] José Luiz Fiadeiro , Amílcar Sernadas Structuring Theories on Consequence. [Citation Graph (0, 0)][DBLP ] ADT, 1987, pp:44-72 [Conf ] Amílcar Sernadas , Cristina Sernadas , José Luiz Fiadeiro Algebraic Knowledge Representation: The Unification of Procedure, Logic and Structure. [Citation Graph (0, 0)][DBLP ] ADT, 1986, pp:- [Conf ] José Luiz Fiadeiro , Antónia Lopes , T. S. E. Maibaum Synthesising interconnections. [Citation Graph (0, 0)][DBLP ] Algorithmic Languages and Calculi, 1997, pp:240-264 [Conf ] José Luiz Fiadeiro Algebraic Support for Service-Oriented Architecture. [Citation Graph (0, 0)][DBLP ] AMAST, 2002, pp:75-82 [Conf ] José Luiz Fiadeiro On the Emergence of Properties in Component-Based Systems. [Citation Graph (0, 0)][DBLP ] AMAST, 1996, pp:421-443 [Conf ] José Luiz Fiadeiro , Antónia Lopes Algebraic Semantics of Coordination or What Is in a Signature. [Citation Graph (0, 0)][DBLP ] AMAST, 1998, pp:293-307 [Conf ] Antónia Lopes , José Luiz Fiadeiro Revisiting the Categorical Approach to Systems. [Citation Graph (0, 0)][DBLP ] AMAST, 2002, pp:426-440 [Conf ] Antónia Lopes , José Luiz Fiadeiro Preservation and Reflection in Specification. [Citation Graph (0, 0)][DBLP ] AMAST, 1997, pp:380-394 [Conf ] Luis Filipe Andrade , José Luiz Fiadeiro Coordination Technologies for Managing Information System Evolution. [Citation Graph (0, 0)][DBLP ] CAiSE, 2001, pp:374-387 [Conf ] Luis Filipe Andrade , José Luiz Fiadeiro , Antónia Lopes , Michel Wermelinger Coordination for Distributed Business Systems. [Citation Graph (0, 0)][DBLP ] CAiSE Workshops, 2003, pp:- [Conf ] Ana M. D. Moreira , José Luiz Fiadeiro , Luis Filipe Andrade Evolving Requirements through Coordination Contracts. [Citation Graph (0, 0)][DBLP ] CAiSE, 2003, pp:633-646 [Conf ] M. Arrais , José Luiz Fiadeiro Unifying Theories in Different Institutions. [Citation Graph (0, 0)][DBLP ] COMPASS/ADT, 1995, pp:81-101 [Conf ] José Luiz Fiadeiro , José Félix Costa Institutions for Behaviour Specification. [Citation Graph (0, 0)][DBLP ] COMPASS/ADT, 1994, pp:273-289 [Conf ] José Luiz Fiadeiro , José Félix Costa , Amílcar Sernadas , T. S. E. Maibaum Process Semantics of Temporal Logic Specifications. [Citation Graph (0, 0)][DBLP ] COMPASS/ADT, 1991, pp:236-253 [Conf ] Georg Reichwein , José Luiz Fiadeiro , Mechthild Rohen Declarative Semantics of Interoperable Data and Knowledge Bases. [Citation Graph (0, 0)][DBLP ] CoopIS, 1993, pp:291-299 [Conf ] Luis Filipe Andrade , José Luiz Fiadeiro , João Gouveia , Georgios Koutsoukos , Michel Wermelinger Coordination for Orchestration. [Citation Graph (0, 0)][DBLP ] COORDINATION, 2002, pp:5-13 [Conf ] Luis Filipe Andrade , José Luiz Fiadeiro , João Gouveia , Antónia Lopes , Michel Wermelinger Patterns for Coordination. [Citation Graph (0, 0)][DBLP ] COORDINATION, 2000, pp:317-322 [Conf ] Leonor Barroca , José Luiz Fiadeiro , Michael Jackson , Robin C. Laney , Bashar Nuseibeh Problem Frames: A Case for Coordination. [Citation Graph (0, 0)][DBLP ] COORDINATION, 2004, pp:5-19 [Conf ] I. Nunes , José Luiz Fiadeiro , Wladyslaw M. Turski Coordination Durative Actions. [Citation Graph (0, 0)][DBLP ] COORDINATION, 1997, pp:115-130 [Conf ] José Luiz Fiadeiro , Ugo Montanari , Martin Wirsing 05081 Abstracts Collection - Foundations of Global Computing. [Citation Graph (0, 0)][DBLP ] Foundations of Global Computing, 2005, pp:- [Conf ] Georgios Koutsoukos , João Gouveia , Luis Filipe Andrade , José Luiz Fiadeiro Managing Evolution in Telecommunication Systems. [Citation Graph (0, 0)][DBLP ] DAIS, 2001, pp:133-140 [Conf ] Rogério Carapuça , José Luiz Fiadeiro Varying Representation Schemata vs Fact Updating in KB Management. [Citation Graph (0, 0)][DBLP ] DS-2, 1986, pp:71-87 [Conf ] Cristina Sernadas , José Luiz Fiadeiro , Amílcar Sernadas Object-Oriented Conceptual Modeling from Law. [Citation Graph (0, 0)][DBLP ] DS-3, 1988, pp:305-327 [Conf ] José Luiz Fiadeiro An Architectural Approach to Fault Treatment in Critical Infrastructures. [Citation Graph (0, 0)][DBLP ] EDCC, 2002, pp:86-87 [Conf ] Georg Reichwein , José Luiz Fiadeiro Semantics of Interworking Knowledge Based Systems. [Citation Graph (0, 0)][DBLP ] EPIA, 1993, pp:93-104 [Conf ] Michel Wermelinger , José Luiz Fiadeiro Algebraic Software Architecture Reconfiguration. [Citation Graph (0, 0)][DBLP ] ESEC / SIGSOFT FSE, 1999, pp:393-409 [Conf ] Antónia Lopes , José Luiz Fiadeiro Context-Awareness in Software Architectures. [Citation Graph (0, 0)][DBLP ] EWSA, 2005, pp:146-161 [Conf ] José Luiz Fiadeiro , Antónia Lopes A Formal Approach to Event-Based Architectures. [Citation Graph (0, 0)][DBLP ] FASE, 2006, pp:18-32 [Conf ] João Gouveia , Georgios Koutsoukos , Michel Wermelinger , Luis Filipe Andrade , José Luiz Fiadeiro The Coordination Development Environment. [Citation Graph (0, 0)][DBLP ] FASE, 2002, pp:323-326 [Conf ] Antónia Lopes , José Luiz Fiadeiro Using Explicit State to Describe Architechtures. [Citation Graph (0, 0)][DBLP ] FASE, 1999, pp:144-160 [Conf ] Kevin Lano , Juan Bicarregui , José Luiz Fiadeiro , Antónia Lopes Specification of Required Non-determinism. [Citation Graph (0, 0)][DBLP ] FME, 1997, pp:298-317 [Conf ] José Luiz Fiadeiro , Antónia Lopes CommUnity on the Move: Architectures for Distribution and Mobility. [Citation Graph (0, 0)][DBLP ] FMCO, 2003, pp:177-196 [Conf ] José Luiz Fiadeiro Separating Distribution from Coordination and Computation as Architectural Dimensions. [Citation Graph (0, 0)][DBLP ] FMOODS, 2006, pp:17- [Conf ] José Luiz Fiadeiro , Amílcar Sernadas , Cristina Sernadas Knowledgebases as Structured Theories. [Citation Graph (0, 0)][DBLP ] FSTTCS, 1988, pp:469-486 [Conf ] Luis Filipe Andrade , José Luiz Fiadeiro An Architectural Approach to Auto-Adaptive Systems. [Citation Graph (0, 0)][DBLP ] ICDCS Workshops, 2002, pp:439-444 [Conf ] Luis Filipe Andrade , José Luiz Fiadeiro Coordination Architecture for Evolvable Event-Based Systems. [Citation Graph (0, 0)][DBLP ] ICDCS Workshops, 2002, pp:571-572 [Conf ] João Gouveia , Georgios Koutsoukos , Michel Wermelinger , Luis Filipe Andrade , José Luiz Fiadeiro Coordination contracts for Java applications. [Citation Graph (0, 0)][DBLP ] ICSE, 2002, pp:714- [Conf ] Michel Wermelinger , Georgios Koutsoukos , Hugo Lourenço , Richard Avillez , João Gouveia , Luis Filipe Andrade , José Luiz Fiadeiro Enhancing Dependability Through Flexible Adaptation to Changing Requirements. [Citation Graph (0, 0)][DBLP ] WADS, 2003, pp:3-24 [Conf ] José Luiz Fiadeiro Software Services: Scientific Challenge or Industrial Hype?. [Citation Graph (0, 0)][DBLP ] ICTAC, 2004, pp:1-13 [Conf ] José Luiz Fiadeiro , T. S. E. Maibaum Sometimes "Tomorrow" is "Sometime" - Action Refinement in a Temporal Logic of Objects. [Citation Graph (0, 0)][DBLP ] ICTL, 1994, pp:48-66 [Conf ] Roberto Bruni , José Luiz Fiadeiro , Ivan Lanese , Antónia Lopes , Ugo Montanari New Insights on Architectural Connectors. [Citation Graph (0, 0)][DBLP ] IFIP TCS, 2004, pp:367-380 [Conf ] José Luiz Fiadeiro , T. S. E. Maibaum Generalising Interpretations between Theories in the context of (pi-) Institutions. [Citation Graph (0, 0)][DBLP ] Theory and Formal Methods, 1993, pp:126-147 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] IWPSE, 2003, pp:115-120 [Conf ] Michel Wermelinger , Antónia Lopes , José Luiz Fiadeiro Superposing Connectors. [Citation Graph (0, 0)][DBLP ] IWSSD, 2000, pp:87-94 [Conf ] Luis Filipe Andrade , José Luiz Fiadeiro , Michel Wermelinger Enforcing Business Policies Through Automated Reconfiguration. [Citation Graph (0, 0)][DBLP ] ASE, 2001, pp:426-0 [Conf ] Leendert W. N. van der Torre , Pedro Ramos , José Luiz Fiadeiro , Yao-Hua Tan The Role of Diagnosis and Decision Theory in Normative Reasoning. [Citation Graph (0, 0)][DBLP ] ModelAge Workshop, 1997, pp:216-239 [Conf ] Luis Filipe Andrade , José Luiz Fiadeiro Architecture Based Evolution of Software Systems. [Citation Graph (0, 0)][DBLP ] SFM, 2003, pp:148-181 [Conf ] José Luiz Fiadeiro , T. S. E. Maibaum Interconnecting Formalisms: Supporting Modularity, Reuse and Incrementality. [Citation Graph (0, 0)][DBLP ] SIGSOFT FSE, 1995, pp:72-80 [Conf ] Antónia Lopes , José Luiz Fiadeiro , Michel Wermelinger Architectural primitives for distribution and mobility. [Citation Graph (0, 0)][DBLP ] SIGSOFT FSE, 2002, pp:41-50 [Conf ] Michel Wermelinger , Antónia Lopes , José Luiz Fiadeiro A graph based architectural (Re)configuration language. [Citation Graph (0, 0)][DBLP ] ESEC / SIGSOFT FSE, 2001, pp:21-32 [Conf ] Carlos Paredes , José Luiz Fiadeiro Reuse of Requirements and Specifications: A Formal Framework. [Citation Graph (0, 0)][DBLP ] SSR, 1995, pp:263-266 [Conf ] Mark Ryan , José Luiz Fiadeiro , T. S. E. Maibaum Sharing Actions and Attributes in Modal Action Logic. [Citation Graph (0, 0)][DBLP ] TACS, 1991, pp:569-593 [Conf ] José Luiz Fiadeiro , Antónia Lopes Semantics of Architectural Connectors. [Citation Graph (0, 0)][DBLP ] TAPSOFT, 1997, pp:505-519 [Conf ] Amílcar Sernadas , José Luiz Fiadeiro , Cristina Sernadas , Hans-Dieter Ehrich Abstract Object Types: A Temporal Perspective. [Citation Graph (0, 0)][DBLP ] Temporal Logic in Specification, 1987, pp:324-350 [Conf ] Luis Filipe Andrade , José Luiz Fiadeiro Interconnecting Objects Via Contracts. [Citation Graph (0, 0)][DBLP ] UML, 1999, pp:566-583 [Conf ] José Luiz Fiadeiro Coordination Technologies for Just-in-Time Integration. [Citation Graph (0, 0)][DBLP ] 10th Anniversary Colloquium of UNU/IIST, 2002, pp:308-321 [Conf ] Ahmed Al-Ghamdi , José Luiz Fiadeiro Architectural Handling of Management Concerns in Service-Driven Business Processes. [Citation Graph (0, 0)][DBLP ] MSVVEIS, 2006, pp:111-120 [Conf ] Antónia Lopes , José Luiz Fiadeiro Algebraic Semantics of Design Abstractions for Context-Awareness. [Citation Graph (0, 0)][DBLP ] WADT, 2004, pp:79-93 [Conf ] Antónia Lopes , José Luiz Fiadeiro On How Distribution and Mobility Interfere with Coordination. [Citation Graph (0, 0)][DBLP ] WADT, 2002, pp:343-358 [Conf ] Antónia Lopes , Michel Wermelinger , José Luiz Fiadeiro A Compositional Approach to Connector Construction. [Citation Graph (0, 0)][DBLP ] WADT, 2001, pp:201-220 [Conf ] Luis Filipe Andrade , Paolo Baldan , Hubert Baumeister , Roberto Bruni , Andrea Corradini , Rocco De Nicola , José Luiz Fiadeiro , Fabio Gadducci , Stefania Gnesi , Piotr Hoffman , Nora Koch , Piotr Kosiuczenko , Alessandro Lapadula , Diego Latella , Antónia Lopes , Michele Loreti , Mieke Massink , Franco Mazzanti , Ugo Montanari , Cristóvão Oliveira , Rosario Pugliese , Andrzej Tarlecki , Michel Wermelinger , Martin Wirsing , Artur Zawlocki AGILE: Software Architecture for Mobility. [Citation Graph (0, 0)][DBLP ] WADT, 2002, pp:1-33 [Conf ] José Luiz Fiadeiro , T. S. E. Maibaum , Narciso Martí-Oliet , José Meseguer , Isabel Pita Towards a Verification Logic for Rewriting Logic. [Citation Graph (0, 0)][DBLP ] WADT, 1999, pp:438-458 [Conf ] Nasreddine Aoumeur , José Luiz Fiadeiro , Cristóvão Oliveira Towards an Architectural Approach to Location-Aware Business Processes. [Citation Graph (0, 0)][DBLP ] WETICE, 2004, pp:147-152 [Conf ] Cristóvão Oliveira , Michel Wermelinger , José Luiz Fiadeiro , Antónia Lopes An Architectural Approach to Mobility - The Handover Case Study. [Citation Graph (0, 0)][DBLP ] WICSA, 2004, pp:305-310 [Conf ] Rogério de Lemos , José Luiz Fiadeiro An architectural support for self-adaptive software for treating faults. [Citation Graph (0, 0)][DBLP ] WOSS, 2002, pp:39-42 [Conf ] José Luiz Fiadeiro , Antónia Lopes , Laura Bocchi A Formal Approach to Service Component Architecture. [Citation Graph (0, 0)][DBLP ] WS-FM, 2006, pp:193-213 [Conf ] José Luiz Fiadeiro , Luis Filipe Andrade Interconnecting Objects via Contracts. [Citation Graph (0, 0)][DBLP ] TOOLS (38), 2001, pp:182-183 [Conf ] Luis Filipe Andrade , José Luiz Fiadeiro Coordination: The Evolutionary Dimension. [Citation Graph (0, 0)][DBLP ] TOOLS (38), 2001, pp:136-147 [Conf ] João Gouveia , Georgios Koutsoukos , Luis Filipe Andrade , José Luiz Fiadeiro Tool Support for Coordination-Based Software Evolution. [Citation Graph (0, 0)][DBLP ] TOOLS (38), 2001, pp:184-196 [Conf ] Antónia Lopes , José Luiz Fiadeiro Superposition: Composition vs refinement of non-deterministic action-based systems. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2002, v:70, n:3, pp:- [Journal ] Antónia Lopes , José Luiz Fiadeiro Adding Mobility to Software Architectures. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2004, v:97, n:, pp:241-258 [Journal ] Cristóvão Oliveira , Michel Wermelinger , José Luiz Fiadeiro , Antónia Lopes Modelling the GSM Handover Protocol in CommUnity. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2005, v:141, n:3, pp:3-25 [Journal ] José Luiz Fiadeiro , T. S. E. Maibaum Temporal Theories as Modularisation Units for Concurrent System Specification. [Citation Graph (0, 0)][DBLP ] Formal Asp. Comput., 1992, v:4, n:3, pp:239-272 [Journal ] Antónia Lopes , José Luiz Fiadeiro Superposition: composition vs refinement of non-deterministic, action-based systems. [Citation Graph (0, 0)][DBLP ] Formal Asp. Comput., 2004, v:16, n:1, pp:5-18 [Journal ] Pedro Ramos , José Luiz Fiadeiro A computational tool that supports formal diagnosis of process design. [Citation Graph (0, 0)][DBLP ] Information & Software Technology, 1998, v:40, n:10, pp:555-565 [Journal ] José Luiz Fiadeiro , Jan Madey , Andrzej Tarlecki Foreword. [Citation Graph (0, 0)][DBLP ] Inf. Process. Lett., 2003, v:88, n:1-2, pp:1-2 [Journal ] Georg Reichwein , José Luiz Fiadeiro Models for the Substitution Axiom of UNITY Logic. [Citation Graph (0, 0)][DBLP ] Inf. Process. Lett., 1993, v:48, n:4, pp:171-176 [Journal ] Paulo A. S. Veloso , José Luiz Fiadeiro , Sheila R. M. Veloso On local modularity and interpolation in entailment systems. [Citation Graph (0, 0)][DBLP ] Inf. Process. Lett., 2002, v:82, n:4, pp:203-211 [Journal ] Luis Filipe Andrade , José Luiz Fiadeiro Agility through coordination. [Citation Graph (0, 0)][DBLP ] Inf. Syst., 2002, v:27, n:6, pp:411-424 [Journal ] Cristina Sernadas , José Luiz Fiadeiro , Amílcar Sernadas Modular construction of logic knowledge bases: an algebraic approach. [Citation Graph (0, 0)][DBLP ] Inf. Syst., 1990, v:15, n:1, pp:37-59 [Journal ] Sheila R. M. Veloso , Paulo A. S. Veloso , José Luiz Fiadeiro Labeled Families in Modular Software Development. [Citation Graph (0, 0)][DBLP ] J. Braz. Comp. Soc., 1998, v:5, n:1, pp:- [Journal ] Luis Filipe Andrade , José Luiz Fiadeiro Composition Contracts for Service Interaction. [Citation Graph (0, 0)][DBLP ] J. UCS, 2004, v:10, n:4, pp:375-390 [Journal ] José Luiz Fiadeiro , Amílcar Sernadas Logics of Modal Terms for Systems Specification. [Citation Graph (0, 0)][DBLP ] J. Log. Comput., 1990, v:1, n:2, pp:187-227 [Journal ] Narciso Martí-Oliet , Isabel Pita , José Luiz Fiadeiro , José Meseguer , T. S. E. Maibaum A Verification Logic for Rewriting Logic. [Citation Graph (0, 0)][DBLP ] J. Log. Comput., 2005, v:15, n:3, pp:317-352 [Journal ] Jean Paul Bahsoun , José Luiz Fiadeiro , Didier Galmiche Foreword. [Citation Graph (0, 0)][DBLP ] Mathematical Structures in Computer Science, 1999, v:9, n:3, pp:225-226 [Journal ] José Luiz Fiadeiro , José Félix Costa Mirror, Mirror in my Hand: A Duality between Specifications and Models of Process Behaviour. [Citation Graph (0, 0)][DBLP ] Mathematical Structures in Computer Science, 1996, v:6, n:4, pp:353-373 [Journal ] José Luiz Fiadeiro , T. S. E. Maibaum Categorical Semantics of Parallel Program Design. [Citation Graph (0, 0)][DBLP ] Sci. Comput. Program., 1997, v:28, n:2-3, pp:111-138 [Journal ] Antónia Lopes , José Luiz Fiadeiro Adding mobility to software architectures. [Citation Graph (0, 0)][DBLP ] Sci. Comput. Program., 2006, v:61, n:2, pp:114-135 [Journal ] Michel Wermelinger , José Luiz Fiadeiro A graph transformation approach to software architecture reconfiguration. [Citation Graph (0, 0)][DBLP ] Sci. Comput. Program., 2002, v:44, n:2, pp:133-155 [Journal ] Luis Filipe Andrade , José Luiz Fiadeiro , João Gouveia , Georgios Koutsoukos Separating computation, coordination and configuration. [Citation Graph (0, 0)][DBLP ] Journal of Software Maintenance, 2002, v:14, n:5, pp:353-369 [Journal ] José Luiz Fiadeiro Preface. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2002, v:286, n:2, pp:151- [Journal ] José Luiz Fiadeiro , Jan J. M. M. Rutten Preface. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2006, v:366, n:1-2, pp:1-2 [Journal ] Antónia Lopes , Michel Wermelinger , José Luiz Fiadeiro High-order architectural connectors. [Citation Graph (0, 0)][DBLP ] ACM Trans. Softw. Eng. Methodol., 2003, v:12, n:1, pp:64-104 [Journal ] Michel Wermelinger , José Luiz Fiadeiro Connectors for Mobile Programs. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1998, v:24, n:5, pp:331-341 [Journal ] José Luiz Fiadeiro , Vincent Schmitt Structured Co-spans: An Algebra of Interaction Protocols. [Citation Graph (0, 0)][DBLP ] CALCO, 2007, pp:194-208 [Conf ] João Abreu , Laura Bocchi , José Luiz Fiadeiro , Antónia Lopes Specifying and Composing Interaction Protocols for Service-Oriented System Modelling. [Citation Graph (0, 0)][DBLP ] FORTE, 2007, pp:358-373 [Conf ] José Luiz Fiadeiro Physiological vs. Social Complexity in Software Design. [Citation Graph (0, 0)][DBLP ] ICECCS, 2006, pp:3- [Conf ] José Luiz Fiadeiro , Antónia Lopes , Laura Bocchi Algebraic Semantics of Service Component Modules. [Citation Graph (0, 0)][DBLP ] WADT, 2006, pp:37-55 [Conf ] Osama El-Hassan , José Luiz Fiadeiro Role-based Architectural Modelling of Socio-Technical Systems. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2007, v:181, n:, pp:5-17 [Journal ] What Do Semantics Matter When the Meat Is Overcooked?. [Citation Graph (, )][DBLP ] Managing Socio-technical Interactions in Healthcare Systems. [Citation Graph (, )][DBLP ] Service-Oriented Modelling of Automotive Systems. [Citation Graph (, )][DBLP ] A Coordination Model for Service-Oriented Interactions. [Citation Graph (, )][DBLP ] Feature Modeling and Composition with Coordination Contracts. [Citation Graph (, )][DBLP ] A Model-Checking Approach for Service Component Architectures. [Citation Graph (, )][DBLP ] A Use-Case Driven Approach to Formal Service-Oriented Modelling. [Citation Graph (, )][DBLP ] From BPEL to SRML: A Formal Transformational Approach. [Citation Graph (, )][DBLP ] A Model for Dynamic Reconfiguration in Service-Oriented Architectures. [Citation Graph (, )][DBLP ] Designing for Software's Social Complexity. [Citation Graph (, )][DBLP ] Guest Editors' Introduction: Evolving Critical Systems. [Citation Graph (, )][DBLP ] Structure and Behaviour of Virtual Organisation Breeding Environments [Citation Graph (, )][DBLP ] Business process management. [Citation Graph (, )][DBLP ] From Architectural to Behavioural Specification of Services. [Citation Graph (, )][DBLP ] Search in 0.006secs, Finished in 0.604secs