Advertisement

© 2002

Formal Methods for Open Object-Based Distributed Systems V

IFIP TC6 / WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002) March 20–22, 2002, Enschede, The Netherlands

  • Bart Jacobs
  • Arend Rensink
Conference proceedings FMOODS 2002

Part of the IFIP — The International Federation for Information Processing book series (IFIPAICT, volume 81)

Table of contents

  1. Front Matter
    Pages i-x
  2. Invited Presentations

  3. Multiple Viewpoint Modelling

    1. Front Matter
      Pages 27-27
    2. Einar Broch Johnsen, Olaf Owe
      Pages 45-60
    3. Chris Taylor, Eerke Boiten, John Derrick
      Pages 61-76
  4. Types, Service Types and Subtyping

    1. Front Matter
      Pages 77-77
    2. Abhishek Singh, Jonathan Billington
      Pages 111-125
  5. Semantics of Object-Based Programming Languages

    1. Front Matter
      Pages 127-127
    2. Sébastien Briais, Uwe Nestmann
      Pages 129-146
    3. Prasannaa Thati, Reza Ziaei, Gul Agha
      Pages 147-162
  6. Verification and Validation

    1. Front Matter
      Pages 179-179
    2. Kazuhiro Ogata, Kokichi Futatsugi
      Pages 181-195
    3. Chiara Braghin, Agostino Cortesi, Riccardo Focardi
      Pages 197-212

About these proceedings

Introduction

Formal Methods for Open Object-Based Distributed Systems V brings together research in three important and related fields:
  • Formal methods;
  • Distributed systems;
  • Object-based technology.


Such a convergence is representative of recent advances in the field of distributed systems, and provides links between several scientific and technological communities. The wide scope of topics covered in this volume range in subject from UML to object-based languages and calculi and security, and in approach from specification to case studies and verification.
This volume comprises the proceedings of the Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002), which was sponsored by the International Federation for Information Processing (IFIP) and held in Enschede, The Netherlands in March 2002.

Keywords

Analysis Unified Modeling Language (UML) algorithms computer distributed systems formal method model checking modeling programming programming language verification

Editors and affiliations

  • Bart Jacobs
    • 1
  • Arend Rensink
    • 2
  1. 1.University of NijmegenThe Netherlands
  2. 2.University of TwenteThe Netherlands

Bibliographic information

  • Book Title Formal Methods for Open Object-Based Distributed Systems V
  • Book Subtitle IFIP TC6 / WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002) March 20–22, 2002, Enschede, The Netherlands
  • Editors Bart Jacobs
    Arend Rensink
  • Series Title IFIP — The International Federation for Information Processing
  • DOI https://doi.org/10.1007/978-0-387-35496-5
  • Copyright Information IFIP International Federation for Information Processing 2002
  • Publisher Name Springer, Boston, MA
  • eBook Packages Springer Book Archive
  • Hardcover ISBN 978-0-7923-7683-5
  • Softcover ISBN 978-1-4757-5268-7
  • eBook ISBN 978-0-387-35496-5
  • Series ISSN 1868-4238
  • Series E-ISSN 1868-422X
  • Edition Number 1
  • Number of Pages XII, 284
  • Number of Illustrations 0 b/w illustrations, 0 illustrations in colour
  • Topics Theory of Computation
    Medicine/Public Health, general
    Programming Languages, Compilers, Interpreters
    Processor Architectures
    Artificial Intelligence
  • Buy this book on publisher's site
Industry Sectors
Automotive
Biotechnology
IT & Software
Telecommunications
Consumer Packaged Goods
Aerospace
Engineering
Finance, Business & Banking
Electronics