دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Protocol Specification, Testing and Verification, XII. Proceedings of the IFIP TC6/WG6.1. Twelfth International Symposium on Protocol Specification, Testing and Verification, Lake Buena Vista, Florida, U.S.A., 22–25 June, 1992
دانلود کتاب مشخصات ، آزمایش و تأیید پروتکل ، XII. مجموعه مقالات IFIP TC6 / WG6.1. دوازدهمین سمپوزیوم بین المللی مشخصات پروتکل ، آزمایش و تأیید ، Lake Buena Vista ، فلوریدا ، ایالات متحده ، 22-25 ژوئن ، 1992
مشخصات کتاب
Protocol Specification, Testing and Verification, XII. Proceedings of the IFIP TC6/WG6.1. Twelfth International Symposium on Protocol Specification, Testing and Verification, Lake Buena Vista, Florida, U.S.A., 22–25 June, 1992
ویرایش:
نویسندگان: R.J. Linn and M.Ü. Uyar (Eds.)
سری:
ISBN (شابک) : 9780444898746
ناشر: North Holland
سال نشر: 1992
تعداد صفحات: 381
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 7 مگابایت
قیمت کتاب (تومان) : 33,000
در صورت تبدیل فایل کتاب Protocol Specification, Testing and Verification, XII. Proceedings of the IFIP TC6/WG6.1. Twelfth International Symposium on Protocol Specification, Testing and Verification, Lake Buena Vista, Florida, U.S.A., 22–25 June, 1992 به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مشخصات ، آزمایش و تأیید پروتکل ، XII. مجموعه مقالات IFIP TC6 / WG6.1. دوازدهمین سمپوزیوم بین المللی مشخصات پروتکل ، آزمایش و تأیید ، Lake Buena Vista ، فلوریدا ، ایالات متحده ، 22-25 ژوئن ، 1992 نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب مشخصات ، آزمایش و تأیید پروتکل ، XII. مجموعه مقالات IFIP TC6 / WG6.1. دوازدهمین سمپوزیوم بین المللی مشخصات پروتکل ، آزمایش و تأیید ، Lake Buena Vista ، فلوریدا ، ایالات متحده ، 22-25 ژوئن ، 1992
برای بیش از یک دهه، محققان و مهندسان به مشکل استفاده از تکنیک
های توصیف رسمی برای مشخصات پروتکل، پیاده سازی، آزمایش و تأیید
پرداخته اند. این کتاب موفقیت های بسیاری را که در چارچوب صنعتی
به دست آمده است و مشکلاتی که در به کارگیری روش های نظری در
موقعیت های عملی با آن مواجه شده است، شناسایی می کند.
مسائل مورد بحث عبارتند از: تست و صدور گواهی. تایید؛ اعتبار سنجی؛ محیط ها و ابزارهای خودکار؛ مشخصات رسمی؛ تبدیل پروتکل؛ پیاده سازی؛ زبان‌ها و مدل‌های مشخصه.
همچنین به نگرانی‌های مربوط به آموزش در دسترس دانش‌آموزان و نیاز به ارتقا و توسعه آن از طریق حمایت مالی از مطالعه یک برنامه درسی مناسب در سطوح کارشناسی و کارشناسی ارشد نیز توجه شده است. امید است که این نشریه چنین حمایتی را برانگیزد و الهام بخش تحقیقات بیشتر در این عرصه مهم باشد
توضیحاتی درمورد کتاب به خارجی
For more than a decade, researchers and engineers have been
addressing the problem of the application of formal description
techniques to protocol specification, implementation, testing
and verification. This book identifies the many successes that
have been achieved within the industrial framework and the
difficulties encountered in applying theoretical methods to
practical situations.
Issues discussed include: testing and certification; verification; validation; environments and automated tools; formal specifications; protocol conversion; implementation; specification languages and models.
Consideration is also given to the concerns surrounding education available to students and the need to upgrade and develop this through sponsorship of a study of an appropriate curriculum at both undergraduate and graduate levels. It is hoped this publication will stimulate such support and inspire further research in this important arena
فهرست مطالب
Content:
IFIP Transactions C: Communication Systems, Page ii
Front Matter, Page iii
Copyright, Page iv
Preface, Pages v-vi, R.J. (Jerry) Linn, M. Ümit Uyar
Organizing Committee, Page vii
Referees, Page viii
Formal Methods Applied to Software Production, Pages 3-9, A.G. Fraser
Generating Conformance Test Sequences for Combined Control and Data Flow of Communication Protocols, Pages 13-27, Raymond E. Miller, Sanjoy Paul
A test suite generation method for extended finite state machines using axiomatic semantics approach, Pages 29-43, Chang-Jia Wang, Ming T. Liu
Testing Probabilistic and Nondeterministic Processes, Pages 47-61, Wang Yi, Kim G. Larsen
Testability of Formal Specifications, Pages 63-77, S.P. van de Burgt, J. Kroon, A.M. Peeters
Structuring Protocols using Exceptions in a LOTOS Extension, Pages 81-96, J. Quemada, A. Azcorra
Formal Model of a High Speed Transport Protocol, Pages 97-111, G.M. Lundy, R.C. McArthur
On Modelling and Reasoning About Hybrid Systems, Pages 115-129, R.C. Sekar, Yow-Jian Lin, Sanjai Narain
A Queue Model Relating Synchronous and Asynchronous Communication, Pages 131-145, Jan Tretmans, Louis Verhaard
Protocol development success stories: Part I, Pages 149-160, Harry Rudin
From service specification to protocol entity implementation - An exercise in formal protocol development, Pages 163-177, Claus Dendorfer, Rainer Weber
Development of Satellite Communication Networks based on LOTOS, Pages 179-192, A. Fernández, C. Miguel, L. Vidaller, J. Quemada
A test derivation method based on exploiting structure information, Pages 195-209, R.J. Velthuys, J.M. Schneider, G. Zörntlein
Automatic test generation for protocol data aspects, Pages 211-226, Erik Kwast
Test suite generation for a FSM with a given type of implementation errors, Pages 229-243, Alexandre Petrenko, Nina Yevtushenko
Improvements on UIO Sequence Generation and Partial UIO Sequences, Pages 245-260, Woojik Chun, Paul D. Amer
Computing Diagnostic Tests for Incorrect Processes, Pages 263-277, Ufuk Celikkan, Rance Cleaveland
Automated Validation of TTCN Test Suites, Pages 279-295, U. Bär, J.M. Schneider
Formal Methods in Conformance testing: Status and Expectations, Pages 299-316, Jean-Philippe Favreau, Dieter Hogrefe, Jan Kroon
Testability in the context of SDL, Pages 319-333, Jan Ellsberger, Finn Kristoffersen
A common semantics representation for SDL and TTCN, Pages 335-346, Thomas Walter, Jan Ellsberger, Finn Kristoffersen, Paul van den Merkhof
Coverage Preserving Reduction Strategies for Reachability Analysis, Pages 349-363, Gerard J. Holzmann, Patrice Godefroid, Didier Pirottin
The Two-Dimensional Window Protocol, Pages 365-379, Mohamed G. Gouda
Module Composition and Refinement with Applications to Protocol Conversion, Pages 383-397, Kenneth L. Calvert
Stepwise Assertional Design of Distance–Vector Routing Algorithms, Pages 399-413, Cengiz Alaettinoğlu, A. Udaya Shankar
Author Index, Page 415
IFIP, Pages ibc1-ibc5
