Formal Methods for Open Object-Based Distributed Systems IV IFIP TC6/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000) September 6–8, 2000, Stanford, California, USA
Description
Formal Methods for Open Object-Based Distributed Systems IV presents the leading edge in the fields of object-oriented programming, open distributed systems, and formal methods for object-oriented systems. With increased support within industry regarding these areas, this book captures the most up-to-date information on the subject.
Papers in this volume focus on the following specific technologies:
Papers in this volume focus on the following specific technologies:
- components;
- mobile code;
- Java®;
- The Unified Modeling Language (UML);
- refinement of specifications;
- types and subtyping;
- temporal and probabilistic systems.
Keywords
ComputersProgrammingSystems ArchitectureComputer ScienceInformation TheoryProgramming LanguagesInformation TechnologyAlgorithms
2000Book
Author(s)International Conference on Formal Methods for Open Object-Based Distributed Systems (4th 2000 Stanford, Calif.)
PublisherSpringer Science & Business Media
ISBN9780792379232
LanguageEnglish
