دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Empirical Software Engineering and Verification: International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures
دانلود کتاب مهندسی نرم افزار تجربی و تایید: دانشکده های تابستانی بین المللی، LASER 2008-2010، جزیره البا، ایتالیا، سخنرانی های تجدید نظر شده
مشخصات کتاب
Empirical Software Engineering and Verification: International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures
ویرایش: 1 نویسندگان: Mark Harman, Phil McMinn (auth.), Bertrand Meyer, Martin Nordio (eds.) سری: Lecture Notes in Computer Science 7007 Programming and Software Engineering ISBN (شابک) : 9783642252310, 3642252311 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2012 تعداد صفحات: 220 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 2 مگابایت
قیمت کتاب (تومان) : 38,000
کلمات کلیدی مربوط به کتاب مهندسی نرم افزار تجربی و تایید: دانشکده های تابستانی بین المللی، LASER 2008-2010، جزیره البا، ایتالیا، سخنرانی های تجدید نظر شده: مهندسی نرم افزار، منطق و معانی برنامه ها، زبان های برنامه نویسی، کامپایلر، مترجمان، تکنیک های برنامه نویسی، منطق ریاضی و زبان های رسمی، مدیریت محاسبات و سیستم های اطلاعاتی
در صورت تبدیل فایل کتاب Empirical Software Engineering and Verification: International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مهندسی نرم افزار تجربی و تایید: دانشکده های تابستانی بین المللی، LASER 2008-2010، جزیره البا، ایتالیا، سخنرانی های تجدید نظر شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب مهندسی نرم افزار تجربی و تایید: دانشکده های تابستانی بین المللی، LASER 2008-2010، جزیره البا، ایتالیا، سخنرانی های تجدید نظر شده
مهندسی نرم‌افزار، به‌طور گسترده به‌عنوان یکی از هیجان‌انگیزترین، محرک‌ترین و سودآورترین حوزه‌های تحقیقاتی امروزی شناخته می‌شود که تأثیر عملی قابل‌توجهی بر صنعت نرم‌افزار و دانشگاه دارد. مدرسه لیزر، که از سال 2004 هر ساله در جزیره البا، ایتالیا برگزار می شود، برای متخصصان صنعت (مهندسان و مدیران) و همچنین محققان دانشگاه، از جمله دانشجویان دکترا در نظر گرفته شده است.
این کتاب حاوی نکات سخنرانی منتخبی از مدارس تابستانی لیزر 2008-2010، که بر روی همزمانی و صحت در سال 2008، تست نرم افزار در سال 2009، و مهندسی نرم افزار تجربی، در سال 2010 تمرکز داشتند.
توضیحاتی درمورد کتاب به خارجی
Software engineering, is widely recognized as one of today's
most
exciting, stimulating, and profitable research areas, with a
significant practical impact on the software industry and
academia. The LASER school, held annually since 2004 on Elba
Island, Italy, is intended for professionals from industry
(engineers and managers) as well as university researchers,
including PhD students.
This book contains selected lecture notes from the LASER summer schools 2008-2010, which focused on concurrency and correctness in 2008, software testing in 2009, and empirical software engineering, in 2010.
فهرست مطالب
Front Matter....Pages -
Search Based Software Engineering: Techniques, Taxonomy, Tutorial....Pages 1-59
Replication of Software Engineering Experiments....Pages 60-88
A Formal Reference for SCOOP....Pages 89-157
On the Integration of Software Testing and Formal Analysis....Pages 158-193
Is Branch Coverage a Good Measure of Testing Effectiveness?....Pages 194-212
Back Matter....Pages -
