Satellite Workshop of the FM 2003
Pisa, Italy - September 8-9, 2003

Download Page

• Cover Pages (pdf, postscript)

• Programme (pp 1-2) (pdf, postscript)

• Invited Papers

  1. Multi-view Modeling of Software Systems (pp 3-10)
     Manfred Broy (pdf, postscript)

  2. A Contract-oriented Approach to CBP (pp 11-26)
     He Jifeng, Liu Zhiming and Li Xiaoshan (pdf, postscript)

• Contribution Papers

  1. A Coalgebraic Calculus for Component Based Systems (pp 27-46)
     Sun Meng and Bernhard K Aichernig (pdf, postscript)

  2. On the Specification of Component Repository (pp 47-62)
     Nuno Rodrigues and Luis Barbosa (pdf, postscript)

  3. Hierarchical Modeling and Verification of Timed Systems in Timed AltRica (pp 63-80)
     Claire Pagetti, Franck Cassez and Olivier Roux (pdf, postscript)

  4. Modular UML Semantics: Interpretations in Z Based on Templates and Generics (pp 81-100)
     Nuno Amalio, Susan Stepney and Fiona Polack (pdf, postscript)

  5. Catalysis Frameworks in First-Order Logic (pp 101-120)
     Shui-Ming Ho and Kung-Kiu Lau (pdf, postscript)

  6. Formalising Well-Behaved Components (pp 121-142)
     Sotiris Moschoyiannis, Michael W. Shields and Juliana Küster-Filipe (pdf, postscript)

  7. Strengthening Eiffel Contracts Using Models (143-158)
     Bernd Schoeller (pdf, postscript)

  8. Component Based Development - Where Is the Place for Formalism? (pp 159-166)
     Piotr Makowski and Anders P. Ravn (pdf, postscript)

  9. Developing Fault-tolerant Control Systems Composed of Self-checking Components in the Action Systems Formalism (167-186)
     Elena Troubitsyna (pdf, postscript)

  10. Towards an Agent-searchable Software Component Using CafeOBJ Specification and Semantic Web (pp 187-210)
      Vishnu Kotrajaras (pdf, postscript)

  11. Coordination Contracts Conceptualization and Validation Using Component-based Petri nets (pp 211-242)
      Nasreddine Aoumeur and Gunter Saake (pdf, postscript)

  12. A Theory for Composing Distributed Components Based on Temporary Interference (pp 243-253)
      I.S.W.B. Prasetya, T.E.J. Vos, S.D. Swierstra and B. Widjaja (pdf, postscript)