دانلود کتاب Rigorous Development of Complex Fault-Tolerant Systems (به فارسی: توسعه دقیق سیستم های پیچیده مقاوم در برابر خطا) نوشته شده توسط «Jean-Raymond Abrial (auth.) – Michael Butler – Cliff B. Jones – Alexander Romanovsky – Elena Troubitsyna (eds.)»
اطلاعات کتاب توسعه دقیق سیستم های پیچیده مقاوم در برابر خطا
موضوع اصلی: کامپیوترها
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: Jean-Raymond Abrial (auth.) – Michael Butler – Cliff B. Jones – Alexander Romanovsky – Elena Troubitsyna (eds.)
زبان: English
فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2006
تعداد صفحه: 406
حجم کتاب: 5 مگابایت
کد کتاب: 3540482652 , 9783540482659
نوبت چاپ: 1
توضیحات کتاب توسعه دقیق سیستم های پیچیده مقاوم در برابر خطا
بسیاری از سیستم‌های نرم‌افزاری عمدتاً به دلیل اندازه، ناهمگنی و توزیع آنها به سطحی از پیچیدگی رسیده‌اند که منجر به بروز خطاهایی می‌شود که به راحتی نمی‌توان آنها را در کد ردیابی کرد. برخی از این “عیوب” همچنین می تواند رفتار غیرمنتظره برنامه باشد که در نتیجه تعامل بین بخش های مختلف برنامه ظاهر می شود. این معمولا به عنوان پیچیدگی شناخته می شود. روش ها، رویکردها، ابزارها و تکنیک های جدید برای مقابله با پیچیدگی روزافزون در سیستم های نرم افزاری مورد نیاز است. در میان آنها، تکنیک‌های تحمل خطا و روش‌های رسمی، با پشتیبانی ابزارهای مربوطه، راه‌حل‌های امیدوارکننده‌ای هستند. این کتاب مقالاتی را گرد هم آورده است که بر کاربرد تکنیک‌های طراحی دقیق برای توسعه سیستم‌های نرم‌افزاری مقاوم به خطا تمرکز دارد.
این جلد نتیجه کارگاه آموزشی REFT 2005 در زمینه مهندسی سخت‌گیرانه مقاوم در برابر خطا است. سیستم‌هایی که همراه با کنفرانس روش‌های رسمی 2005 در نیوکاسل آپون تاین، انگلستان، در ژوئیه 2005 برگزار شد. از نویسندگان بهترین مقالات کارگاهی خواسته شد تا کار خود را افزایش دهند و گسترش دهند و تعدادی از محققین معتبر که در این منطقه کار می‌کردند دعوت شدند. فصل ها از 19 مقاله داوری و تجدید نظر شده ارائه شده، 12 نسخه از کارگاه مجدد کار شده است. 9 تای آنها کاملا نو هستند. این کتاب با دو موضع تحریک‌آمیز متفاوت در مورد نقش زبان‌های برنامه‌نویسی کامل شده است.
Many software systems have reached a level of complication, mainly because of their size, heterogeneity and distribution, which results in faults appearing that cannot be traced back easily to the code. Some of these “faults” could also be unexpected program behavior that appears as a result of interactions between different parts of the program; this is commonly known as complexity. New methods, approaches, tools and techniques are needed to cope with the increasing complexity in software systems; amongst them, fault-tolerance techniques and formal methods, supported by the corresponding tools, are promising solutions. This book brings together papers focusing on the application of rigorous design techniques to the development of fault-tolerant, software-based systems.
This volume is an outcome of the REFT 2005 Workshop on Rigorous Engineering of Fault-Tolerant Systems held in conjunction with the Formal Methods 2005 conference at Newcastle upon Tyne, UK, in July 2005. The authors of the best workshop papers were asked to enhance and expand their work and a number of well-established researchers working in the area contributed invited chapters. From the 19 refereed and revised papers presented, 12 are versions reworked from the workshop; 9 of them are totally new. The book is rounded off by two provocatively different position on the role of programming languages.
دانلود کتاب «توسعه دقیق سیستم های پیچیده مقاوم در برابر خطا»
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.