Formal Methods for Open Object-Based Distributed Systems

9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings

  • Editors
  • Marcello M. Bonsangue
  • Einar Broch Johnsen
Conference proceedings FMOODS 2007

Part of the Lecture Notes in Computer Science book series (LNCS, volume 4468)

Table of contents

  1. Front Matter
  2. Invited Talks

    1. Mario Coppo, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida
      Pages 1-31
    2. Wolfgang Ahrendt, Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt
      Pages 32-43
  3. Model Checking

    1. Gregor Engels, Christian Soltenborn, Heike Wehrheim
      Pages 76-90
  4. Rewriting Logic

  5. Components and Services

    1. Pascal Poizat, Gwen Salaün
      Pages 141-156
    2. Cristian Prisacariu, Gerardo Schneider
      Pages 174-189
  6. Algebraic Calculi

    1. Ludovic Henrio, Florian Kammüller
      Pages 190-205
    2. Philippe Bidinger, Adriana Compagnoni
      Pages 206-220
  7. Specification, Verfication and Refinenment

  8. Quality of Service

    1. Minyoung Kim, Mark-Oliver Stehr, Carolyn Talcott, Nikil Dutt, Nalini Venkatasubramanian
      Pages 285-300
    2. Sun Meng, Farhad Arbab
      Pages 301-316

About these proceedings

Keywords

Ada Java Unified Modeling Language (UML) Variable algorithm algorithmic skeleton algorithms component-based systems constraint automata formal language model checking model-based design modeling object-oriented programming serv

Bibliographic information

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