Stepwise Refinement of Distributed Systems

Stepwise Refinement of Distributed Systems
Author :
Publisher : Springer Science & Business Media
Total Pages : 832
Release :
ISBN-10 : 3540525599
ISBN-13 : 9783540525592
Rating : 4/5 (592 Downloads)

Book Synopsis Stepwise Refinement of Distributed Systems by : Jaco W. de Bakker

Download or read book Stepwise Refinement of Distributed Systems written by Jaco W. de Bakker and published by Springer Science & Business Media. This book was released on 1990-04-25 with total page 832 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.


Stepwise Refinement of Distributed Systems Related Books

Stepwise Refinement of Distributed Systems
Language: en
Pages: 832
Authors: Jaco W. de Bakker
Categories: Computers
Type: BOOK - Published: 1990-04-25 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

The stepwise refinement method postulates a system construction route that starts with a high-level specification, goes through a number of provably correct dev
Concepts for Distributed Systems Design
Language: en
Pages: 269
Authors: G. von Bochmann
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book is written for computer programmers, analysts and scientists, as well as computer science students, as an intro duction to the principles of distribut
Formal Description Techniques, IV
Language: en
Pages: 596
Authors: K.R. Parker
Categories: Computers
Type: BOOK - Published: 2013-10-22 - Publisher: Elsevier

DOWNLOAD EBOOK

Formality is becoming accepted as essential in the development of complex systems such as multi-layer communications protocols and distributed systems. Formalit
Program Design Calculi
Language: en
Pages: 418
Authors: Manfred Broy
Categories: Computers
Type: BOOK - Published: 2013-12-01 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

The development of information processing systems requires models, calculi, and theories for the analysis of computations. It is well understood by now that mor
4th Refinement Workshop
Language: en
Pages: 488
Authors: Joseph M. Morris
Categories: Mathematics
Type: BOOK - Published: 2013-03-14 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This volume contains the proceedings ofthe 4th Refinement Workshop which was organised by the British Computer Society specialist group in Formal Aspects of Com