Formal Aspects of Component Software

Preliminary Proceedings

Download as a single file

UNU-IIST Technical Report 344, PDF (7.1MB)

Download separately

• Cover pages, PDF
• Preface, Programme, pp. i-xii PDF
• Contributed and invited papers
  1. Peter Van Roy
     Self Management and the Future of Software Design (invited talk), pp. 1-12, PDF
  2. Pavel Parizek, Frantisek Plasil
     Modeling Environment for Component Model Checking from Hierarchical Architecture, pp. 13-26, PDF
  3. Heike Wehrheim, Ralf Reussner
     Towards more Realistic Component Protocol Modelling, pp. 27-40, PDF
  4. Jens Happe, Heiko Koziolek, Ralf Reussner
     Parametric Performance Contracts for Software Components with Concurrent Behaviour, pp. 41-54, PDF
  5. Pascal Poizat, Gwen Salaün, Massimo Tivoli
     An Adaptation-based Approach to Incrementally Build Component Systems, pp. 55-70, PDF
  6. Alexander Stuckenholz
     Component updates as a Boolean Optimization Problem, pp. 71-84, PDF
  7. Stephanie Kemper, Andre Platzer
     SAT-based Abstraction Refinement for Real-time Systems, pp. 85-100, PDF
  8. Tomas Barros, Antonio Cansado, Eric Madelaine
     Model-checking distributed components, pp. 101-114, PDF
  9. Ivana Cerna, Pavlina Varekova, Barbora Zimmerova
     Component substitutability via equivalencies of Component-interaction automata, pp. 115-130, PDF
  10. Meriem Belguidoum, Fabien Dagnat
      Dependencies management in software component deployment, pp. 131-146, PDF
  11. Markus Lumpe
      Applications = Components + GLoo, pp. 147-162, PDF
  12. Bernhard Schätz
      Combining Product Lines and Model-Based Development, pp. 163-176, PDF
  13. Jonas Elmqvist, Simin Nadjm-Tehrani
      Safety Oriented Design of Component Assemblies using Safety Interfaces, pp. 177-192, PDF
  14. Sonia Fagorzi, Elena Zucca
      A Calculus of Components with Dynamic Type-Checking, pp. 193-210, PDF
  15. Samir Chouali
      Cooperation between the B method and the automata theory to check the component interoperability, pp. 211-228, PDF
  16. Denis Caromel
      From Theory to Practice in Distributed Component Systems (invited talk abstract), pp. 229-230, PDF
  17. Artur Zawlocki
      Diagram Models for Interacting Concurrent Components, pp. 231-246, PDF
  18. Seyyed Vahid Hashemian, Farhad Mavaddat
      Composition Algebra, pp. 247-264, PDF