توضیحات
The LASER school is intended for professionals from the industry (engineers and managers) as well as university researchers, including PhD students. Participants learn about the most important software technology advances from the pioneers in the field. The school’s focus is applied, although theory is welcome to establish solid foundations. The format of the school favors extensive interaction between participants and speakers. LASER 2011 is devoted to software verification tools. There have been great advances in the field of software verification in recent years. Today verification tools are being increasingly used not only by researchers, but by programming practitioners. The summer school will focus on several of the most prominent and practical of such tools from different areas of software verification (such as formal proofs, testing and model checking). During the school the participants will not only learn the principles behind the tools, but also get hands-on experience, trying the tools on real programs.
————————————————————–
ترجمه ماشینی :
مدرسه لیزر برای متخصصان صنعت (مهندسان و مدیران) و همچنین محققان دانشگاه از جمله دانشجویان دکترا در نظر گرفته شده است. شرکت کنندگان در مورد مهم ترین پیشرفت های فناوری نرم افزار از پیشگامان این حوزه یاد می گیرند. تمرکز مدرسه اعمال میشود، اگرچه از تئوری برای ایجاد پایههای محکم استقبال میشود. قالب مدرسه از تعامل گسترده بین شرکت کنندگان و سخنرانان حمایت می کند. LASER 2011 به ابزارهای تأیید نرم افزار اختصاص داده شده است. در سال های اخیر پیشرفت های زیادی در زمینه تایید نرم افزار صورت گرفته است. امروزه ابزارهای تأیید نه تنها توسط محققان، بلکه توسط برنامه نویسان به طور فزاینده ای مورد استفاده قرار می گیرند. مدرسه تابستانی بر روی چندین مورد از برجستهترین و کاربردیترین ابزارها از حوزههای مختلف تأیید نرمافزار (مانند اثبات رسمی، آزمایش و بررسی مدل) تمرکز خواهد کرد. در طول مدرسه، شرکتکنندگان نه تنها اصول پشت ابزارها را یاد میگیرند، بلکه تجربه عملی نیز کسب میکنند و ابزارها را در برنامههای واقعی امتحان میکنند.
tag : دانلود کتاب ابزارهایی برای تأیید نرم افزار کاربردی: لیزر، مدرسه تابستانی بین المللی 2011، جزیره البا، ایتالیا، سخنرانی های آموزشی اصلاح شده , Download ابزارهایی برای تأیید نرم افزار کاربردی: لیزر، مدرسه تابستانی بین المللی 2011، جزیره البا، ایتالیا، سخنرانی های آموزشی اصلاح شده , دانلود ابزارهایی برای تأیید نرم افزار کاربردی: لیزر، مدرسه تابستانی بین المللی 2011، جزیره البا، ایتالیا، سخنرانی های آموزشی اصلاح شده , Download Tools for Practical Software Verification: LASER, International Summer School 2011, Elba Island, Italy, Revised Tutorial Lectures Book , ابزارهایی برای تأیید نرم افزار کاربردی: لیزر، مدرسه تابستانی بین المللی 2011، جزیره البا، ایتالیا، سخنرانی های آموزشی اصلاح شده دانلود , buy ابزارهایی برای تأیید نرم افزار کاربردی: لیزر، مدرسه تابستانی بین المللی 2011، جزیره البا، ایتالیا، سخنرانی های آموزشی اصلاح شده , خرید کتاب ابزارهایی برای تأیید نرم افزار کاربردی: لیزر، مدرسه تابستانی بین المللی 2011، جزیره البا، ایتالیا، سخنرانی های آموزشی اصلاح شده , دانلود کتاب Tools for Practical Software Verification: LASER, International Summer School 2011, Elba Island, Italy, Revised Tutorial Lectures , کتاب Tools for Practical Software Verification: LASER, International Summer School 2011, Elba Island, Italy, Revised Tutorial Lectures , دانلود Tools for Practical Software Verification: LASER, International Summer School 2011, Elba Island, Italy, Revised Tutorial Lectures , خرید Tools for Practical Software Verification: LASER, International Summer School 2011, Elba Island, Italy, Revised Tutorial Lectures , خرید کتاب Tools for Practical Software Verification: LASER, International Summer School 2011, Elba Island, Italy, Revised Tutorial Lectures ,
نقد و بررسیها
هنوز بررسیای ثبت نشده است.