Electronic Notes in Theoretical Computer Science, Volume 108

Volume 108, December 2004

• Juliana Küster Filipe, Iman Poernomo, Ralf Reussner, Sandeep K. Shukla:
  Preface. 1-2
  
• Manfred Broy:
  Time, Abstraction, Causality and Modularity in Interactive Systems: Extended Abstract. 3-9
  
• Constance L. Heitmeyer:
  Managing Complexity in Software Development with Formally Based Tools. 11-19
  
• Arnab Ray, Rance Cleaveland:
  Formal Modeling Of Middleware-based Distributed Systems. 21-37
  
• Nelson S. Rosa, Paulo Roberto Freire Cunha:
  A Software Architecture-Based Approach for Formalising Middleware Behaviour. 39-51
  
• Hartmut Ehrig, Julia Padberg, Benjamin Braatz, Markus Klein, Fernando Orejas, Sonia Pérez, Elvira Pino:
  A Generic Framework for Connector Architectures based on Components and Transformations. 53-67
  
• Nazareno Aguirre, T. S. E. Maibaum:
  Hierarchical Temporal Specifications of Dynamically Reconfigurable Component Based Systems. 69-81
  
• Sotiris Moschoyiannis:
  Generating Snapshots of a Component Setting. 83-98
  
• Edgar G. Daylight, Bart Demoen, Francky Catthoor:
  Formally Specifying Dynamic Data Structures for Embedded Software Design: an Initial Approach. 99-112