دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness: REX Workshop, Mook, The Netherlands May 29 – June 2, 1989 Proceedings
دانلود کتاب مرحله به مرحله اصلاح مدل های سیستم های توزیع شده ، فرمالیسم ، صحت: کارگاه REX ، موک ، هلند 29 مه - 2 ژوئن 1989 مجموعه مقالات
مشخصات کتاب
Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness: REX Workshop, Mook, The Netherlands May 29 – June 2, 1989 Proceedings
دسته بندی: کنفرانس ها و همایش های بین المللی ویرایش: 1 نویسندگان: Martín Abadi, Leslie Lamport (auth.), J. W. de Bakker, W. -P. de Roever, G. Rozenberg (eds.) سری: Lecture Notes in Computer Science 430 ISBN (شابک) : 3540525599, 9783540525592 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1990 تعداد صفحات: 817 زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 8 مگابایت
قیمت کتاب (تومان) : 34,000
کلمات کلیدی مربوط به کتاب مرحله به مرحله اصلاح مدل های سیستم های توزیع شده ، فرمالیسم ، صحت: کارگاه REX ، موک ، هلند 29 مه - 2 ژوئن 1989 مجموعه مقالات: منطق و معانی برنامه ها، تکنیک های برنامه نویسی، شبکه های ارتباطی کامپیوتری
در صورت تبدیل فایل کتاب Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness: REX Workshop, Mook, The Netherlands May 29 – June 2, 1989 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مرحله به مرحله اصلاح مدل های سیستم های توزیع شده ، فرمالیسم ، صحت: کارگاه REX ، موک ، هلند 29 مه - 2 ژوئن 1989 مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب مرحله به مرحله اصلاح مدل های سیستم های توزیع شده ، فرمالیسم ، صحت: کارگاه REX ، موک ، هلند 29 مه - 2 ژوئن 1989 مجموعه مقالات
روش پالایش گام به گام یک مسیر ساخت سیستم را فرض می کند که با مشخصات سطح بالا شروع می شود، تعدادی از مراحل توسعه صحیح را طی می کند و با یک برنامه اجرایی به پایان می رسد. مشارکت در این جلد وضعیت هنر را در این حوزه تحقیقاتی بسیار فعال بررسی می کند. متخصصان برجسته جهان در مشخصات برنامه های همزمان، تأیید و تئوری اصلاح آنها آخرین نتایج تحقیقاتی و بررسی های مربوط به زمینه ها را ارائه می دهند. رویکردهای مبتنی بر حالت، جبری، منطق زمانی و نظریه مقوله گرا ارائه شده است. توجه ویژه ای به رابطه بین ترکیب و پالایش برای برنامه های توزیع شده می شود. نظرسنجی ها از نتایج مربوط به پالایش در رویکردهای مبتنی بر نظم جزئی به همزمانی ارائه شده است. یک درمان یکپارچه از پارادایم فرض/تعهد در مشخصات و راستی‌آزمایی برنامه‌های همزمان ترکیبی، و بسط این موارد به ویژگی‌های زنده بودن داده می‌شود. آخرین نتایج در تعیین و اثبات درستی پایگاه‌های داده همزمان و استخراج پروتکل‌های شبکه از مشخصات آنها ارائه شده است.
توضیحاتی درمورد کتاب به خارجی
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.
فهرست مطالب
Composing specifications....Pages 1-41
Refinement calculus, part I: Sequential nondeterministic programs....Pages 42-66
Refinement calculus, part II: Parallel and reactive programs....Pages 67-93
MetateM: A framework for programming in temporal logic....Pages 94-129
Constraint-oriented specification in a constructive formal description technique....Pages 130-152
Functional specification of time sensitive communicating systems....Pages 153-179
Modular verification of Petri Nets....Pages 180-207
Abadi & Lamport and stark: Towards a proof theory for stuttering, dense domains and refinement mappings....Pages 208-238
Algebraic implementation of objects over objects....Pages 239-266
Refinement of actions in causality based models....Pages 267-300
Transformation of combined data type and process specifications using projection algebras....Pages 301-339
Various simulations and refinements....Pages 340-360
On decomposing and refining specifications of distributed systems....Pages 361-385
Verifying the correctness of AADL modules using model checking....Pages 386-400
Specialization in logic programming: From horn clause logic to prolog and concurrent prolog....Pages 401-413
Analysis of discrete event coordination....Pages 414-453
Refinement and projection of relational specifications....Pages 454-486
Compositional theories based on an operational semantics of contexts....Pages 487-518
Multivalued possibilities mappings....Pages 519-543
Completeness theorems for automata....Pages 544-560
Formal verification of data type refinement — Theory and practice....Pages 561-591
From trace specifications to process terms....Pages 592-621
Some comments on the assumption-commitment framework for compositional verification of distributed programs....Pages 622-640
Refinement of concurrent systems based on local state transformations....Pages 641-668
Construction of network protocols by stepwise refinement....Pages 669-695
A derivation of a broadcasting protocol using sequentially phased reasoning....Pages 696-730
Verifying atomic data types....Pages 731-758
Predicates, predicate transformers and refinement....Pages 759-776
Foundations of compositional program refinement....Pages 777-807
نظرات کاربران
کتاب های مرتبط
دانلود کتاب Lyapunov Exponents: Proceedings of a Workshop Held in Bremen
دانلود کتاب Sea Level Changes and Their Effects, International Ocean and Atmosphere Pacific Conference
دانلود کتاب Pattern Detection and Discovery: ESF Exploratory Workshop London, UK, September 16–19, 2002 Proceedings
دانلود کتاب Recent Advances in AI Planning: 5th European Conference on Planning, ECP’99, Durham, UK, September 8-10, 1999. Proceedings
دانلود کتاب Category Theory: Proceedings of the International Conference held in Como, Italy, July 22-28, 1990
دانلود کتاب Dimension Reduction of Large-Scale Systems: Proceedings of a Workshop held in Oberwolfach, Germany, October 19-25, 2003
دانلود کتاب Business Information Systems: 12th International Conference, BIS 2009, Poznan, Poland, April 27-29, 2009, Proceedings (Lecture Notes in Business Information Processing)
دانلود کتاب Advances in Creativity, Innovation, Entrepreneurship and Communication of Design: Proceedings of the AHFE 2021 Virtual Conferences on Creativity, Innovation and Entrepreneurship, and Human Factors in Communication of Design, July 25-29, 2021, USA
دانلود کتاب Proceedings of the International Conference on Ubiquitous Computing & Ambient Intelligence (UCAmI 2022)
