Formal Methods for Open Object-based Distributed Systems

Volume 2

AvHoward Bowman,John Derrick

Inbunden, Engelska, 1997

Del i serien IFIP Advances in Information and Communication Technology

2 276 kr

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

Beskrivning

This text presents the leading edge in several related fields, specifically object-orientated programming, open distributed systems and formal methods for object-oriented systems. Topics discussed include: object-oriented design and programming; formal specification of distributed systems; open distributed platforms; types, interfaces and behaviour; and formalization of object-oriented methods. This volume comprises the proceedings of the International Workshop on Formal Methods for Open Object-based Distributed Systems (FMOODS '97), sponsored by the International Federation for Information Processing (IFIP) held in Canterbury, United Kingdom, in July 1997.

Produktinformation

Utgivningsdatum:1997-06-30
Mått:155 x 235 x 27 mm
Vikt:857 g
Format:Inbunden
Språk:Engelska
Serie:IFIP Advances in Information and Communication Technology
Antal sidor:470
Upplaga:1997
Förlag:Chapman and Hall
ISBN:9780412820403

Utforska kategorier

Nätverk och kommunikation inom Data och IT
Programmeringsböcker inom Data och IT

Innehållsförteckning

Preface. Committee members and invited speakers. List of referees. Part One: Mobility and Pi-calculus. Part Two: Concurrent OO specification and programming. Part Three: Actors. Part Four: Distributed systems: ODP and CORBA (I). Part Five: OO requirements analysis and design. Part Six: Formal specification (I). Part Seven: Subtyping and inheritance. Part Eight: Distributed systems: ODP and CORBA (II). Part Nine: Formal specification (II). Index of contributors. Keyword index.