اگه کتاب خاصی میخواید کلیک کنید >
خرید و دانلود نسخه کامل کتاب سِنڌيِ ٻال ڀارَتيِ دَرجو ٽِيون
قیمت اصلی 175,000 تومان بود.100,000 تومانقیمت فعلی 100,000 تومان است.
خرید و دانلود نسخه کامل کتاب Методика професійного навчання
قیمت اصلی 175,000 تومان بود.100,000 تومانقیمت فعلی 100,000 تومان است.
📥 ترافیک اینترنت مصرفی جهت دانلود فایلها در الی فایل، بهصورت نیمبها می باشد.
فقط اینقدر👇 دیگه زمان داری با تخفیف بخریش
00روز
15ساعت
40دقیقه
06ثانیه
-45%
خرید و دانلود نسخه کامل کتاب Formal Approaches to Software Testing and Runtime Verification: First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers
قیمت اصلی 167,000 تومان بود.92,000 تومانقیمت فعلی 92,000 تومان است.
تعداد فروش: 40
| عنوان فارسی |
رویکردهای رسمی به تست نرم افزار و تأیید زمان اجرا: اولین کارگاه های بین المللی ترکیبی ، FATES 2006 و RV 2006 ، سیاتل ، WA ، ایالات متحده ، 15-16 اوت 2006 ، نسخه های تجدید نظر شده |
|---|---|
| عنوان اصلی | Formal Approaches to Software Testing and Runtime Verification: First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers |
| ویرایش | 1 |
| ناشر | Springer-Verlag Berlin Heidelberg |
| نویسنده | Wolfgang Grieskamp (auth.), Klaus Havelund, Manuel Núñez, Grigore Roşu, Burkhart Wolff (eds.) |
| ISBN | 3540496998, 9783540496991 |
| سال نشر | 2006 |
| زبان | English |
| تعداد صفحات | 261 |
| دسته | کنفرانس ها و همایش های بین المللی |
| فرمت کتاب | pdf – قابل تبدیل به سایر فرمت ها |
| حجم فایل | 3 مگابایت |
1
آیتم فروخته شده در 55 دقیقه
3
نفر در حال مشاهده این محصول هستند!
توضیحات
آنتونی رابینز میگه : من در 40 سالگی به جایی رسیدم که برای رسیدن بهش 82 سال زمان لازمه و این رو مدیون کتاب خواندن زیاد هستم.
توضیحاتی در مورد کتاب
اعتبار سنجی نرم افزار یکی از پرهزینه ترین کارها در فرآیندهای تولید نرم افزار مدرن است. هدف FATES/RV 2006 گردآوری دانشمندان از دانشگاه و صنعت برای بحث در مورد رویکردهای رسمی برای آزمایش و تجزیه و تحلیل برنامه ها و نظارت و هدایت اجرای آنها بود. رویکردهای رسمی آزمون ممکن است تکنیک هایی از حوزه هایی مانند اثبات قضیه، بررسی مدل، تفکیک محدودیت، تحلیل برنامه ایستا، تفسیر انتزاعی، زنجیره مارکوف و موارد دیگر را پوشش دهد. رویکردهای رسمی برای تأیید زمان اجرا از تکنیکهای رسمی برای بهبود تکنیکهای نظارت موقتی سنتی استفاده میکنند که در آزمایش، اشکالزدایی، نظارت بر عملکرد، حفاظت از خطا، و غیره استفاده میشوند. کارگاه FATES/RV 2006 14 مقاله با کیفیت بالا از 31 ارسال را انتخاب کرد. هر مقاله حداقل سه مورد بررسی ناشناس توسط یکی از اعضای PC یا بازبینان خارجی انتخاب شده توسط آنها قرار گرفت. علاوه بر 14 مقاله معمولی، مقالات شامل دو مقاله مربوط به گفتگوهای دعوت شده توسط Wolfgang Grieskamp (پژوهش مایکروسافت، ایالات متحده آمریکا) و Oege de Moor (دانشگاه آکسفورد، انگلستان) است. این اولین باری بود که دو کارگاه FATES و RV با هم برگزار می شدند. موفقیت این نسخه مشترک نشان می دهد که ادغام این دو جامعه می تواند برای هر دوی آنها مفید باشد. دوره های قبلی این دو رویداد در مکان های زیر برگزار شد: FATES 2001 در Aborg (دانمارک) و FATES 2002 در برنو (جمهوری چک) برگزار شد. در هر دو مورد، کارگاه با CONCUR مرتبط بود. FATES 2003 و FATES 2004 به ترتیب در مونترال (کانادا) و وین (اتریش) در یک رابطه با ASE.FATES 2005 با CAV در ادینبورگ (بریتانیا) برگزار شد. از سال 2003، مجموعه مقالات کارگاه FATES توسط Springer (سری LNCS) منتشر شده است.
نظرات (0)
نقد و بررسیها
هنوز بررسیای ثبت نشده است.