دانلود کتاب Formal Verification of Object-Oriented Software: International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers
کتاب تأیید رسمی نرم افزار شی گرا: کنفرانس بین المللی، FoVeOOS 2010، پاریس، فرانسه، 28-30 ژوئن 2010، مقالات منتخب اصلاح شده نسخه زبان اصلی
دانلود کتاب تأیید رسمی نرم افزار شی گرا: کنفرانس بین المللی، FoVeOOS 2010، پاریس، فرانسه، 28-30 ژوئن 2010، مقالات منتخب اصلاح شده بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Formal Verification of Object-Oriented Software: International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers
نام کتاب : Formal Verification of Object-Oriented Software: International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers
ویرایش : 1 ed.
عنوان ترجمه شده به فارسی : تأیید رسمی نرم افزار شی گرا: کنفرانس بین المللی، FoVeOOS 2010، پاریس، فرانسه، 28-30 ژوئن 2010، مقالات منتخب اصلاح شده
سری : Lecture Notes in Computer Science 6528 : Programming and Software Engineering
نویسندگان : June Andronick (auth.), Bernhard Beckert, Claude Marché (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال نشر : 2011
تعداد صفحات : 199
[207]
ISBN (شابک) : 9783642180705 , 3642180701
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 3 Mb
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
این کتاب مجموعه مقالات پس از کنفرانس کنفرانس بین‌المللی تأیید رسمی نرم‌افزارهای شی گرا، FoVeOOS 2010، که در پاریس، فرانسه، در ژوئن 2010 برگزار شد - توسط COST Action IC0701 برگزار شد، ارائه می‌کند.
11 مقاله کامل اصلاح شده ارائه شده همراه با 2 گفتگوی دعوت شده به دقت بررسی و از بین 21 مورد ارسالی انتخاب شدند. راستی‌آزمایی نرم‌افزار رسمی از حوزه مطالعات موردی دانشگاهی فراتر رفته است و صنعت علاقه جدی نشان می‌دهد. هدف منطقی بعدی تأیید صحت محصولات نرم افزاری صنعتی است. بیشتر زبان های برنامه نویسی مورد استفاده در عمل صنعتی شی گرا هستند، به عنوان مثال. جاوا، سی یا سی شارپ. FoVeOOS 2010 با هدف تقویت همکاری و تعامل بین محققان در این زمینه انجام شد.
توضیحاتی در مورد کتاب به زبان اصلی :
This book presents the thoroughly refereed post-conference proceedings of the International Conference on Formal Verification of Object-Oriented Software, FoVeOOS 2010, held in Paris, France, in June 2010 - organised by COST Action IC0701.
The 11 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 21 submissions. Formal software verification has outgrown the area of academic case studies, and industry is showing serious interest. The logical next goal is the verification of industrial software products. Most programming languages used in industrial practice are object-oriented, e.g. Java, C++, or C#. FoVeOOS 2010 aimed to foster collaboration and interactions among researchers in this area.