دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE XI/PSTV XVIII’98 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII) 3–6 November 1998, Paris, France
دانلود کتاب تشریح رسمی تکنیک ها و مشخصات پروتکل، آزمایش و تأیید: FORTE XI/PSTV XVIII'98 IFIP TC6 WG6.1 کنفرانس مشترک بین المللی تکنیک های توصیف رسمی برای سیستم های توزیع شده و پروتکل های ارتباطی (FORTE XI) و مشخصات پروتکل، تست و تأیید پروتکل (PSTV XVIII) ) 3–6 نوامبر 1998، پاریس، فرانسه
مشخصات کتاب
Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE XI/PSTV XVIII’98 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII) 3–6 November 1998, Paris, France
ویرایش: 1 نویسندگان: Thomas Gehrke, Michaela Huhn, Arend Rensink, Heike Wehrheim (auth.), Stan Budkowski, Ana Cavalli, Elie Najm (eds.) سری: IFIP — The International Federation for Information Processing 6 ISBN (شابک) : 9781475752625, 9780387353944 ناشر: Springer US سال نشر: 1998 تعداد صفحات: 457 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 18 مگابایت
قیمت کتاب (تومان) : 43,000
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
در صورت تبدیل فایل کتاب Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE XI/PSTV XVIII’98 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII) 3–6 November 1998, Paris, France به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تشریح رسمی تکنیک ها و مشخصات پروتکل، آزمایش و تأیید: FORTE XI/PSTV XVIII'98 IFIP TC6 WG6.1 کنفرانس مشترک بین المللی تکنیک های توصیف رسمی برای سیستم های توزیع شده و پروتکل های ارتباطی (FORTE XI) و مشخصات پروتکل، تست و تأیید پروتکل (PSTV XVIII) ) 3–6 نوامبر 1998، پاریس، فرانسه نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب تشریح رسمی تکنیک ها و مشخصات پروتکل، آزمایش و تأیید: FORTE XI/PSTV XVIII'98 IFIP TC6 WG6.1 کنفرانس مشترک بین المللی تکنیک های توصیف رسمی برای سیستم های توزیع شده و پروتکل های ارتباطی (FORTE XI) و مشخصات پروتکل، تست و تأیید پروتکل (PSTV XVIII) ) 3–6 نوامبر 1998، پاریس، فرانسه
تکنیک‌های توصیف رسمی و مشخصات پروتکل، آزمایش
وتأیید به تکنیک‌های توصیف رسمی (FDT) مربوط به
سیستم‌های توزیع شده و پروتکل‌های ارتباطی می‌پردازد. هدف آن
ارائه وضعیت هنر در تئوری، کاربرد، ابزار و صنعتی سازی FDTها
است. از جمله ویژگی های مهم ارائه شده عبارتند از: سیستم مبتنی
بر FDT و مهندسی پروتکل. کاربرد FDT برای سیستم های توزیع شده
مهندسی پروتکل؛ تجربه عملی و مطالعات موردی.
تکنیک‌های توصیف رسمی و مشخصات پروتکل، آزمایش
وتأیید شامل مجموعه مقالات کنفرانس بین‌المللی
مشترک تکنیک‌های توصیف رسمی برای سیستم‌های توزیع‌شده و
پروتکل‌های ارتباطی و مشخصات پروتکل است. تست و تأیید، با حمایت
فدراسیون بین المللی پردازش اطلاعات، در نوامبر 1998، پاریس،
فرانسه برگزار شد.
تکنیک های توصیف رسمی و مشخصات پروتکل، تست
وتأیید به عنوان متن ثانویه برای دوره تحصیلات
تکمیلی در سیستم های توزیع شده یا ارتباطات و به عنوان مرجع
مناسب است. برای محققان و دست اندرکاران صنعت.
توضیحاتی درمورد کتاب به خارجی
Formal Description Techniques and Protocol Specification,
Testing andVerification addresses formal
description techniques (FDTs) applicable to distributed
systems and communication protocols. It aims to present the
state of the art in theory, application, tools and
industrialization of FDTs. Among the important features
presented are: FDT-based system and protocol engineering;
FDT-application to distributed systems; Protocol engineering;
Practical experience and case studies.
Formal Description Techniques and Protocol Specification,
Testing andVerification comprises the
proceedings of the Joint International Conference on Formal
Description Techniques for Distributed Systems and
Communication Protocols and Protocol Specification, Testing
and Verification, sponsored by the International Federation
for Information Processing, held in November 1998, Paris,
France.
Formal Description Techniques and Protocol Specification,
Testing andVerification is suitable as a
secondary text for a graduate-level course on Distributed
Systems or Communications, and as a reference for researchers
and practitioners in industry.
فهرست مطالب
Front Matter....Pages i-xi
Front Matter....Pages 1-1
An Algebraic Semantics for Message Sequence Chart Documents....Pages 3-18
Open Estelle — An FDT for Open Distributed Systems....Pages 19-36
A Graphical Representation and Prototype Editor for the Formal Description Technique Estelle....Pages 37-55
Front Matter....Pages 57-57
Protocol Feature Interactions....Pages 59-74
Limits and Possibilities of Sequential Hashing with Supertrace....Pages 75-90
Front Matter....Pages 91-91
Fault-Oriented Test Generation for Multicast Routing Protocol Design....Pages 93-109
Issues in Conformance Testing: Multiple Semicontrollable Interfaces....Pages 111-126
Automatic Test Case Generation of Real Protocols: Framework and Methodology....Pages 127-140
Quality of Service in Integrated Networks....Pages 143-143
Front Matter....Pages 145-145
Enumeration protocol in Estelle: an exercise in stepwise development....Pages 147-162
A Design Methodology for the Formal Specification and Verification of Hypermedia Documents....Pages 163-178
Front Matter....Pages 179-179
Frameworks by means of virtual types — exemplified by SDL....Pages 181-196
SDL-Pattern based Development of a Communication Subsystem for CAN....Pages 197-212
Front Matter....Pages 213-213
“On-the-Fly Instantiation” of Value-Passing Processes....Pages 215-230
Solving asynchronous equations....Pages 231-247
Shared Variables and Efficient Synchronization Primitives for Synchronous Symbolic Verifiers....Pages 249-263
Front Matter....Pages 265-265
SDL Specification and Verification of Universal Personal Computing with Objectgeode....Pages 267-282
Development of a Validation System based on Formal Description Techniques: Application to an Ada Run Time System....Pages 283-307
Full-Automatic Implementation of Protocol Programs for OSI Application Protocols over ROSE....Pages 309-324
A Logical Framework for Distributed Systems and Communication Protocols....Pages 327-333
Front Matter....Pages 335-335
Exploiting Symmetry in Protocol Testing....Pages 337-352
Towards Automatic Distribution of Testers for Distributed Conformance Testing....Pages 353-368
Front Matter....Pages 369-369
On the improvement of Estelle based automatic implementations....Pages 371-386
Hardware — Software co-design of embedded telecommunication systems....Pages 387-403
Hardware Synthesis from Protocol Specifications in LOTOS....Pages 405-420
Front Matter....Pages 421-421
Integrating Real Time Into Spin: A Prototype Implementation....Pages 423-438
CMC: A Tool for Compositional Model-Checking of Real-Time Systems....Pages 439-456
Twotowers: A Tool Integrating Functional and Performance Analysis of Concurrent Systems....Pages 457-467
Back Matter....Pages 469-469
نظرات کاربران
کتاب های تصادفی
دانلود کتاب End-User Development: 2nd International Symposium, IS-EUD 2009, Siegen, Germany, March 2-4, 2009. Proceedings
