Volume 108, December 2004

Proceedings of the First International Workshop on Formal Foundations of Embedded Software and Component-based Software Architectures (FESCA 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