دانلود کتاب Specification and Verification of Concurrent Systems
کتاب مشخصات و تایید سیستم های همزمان نسخه زبان اصلی
دانلود کتاب مشخصات و تایید سیستم های همزمان بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Specification and Verification of Concurrent Systems
نام کتاب : Specification and Verification of Concurrent Systems
ویرایش : 1
عنوان ترجمه شده به فارسی : مشخصات و تایید سیستم های همزمان
سری : Workshops in Computing
نویسندگان : Pierre America (auth.), C. Rattray MSc (eds.)
ناشر : Springer-Verlag London
سال نشر : 1990
تعداد صفحات : 620
ISBN (شابک) : 9783540195818 , 9781447135340
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 19 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
این جلد شامل مقالات ارائه شده در کارگاه BCS-FACS در مورد مشخصات و تأیید سیستم‌های همزمان است که در 6-8 ژوئیه 1988 در دانشگاه استرلینگ، اسکاتلند برگزار شد. تکنیک‌های مشخص‌سازی و تأیید نقش مهمی را در طراحی و تولید سیستم‌های همزمان عملی ایفا می‌کنند. کاربرد گسترده‌تر این تکنیک‌ها به شناسایی مشکلات دشواری کمک می‌کند که به رویکردهای جدید برای حل آنها و پیشرفت‌های بیشتر در مشخصات و تأیید نیاز دارند. این کارگاه با ایجاد یک انجمن برای تبادل تجربیات کارشناسان دانشگاهی و صنعتی در این زمینه، هدف خود را نشان دادن این تعامل بود. ارائه‌ها شامل: نظرسنجی، تحقیق اصلی، تجربه عملی با روش‌ها، ابزارها و محیط‌ها در حوزه‌های زیر یا مرتبط: مدل‌های شی‌گرا، فرآیند، داده‌ها و مبتنی بر منطق و روش‌های مشخص‌سازی برای سیستم‌های همزمان تأیید سیستم‌های همزمان ابزارها و محیط‌های تجزیه و تحلیل سیستم های همزمان کاربرد زبان های مشخصات در طراحی و توسعه سیستم های همزمان عملی. مایلیم از سخنرانان دعوت شده و همه نویسندگان مقالاتی که کارشان در موفقیت این کارگاه کمک کرده اند تشکر کنیم. ما به ویژه از پاسخ بین المللی به فراخوان ما برای مقالات خرسند بودیم. سخنرانان دعوت شده آزمایشگاه های تحقیقاتی پیر آمریکا فیلیپس دانشگاه وارویک پروفسور م. جوزف دیوید فریستون کمیته سازماندهی مخابرات بریتانیا چارلز راتری دکتر مافی توماس دکتر سیمون جونز دکتر جان کوک پروفسور کن ترنر درک کلمن موریس نفتالین دکتر پیتر شارباخ vi مقدمه ما می خواهیم از این موضوع آگاه شویم. مشارکتی که توسط SD-Sysems Designers Pie، Camberley، Surrey انجام شده است.
فهرست مطالب :
Front Matter....Pages i-viii
The Interplay of Theory and Practice in a Parallel Object-Oriented Language....Pages 1-20
Object-Oriented Process Specification....Pages 21-70
Formal Object Oriented Specification of Distributed Systems....Pages 71-83
The Design and Development of Ada Real-Time Embedded Systems....Pages 84-99
Protocol Analysis and Implementation using NPNs and SDL....Pages 100-120
A Tool for the Performance Analysis of Concurrent Systems....Pages 121-139
Winston: A Tool for Hierarchical Design and Simulation of Concurrent Systems....Pages 140-152
A Specification-Verification Framework for Distributed Applications Software....Pages 153-183
Dynamic Communication Links....Pages 184-195
Formal Environment and Tools Description for the Analysis of Real time Concurrent Systems....Pages 196-235
An Equivalence Decision Problem in Systolic Array Verification....Pages 236-245
Should Concurrency be Specified?....Pages 246-271
Semantics for Specifying Real-time Systems....Pages 272-275
Specifying Processes in Terms of Their Environments....Pages 276-293
Hennessy-Milner Logic with recursion as a specification language, and a refinement calculus based on it....Pages 294-330
A Functional Programming Approach to the Specification and Verification of Concurrent Systems....Pages 331-343
Synchronization in Network Protocols....Pages 344-367
From Synchronous to Asynchronous Communication....Pages 368-383
Formal Specification and Verification of Asynchronous Processes in Higher-Order Logic....Pages 384-409
Temporal Specifications Directed by Grammar and Design of Process Networks....Pages 410-427
Analysis of Estelle Specifications....Pages 428-438
Concurrency in Modula-2: Properties of the Language Primitives....Pages 439-454
Specification and implementation of concurrent systems using PARLOG....Pages 455-473
Specification and Verification in Communications Standards....Pages 474-485
Experience with LOTOS and environment LOTTE on an ISDN protocol....Pages 486-499
The Specification and Design of a Nondeterministic Data Structure Using CCS....Pages 500-525
A High-Level Petri Net Specification of the Cambridge Fast Ring M-Access Service....Pages 526-556
Modelling of Distributed Problem Solving Using Logic Modified Petri Nets....Pages 557-574
An animator for CSP implemented in HOPE....Pages 575-594
A Concurrent Approach to the Towers of Hanoi....Pages 595-610
Back Matter....Pages 611-612
توضیحاتی در مورد کتاب به زبان اصلی :
This volume contains papers presented at the BCS-FACS Workshop on Specification and Verification of Concurrent Systems held on 6-8 July 1988, at the University of Stirling, Scotland. Specification and verification techniques are playing an increasingly important role in the design and production of practical concurrent systems. The wider application of these techniques serves to identify difficult problems that require new approaches to their solution and further developments in specification and verification. The Workshop aimed to capture this interplay by providing a forum for the exchange of the experience of academic and industrial experts in the field. Presentations included: surveys, original research, practical experi ence with methods, tools and environments in the following or related areas: Object-oriented, process, data and logic based models and specifi cation methods for concurrent systems Verification of concurrent systems Tools and environments for the analysis of concurrent systems Applications of specification languages to practical concurrent system design and development. We should like to thank the invited speakers and all the authors of the papers whose work contributed to making the Workshop such a success. We were particularly pleased with the international response to our call for papers. Invited Speakers Pierre America Philips Research Laboratories University of Warwick Professor M. Joseph David Freestone British Telecom Organising Committee Charles Rattray Dr Muffy Thomas Dr Simon Jones Dr John Cooke Professor Ken Turner Derek Coleman Maurice Naftalin Dr Peter Scharbach vi Preface We would like to aeknowledge the finaneial eontribution made by SD-Sysems Designers pie, Camberley, Surrey.
پست ها تصادفی