دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 2012
نویسندگان: Bertrand Meyer. Martin Nordio
سری: Lecture ... / Programming and Software Engineering
ISBN (شابک) : 3642252303, 9783642252303
ناشر: Springer
سال نشر: 2012
تعداد صفحات: 219
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 3 مگابایت
در صورت تبدیل فایل کتاب Empirical Software Engineering and Verification: International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مهندسی و تأیید نرم افزار تجربی: International Summer Schools، LASER 2008-2010، Elba Island، Italy، Revised Tutorial Lectures نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
مهندسی نرمافزار، بهطور گسترده بهعنوان یکی از هیجانانگیزترین، محرکترین و سودآورترین حوزههای تحقیقاتی امروزی شناخته میشود که تأثیر عملی قابلتوجهی بر صنعت نرمافزار و دانشگاه دارد. مدرسه لیزر، که از سال 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 -