عنوان

Stepwise refinement of distributed systems :

شابک

0387525599 (New York : acid-free paper)

شابک

3540525599 (Berlin : acid-free paper)

شابک

9780387525594 (New York : acid-free paper)

شابک

9783540525592 (Berlin : acid-free paper)

شماره

dltt

عنوان اصلي

Stepwise refinement of distributed systems :

نام عام مواد

[Book]

ساير اطلاعات عنواني

models, formalisms, correctness : REX workshop, Mook, the Netherlands, May 29-June 2, 1989 : proceedings /

نام نخستين پديدآور

J.W. de Bakker, W.-P. de Roever, G. Rozenberg, eds.

محل نشرو پخش و غیره

New York :

نام ناشر، پخش کننده و غيره

Springer-Verlag,

تاریخ نشرو بخش و غیره

c1990.

نام خاص و کميت اثر

x, 808 p. :

ساير جزييات

ill. ;

ابعاد

25 cm.

عنوان فروست

Lecture notes in computer science ;

مشخصه جلد

430.

متن يادداشت

Includes bibliographical references.

متن يادداشت

"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."--Publisher's website.

عنوان

Stepwise refinement of distributed systems.

موضوع مستند نشده

Electronic data processing-- Distributed processing, Congresses.

شماره

ويراست

شماره رده

نشانه اثر

مستند نام اشخاص تاييد نشده

Bakker, J. W. de, (Jacobus Willem),1939-

مستند نام اشخاص تاييد نشده

Roever, W.-P. de,1943-

مستند نام اشخاص تاييد نشده

Rozenberg, Grzegorz.

تاريخ عمليات

20140613195336.0

نام الکترونيکي

نوع ماده

[Book]

تكميل شده

Y