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

AvInternational Conference on Formal Metho,Scott F. Smith

Inbunden, Engelska, 2000

Del i serien IFIP Advances in Information and Communication Technology

2 281 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

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

Utgivningsdatum:2000-08-31
Mått:155 x 235 x 24 mm
Vikt:776 g
Format:Inbunden
Språk:Engelska
Serie:IFIP Advances in Information and Communication Technology
Antal sidor:422
Upplaga:2000
Förlag:Kluwer Academic Publishers
ISBN:9780792379232

Utforska kategorier

Programmeringsböcker inom Data och IT

Innehållsförteckning

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.

Mer från samma författare

Formal Methods for Open Object-Based Distributed Systems

International Conference on Formal Metho, International Federation for Information, Paolo Ciancarini, Alessandro Fantechi, Roberto Gorrieri

Inbunden, 1999

2 281 kr

Mer från samma serie

Del 246

Advances in Production Management Systems

Jan Olhager, Fredrik Persson

Häftad, 2010

1 131 kr

Information System Concepts

Eckhard D. Falkenberg, Wolfgang Hesse, Antoni Olive

Inbunden, 1995

2 281 kr

Data Management for the AI Era: Ensuring Reliability and Accountability

Paolo Ceravolo, Sylvio Barbon Junior, Faiza Bukhsh, Maurice Van Keulen, Samira Maghool, Robert Wrembel, Paolo Ceravolo, Sylvio Barbon Junior, Faiza Bukhsh, Maurice Van Keulen, Samira Maghool, Robert Wrembel