تعیین مشخصات، آزمایش و تصدیق پروتکل، XII ۲۰۱۶
Protocol Specification, Testing and Verification, XII 2016

بیش از یک دهه است که محققان و مهندسان به بررسی چالش‌های به‌کارگیری تکنیک‌های توصیف رسمی در تعیین مشخصات، پیاده‌سازی، آزمایش و تأیید پروتکل‌ها پرداخته‌اند. این کتاب ضمن معرفی دستاوردهای متعدد در چارچوب صنعت، به بررسی دشواری‌های موجود در به‌کارگیری روش‌های نظری در موقعیت‌های عملی می‌پردازد.

مسائل مورد بحث عبارتند از: آزمایش و صدور گواهینامه، تأیید صحت، اعتبارسنجی، محیط‌ها و ابزارهای خودکار، مشخصات رسمی، تبدیل پروتکل، پیاده‌سازی، زبان‌های مشخصات و مدل‌ها.

همچنین، به دغدغه‌های مربوط به آموزش‌های موجود برای دانشجویان و نیاز به ارتقاء و توسعه آن از طریق حمایت مالی از مطالعه یک برنامه درسی مناسب در سطوح کارشناسی و تحصیلات تکمیلی توجه شده است. امید است این اثر، محرکی برای چنین حمایتی بوده و الهام‌بخش تحقیقات بیشتر در این عرصه مهم باشد.

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.