Table of contents

  1. Front Matter
  2. Session 1. Middleware

    1. Elena Simperl, Reto Krummenacher, Lyndon Nixon
      Pages 1-18
    2. Davide Frey, Gruia-Catalin Roman
      Pages 37-55
  3. Session 2. Logic Programming

    1. Steve Gregory, Martha Paschali
      Pages 56-75
    2. John Field, Maria-Cristina Marinescu, Christian Stefansen
      Pages 76-95
  4. Session 3. Formal Approaches

    1. Mario Bravetti, Gianluigi Zavattaro
      Pages 96-112
    2. Jean-Marie Jacquet, Isabelle Linden
      Pages 113-131
    3. Jens Chr. Godskesen
      Pages 132-150
  5. Session 4. Concurrency

    1. Cristian Ţăpuş, Jason Hickey
      Pages 151-170
    2. Philipp Haller, Martin Odersky
      Pages 171-190
    3. Joxan Jaffar, Roland H. C. Yap, Kenny Q. Zhu
      Pages 191-210
  6. Session 5. Components and Services I

    1. Slim Kallel, Anis Charfi, Mira Mezini, Mohamed Jmaiel
      Pages 211-230
  7. Session 6. Manet

    1. Tom Van Cutsem, Jessie Dedecker, Wolfgang De Meuter
      Pages 231-248
    2. Rohan Sen, Gregory Hackmann, Mart Haitjema, Gruia-Catalin Roman, Christopher Gill
      Pages 249-267
    3. Stijn Mostinckx, Christophe Scholliers, Eline Philips, Charlotte Herzeel, Wolfgang De Meuter
      Pages 268-285
  8. Session 7. Components and Services II

    1. Farhad Arbab, Tom Chothia, Sun Meng, Young-Joo Moon
      Pages 286-304
    2. Javier Cubo, Gwen Salaün, Javier Cámara, Carlos Canal, Ernesto Pimentel
      Pages 305-323
  9. Back Matter

About these proceedings

Keywords

Middleware algorithm algorithms concurrency distributed computing logic logic programming modularity programming

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-540-72794-1
  • Copyright Information Springer-Verlag Berlin Heidelberg 2007
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-72793-4
  • Online ISBN 978-3-540-72794-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book