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

Inbunden, Engelska, 2000

AvInternational Conference on Formal Metho,Scott F. Smith,Carolyn L. Talcott,Scott F Smith,Carolyn L Talcott

2 779 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

This volume discusses the fields of object-oriented programming, open distributed systems, and formal methods for object-oriented systems. Papers included within focus on the following specific technologies: components; mobile code; Java; the Unified Modelling Language (UML); refinement of specifications; types and subtyping; and temporal and probabilistic systems.

Produktinformation

Utgivningsdatum2000-08-31
Mått155 x 235 x 24 mm
Vikt776 g
FormatInbunden
SpråkEngelska
SerieIFIP Advances in Information and Communication Technology
Antal sidor422
Upplaga2000
FörlagKluwer Academic Publishers
ISBN9780792379232

Tillhör följande kategorier

Systemvetenskap och AI inom Data och IT
Programmeringsböcker inom Data och IT
Artificiell intelligens inom Data och IT
Referensverk och tvärvetenskap inom Samhälle och politik

I Invited Talk.- On the Semantics of JavaSpaces.- II Mobility.- Elements of an object-based model for distributed and mobile computation.- Specification of Mobile Code Systems using Graph Grammars.- Atomic Failure in Wide-Area Computation.- III Invited Talk.- Rewriting Logic and Maude: a Wide-Spectrum Semantic Framework for Object-Based Distributed Systems.- IV Java / UML.- Requirements Level Semantics for UML Statecharts.- A Step Toward Automatic Distribution of Java Programs.- Using Relational and Behavioural Semantics in the Verification of Object Models.- Formally Modeling UML and its Evolution: A Holistic Approach.- V Invited Talk.- Object-Oriented Programming for Wide-Area Computing.- VI Refinement and Subtyping.- Behavioural Subtyping and Property Preservation.- A Practical Approach to Incremental Specification.- Refinement of objects and operations in Object-Z.- VII Invited Talk.- E-speak: the Technology for Ubiquitous E-services.- VIII Time.- Behavior Expression and OMDD.- On a Temporal Logic for Object-Based Systems.- Stochastically Enhanced Timed Automata.- IX Components.- Fail-Stop Components by Pattern Matching.- A Formal Specification of the CORBA Event Service.- Components as Processes: An Exercise in Coalgebraic Modeling.