دانلود کتاب Applied Formal Methods — FM-Trends 98: International Workshop on Current Trends in Applied Formal Methods Boppard, Germany, October 7–9, 1998 Proceedings (به فارسی: روش‌های رسمی کاربردی — FM-Trends 98: کارگاه بین‌المللی درباره روندهای فعلی در روش‌های رسمی کاربردی Boppard، آلمان، 7-9 اکتبر 1998 مجموعه مقالات) نوشته شده توسط «Egon Börger (auth.) – Dieter Hutter – Werner Stephan – Paolo Traverso – Markus Ullmann (eds.)»
اطلاعات کتاب روش‌های رسمی کاربردی — FM-Trends 98: کارگاه بین‌المللی درباره روندهای فعلی در روش‌های رسمی کاربردی Boppard، آلمان، 7-9 اکتبر 1998 مجموعه مقالات
موضوع اصلی: کامپیوترها
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: Egon Börger (auth.) – Dieter Hutter – Werner Stephan – Paolo Traverso – Markus Ullmann (eds.)
زبان: English
فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)
سال انتشار: 1999
تعداد صفحه: 384
حجم کتاب: 22 مگابایت
کد کتاب: 3540664629) , 3540664629
نوبت چاپ: 1
توضیحات کتاب روش‌های رسمی کاربردی — FM-Trends 98: کارگاه بین‌المللی درباره روندهای فعلی در روش‌های رسمی کاربردی Boppard، آلمان، 7-9 اکتبر 1998 مجموعه مقالات
این جلد شامل مشارکت‌های ارائه شده در کارگاه بین‌المللی روندهای فعلی در روش‌های رسمی کاربردی است که در 7 تا 9 اکتبر 1998 در بوپارد، آلمان برگزار شد. هدف اصلی این کارگاه ترسیم نقشه ای از مسائل کلیدی پیش روی کاربرد عملی روش های رسمی در صنعت بود. به نظر می رسد که این امر به ویژه در شرایطی که مسائل ایمنی و امنیتی به یک مانع واقعی برای توسعه نرم افزار و سخت افزار صنعتی تبدیل شده است، به موقع است. در نتیجه، تقریباً همه شرکت‌های بزرگ اکنون بخش‌ها یا گروه‌هایی را برای کار با روش‌های رسمی ایجاد کرده‌اند و بسیاری از کشورهای اروپایی با کمبود شدید نیروی کار در این زمینه جدید مواجه هستند. پیش‌بینی تونی هور مبنی بر تبدیل شدن هنر توسعه نرم‌افزار (و سخت‌افزار) به یک علم مهندسی مناسب با مجموعه ابزارها و تکنیک‌های خاص خود، اکنون به واقعیت تبدیل شده است. بنابراین تمرکز این کارگاه کاربردی گرا چندان بر موضوعات خاص دانشگاهی نبود، بلکه بیشتر بر جنبه های عملی این فناوری جدید نوظهور بود: تأیید و اعتبارسنجی، و پشتیبانی ابزار و ادغام در چرخه عمر نرم افزار. با ارزیابی وضعیت هنر با توجه به کاربردهای صنعتی، بحثی بین دانشمندان، مهندسان شاغل، و اعضای سازمان‌های نظارتی و تأمین مالی در مورد نیازها و پیشرفت‌های آتی پدید آمد. این بحث منجر به نقشه‌های راه با توجه به آینده این حوزه، پشتیبانی ابزار و زمینه‌های کاربردی بالقوه و بخش‌های بازار امیدوارکننده می‌شود. کمک های شرکت کنندگان از صنعت و همچنین از دفاتر امنیت ملی مربوطه بسیار ارزشمند و بسیار قدردانی شد.
This volume contains the contributions presented at the International Workshop on Current Trends in Applied Formal Methods organized October 7-9, 1998, in Boppard, Germany. The main objective of the workshop was to draw a map of the key issues facing the practical application of formal methods in industry. This appears to be particularly timely with safety and security issues becoming a real obstacle to industrial software and hardware development. As a consequence, almost all major companies have now set up departments or groups to work with formal methods and many European countries face a severe labour shortage in this new field. Tony Hoare’s prediction of the art of software (and hardware) development becoming a proper engineering science with its own body of tools and techniques is now becoming a reality. So the focus of this application oriented workshop was not so much on spe cial academic topics but rather on the many practical aspects of this emerging new technology: verification and validation, and tool support and integration into the software life-cycle. By evaluating the state of the art with respect to industrial applications a discussion emerged among scientists, practising engi neers, and members of regulatory and funding agencies about future needs and developments. This discussion lead to roadmaps with respect to the future of this field, to tool support, and potential application areas and promising market segments. The contributions of the participants from industry as well as from the respective national security bureaus were particularly valuable and highly appreciated.
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.