Stepwise Refinement of Distributed Systems

Name: Stepwise Refinement of Distributed Systems
Brand: Springer, Berlin
SKU: 9783540525592
Price: 40054 HUF
Availability: InStock

Models, Formalisms, Correctness, REX Workshop, Mook, The Netherlands, may 29 - June 2, 1989, Proceedings

Szerző: Jaco W. De Bakker, Willem-Paul De Roever, Grzegorz Rozenberg

Nyelv:

Kötés: Puha kötésű

Kiadó: Springer, Berlin

Elérhetőség: Beszállítói készleten alacsony példányszámban

Küldés 11-15 napon belül

40 054 Ft

The stepwise refinement method postulates a system construction route that starts with a high-level...

Információk a könyvről

Szerző

Jaco W. De Bakker, Willem-Paul De Roever, Grzegorz Rozenberg

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

1990

oldal

812

EAN

9783540525592

ISBN

3540525599

Enbook ID

05274143

Kiadó

Springer, Berlin

Súly

1178

Méretek

155 x 235 x 41

Teljes leírás

The stepwise refinement method postulates a system construction route that starts with a high-level specification, goes through a number of provably correct development steps, and ends with an executable program. The contributions to this volume survey the state of the art in this extremely active research area. The world's leading specialists in concurrent program specification, verification, and the theory of their refinement present latest research results and surveys of the fields. State-based, algebraic, temporal logic oriented and category theory oriented approaches are presented. Special attention is paid to the relationship between compositionality and refinement for distributed programs. Surveys are given of results on refinement in partial-order based approaches to concurrency. A unified treatment is given of the assumption/commitment paradigm in compositional concurrent program specification and verification, and the extension of these to liveness properties. Latest results are presented on specifying and proving concurrent data bases correct, and deriving network protocols from their specifications.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Stepwise Refinement of Distributed Systems

Models, Formalisms, Correctness, REX Workshop, Mook, The Netherlands, may 29 - June 2, 1989, Proceedings

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták