ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Formal Methods for Distributed System Development: FORTE / PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX) October 10–13, 2000, Pisa, Italy

دانلود کتاب روش های رسمی برای توسعه سیستم توزیع شده: کنفرانس مشترک بین المللی FORTE / PSTV 2000 IFIP TC6 WG6.1 در مورد فنون توصیف رسمی برای سیستم های توزیع شده و پروتکل های ارتباطی (FORTE XIII) و مشخصات ، آزمایش و تأیید پروتکل (PSTV XX) 10 تا 13 اکتبر 2000 ، پیزا ، ایتالیا

Formal Methods for Distributed System Development: FORTE / PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX) October 10–13, 2000, Pisa, Italy

مشخصات کتاب

Formal Methods for Distributed System Development: FORTE / PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX) October 10–13, 2000, Pisa, Italy

ویرایش: 1 
نویسندگان: , ,   
سری: IFIP — The International Federation for Information Processing 55 
ISBN (شابک) : 9781475752649, 9780387355337 
ناشر: Springer US 
سال نشر: 2000 
تعداد صفحات: 412 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 23 مگابایت 

قیمت کتاب (تومان) : 41,000



کلمات کلیدی مربوط به کتاب روش های رسمی برای توسعه سیستم توزیع شده: کنفرانس مشترک بین المللی FORTE / PSTV 2000 IFIP TC6 WG6.1 در مورد فنون توصیف رسمی برای سیستم های توزیع شده و پروتکل های ارتباطی (FORTE XIII) و مشخصات ، آزمایش و تأیید پروتکل (PSTV XX) 10 تا 13 اکتبر 2000 ، پیزا ، ایتالیا: روش‌های محاسباتی، معماری پردازنده، مهندسی نرم‌افزار/برنامه‌نویسی و سیستم‌های عامل، مهندسی برق



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 15


در صورت تبدیل فایل کتاب Formal Methods for Distributed System Development: FORTE / PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX) October 10–13, 2000, Pisa, Italy به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب روش های رسمی برای توسعه سیستم توزیع شده: کنفرانس مشترک بین المللی FORTE / PSTV 2000 IFIP TC6 WG6.1 در مورد فنون توصیف رسمی برای سیستم های توزیع شده و پروتکل های ارتباطی (FORTE XIII) و مشخصات ، آزمایش و تأیید پروتکل (PSTV XX) 10 تا 13 اکتبر 2000 ، پیزا ، ایتالیا نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب روش های رسمی برای توسعه سیستم توزیع شده: کنفرانس مشترک بین المللی FORTE / PSTV 2000 IFIP TC6 WG6.1 در مورد فنون توصیف رسمی برای سیستم های توزیع شده و پروتکل های ارتباطی (FORTE XIII) و مشخصات ، آزمایش و تأیید پروتکل (PSTV XX) 10 تا 13 اکتبر 2000 ، پیزا ، ایتالیا



ام بیستمین سالگرد IFIP WG6. 1 کنفرانس بین المللی مشترک در مورد Fonna! روش‌های سیستم‌های توزیع‌شده و پروتکل‌های ارتباطی (FORTE XIII / PSTV XX) در نسخه سال 2000 کنفرانس، که برای اولین بار در ایتالیا، در 10 تا 13 اکتبر 2000 در پیزا برگزار شد، جشن گرفته شد. در طراحی زیرنویس برای این نسخه ویژه --'Fonna! روش‌های پیاده‌سازی تحت آزمایش - ما می‌خواستیم دو مفهوم اصلی را که به نظر ما در مطالب این کتاب منعکس شده است، منتقل کنیم. اول، مراحل اولیه و پیشگام در توسعه روش‌های رسمی (FM)، با تضادهای آن‌ها بین نگرش‌های بشارتی و آگنوستیک، با کاربردهای بیش از حد خوش‌بینانه آن‌ها برای نمونه‌های اسباب‌بازی و دیدگاه‌های بیش از حد شکاک در مورد مقیاس‌پذیری در موارد صنعتی، با تصورات غلط و افسانه‌های آنها. . . . ، همه اینها اساساً تمام شده است. بسیاری از FM ها با موفقیت به بلوغ خود رسیده اند و در عمل توسعه ملموس "پیاده سازی" شده اند: تعدادی از مقالات در این کتاب در مورد تجربیات موفق در تعیین و تأیید سیستم ها و پروتکل های توزیع شده واقعی گزارش می دهند. دوم، یکی از چندین افسانه در مورد FM - این واقعیت که پذیرش آنها در نهایت نیاز به آزمایش را از بین می برد - هنوز کاملاً با واقعیت شدن فاصله دارد، و دوباره، این کتاب نشان می دهد که تئوری و کاربردهای تست هنوز به طور قابل ملاحظه ای سالم هستند. در مجموع 63 مقاله به FORTEIPSTV 2000 ارسال شده است که از بین آنها کمیته برنامه 22 مقاله را برای ارائه در کنفرانس و گنجاندن در مجموعه مقالات انتخاب کرده است.


توضیحاتی درمورد کتاب به خارجی

th The 20 anniversary of the IFIP WG6. 1 Joint International Conference on Fonna! Methods for Distributed Systems and Communication Protocols (FORTE XIII / PSTV XX) was celebrated by the year 2000 edition of the Conference, which was held for the first time in Italy, at Pisa, October 10-13, 2000. In devising the subtitle for this special edition --'Fonna! Methods­ Implementation Under Test' --we wanted to convey two main concepts that, in our opinion, are reflected in the contents of this book. First, the early, pioneering phases in the development of Formal Methods (FM's), with their conflicts between evangelistic and agnostic attitudes, with their over­ optimistic applications to toy examples and over-skeptical views about scalability to industrial cases, with their misconceptions and myths . . . , all this is essentially over. Many FM's have successfully reached their maturity, having been 'implemented' into concrete development practice: a number of papers in this book report about successful experiences in specifYing and verifYing real distributed systems and protocols. Second, one of the several myths about FM's - the fact that their adoption would eventually eliminate the need for testing - is still quite far from becoming a reality, and, again, this book indicates that testing theory and applications are still remarkably healthy. A total of 63 papers have been submitted to FORTEIPSTV 2000, out of which the Programme Committee has selected 22 for presentation at the Conference and inclusion in the Proceedings.



فهرست مطالب

Front Matter....Pages i-xv
Front Matter....Pages 1-1
Formal Verification of the TTP Group Membership Algorithm....Pages 3-18
Verification of a Sliding Window Protocol Using IOA and MONA....Pages 19-34
A Priori Verification of Reactive Systems....Pages 35-50
Front Matter....Pages 51-51
From Rule-Based to Automata-Based Testing....Pages 53-68
Integrated System Interoperability Testing with Applications to VoIP....Pages 69-84
On Test Derivation from Partial Specifications....Pages 85-102
Front Matter....Pages 103-103
Compositionality for Improving Model Checking....Pages 105-120
A Model Checking Method for Partially Symmetric Systems....Pages 121-136
Front Matter....Pages 137-137
Specification and Verification of Message Sequence Charts....Pages 139-154
A State-Exploration Technique for Spi-Calculus Testing-Equivalence Verification....Pages 155-170
Verification of Consistency Protocols Via Infinite-State Symbolic Model Checking....Pages 171-186
Front Matter....Pages 187-187
Systematic Performance Evaluation of Multipoint Protocols....Pages 189-204
Simulating Multicast Transport Protocols in Estelle....Pages 205-218
Generation of Realistic Signalling Traffic in an ISDN Load Test System Using SDL User Models....Pages 219-234
Front Matter....Pages 235-235
Satisfaction Up to Liveness....Pages 237-248
Testing IP Routing Protocols — From Probabilistic Algorithms to a Software Tool....Pages 249-264
Front Matter....Pages 265-265
Verifying and Testing Asynchronous Circuits Using Lotos....Pages 267-283
Hardware Implementation of Concurrent Periodic EFSMs....Pages 285-300
Modeling Distributed Embedded Systems In Multiclock Esterel ....Pages 301-316
Front Matter....Pages 317-317
Compact Net Semantics for Process Algebras....Pages 319-334
Front Matter....Pages 317-317
A Concise Compositional Statecharts Semantics Definition....Pages 335-350
Implementing CCS in Maude....Pages 351-366
Front Matter....Pages 367-367
From Refutation to Verification....Pages 369-374
Process Algebraic Analysis of Cryptographic Protocols....Pages 375-392
A Logic of Belief and a Model Checking Algorithm for Security Protocols....Pages 393-408




نظرات کاربران