ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب 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

مشخصات کتاب

Empirical Software Engineering and Verification: International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures

ویرایش: 1 
نویسندگان: , , ,   
سری: 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 مگابایت 

قیمت کتاب (تومان) : 51,000



کلمات کلیدی مربوط به کتاب مهندسی نرم افزار تجربی و تایید: دانشکده های تابستانی بین المللی، LASER 2008-2010، جزیره البا، ایتالیا، سخنرانی های تجدید نظر شده: مهندسی نرم افزار، منطق و معانی برنامه ها، زبان های برنامه نویسی، کامپایلر، مترجمان، تکنیک های برنامه نویسی، منطق ریاضی و زبان های رسمی، مدیریت محاسبات و سیستم های اطلاعاتی



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 8


در صورت تبدیل فایل کتاب 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 -




نظرات کاربران