خرید و دانلود نسخه کامل کتاب FM’99 — Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume II

توضیحاتی در مورد کتاب



روش‌های رسمی به سن بلوغ می‌رسند. تکنیک ها و ابزارهای ریاضی اکنون به عنوان بخش مهمی از فرآیند توسعه در طیف گسترده ای از سازمان های صنعتی و دولتی در نظر گرفته می شوند. انتقال فناوری به جریان اصلی توسعه سیستم ها به آرامی، اما مطمئناً در حال انجام است. FM’99، اولین کنگره جهانی روش‌های رسمی در توسعه سیستم‌های محاسباتی، نتیجه و معیاری از این بلوغ جدید است. این مجموعه چشمگیر از مقالات صنعتی و کاربردی را به ارمغان می آورد که نشان می دهد چگونه روش های رسمی برای مقابله با مشکلات واقعی استفاده شده است. این جلسات، سابقه سمپوزیوم فنی FM’99 است: علاوه بر مقالاتی که کاربردهای روش‌های رسمی را توصیف می‌کنند، گزارش‌های فنی، مقالات، و چکیده‌هایی را خواهید دید که پیشرفت‌های جدید در تکنیک‌های فرمال، از مبانی ریاضی تا ابزارهای عملی را شرح می‌دهند. کنگره جهانی جانشین چهار سمپوزیوم اروپایی روش رسمی است که به نوبه خود جانشین چهار سمپوزیوم اروپایی VDM شد. این واگذاری بازتاب دهنده گشودگی فزاینده در جامعه بین المللی محققان و متخصصان است: مقالاتی ارائه شد که طیف گسترده ای از روش های رسمی و حوزه های کاربردی را پوشش می داد. کمیته برنامه ماهیت بین‌المللی کنگره را با عضویت 84 محقق برجسته از 38 کشور مختلف بازتاب می‌دهد. این کمیته به 19 بخش تقسیم شد که هر کدام دارای کرسی خاص برای نظارت بر روند بررسی بود. وظیفه جمعی ما کار دشواری بود: 259 مأموریت با کیفیت بالا از 35 کشور مختلف وجود داشت.