دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Formal Verification of Object-Oriented Software: International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers
دانلود کتاب تأیید رسمی نرم افزار شی گرا: کنفرانس بین المللی ، FoVeOOS 2010 ، پاریس ، فرانسه ، 28-30 ژوئن ، 2010 ، نسخه های تجدید نظر شده
مشخصات کتاب
Formal Verification of Object-Oriented Software: International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers
ویرایش: 1 نویسندگان: June Andronick (auth.), Bernhard Beckert, Claude Marché (eds.) سری: Lecture Notes in Computer Science 6528 : Programming and Software Engineering ISBN (شابک) : 9783642180705, 3642180701 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2011 تعداد صفحات: 207 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 مگابایت
قیمت کتاب (تومان) : 29,000
کلمات کلیدی مربوط به کتاب تأیید رسمی نرم افزار شی گرا: کنفرانس بین المللی ، FoVeOOS 2010 ، پاریس ، فرانسه ، 28-30 ژوئن ، 2010 ، نسخه های تجدید نظر شده: مهندسی نرم افزار، منطق و معانی برنامه ها، زبان های برنامه نویسی، کامپایلر، مترجمان، تکنیک های برنامه نویسی، منطق ریاضی و زبان های رسمی، مدیریت محاسبات و سیستم های اطلاعاتی
در صورت تبدیل فایل کتاب Formal Verification of Object-Oriented Software: International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تأیید رسمی نرم افزار شی گرا: کنفرانس بین المللی ، FoVeOOS 2010 ، پاریس ، فرانسه ، 28-30 ژوئن ، 2010 ، نسخه های تجدید نظر شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب تأیید رسمی نرم افزار شی گرا: کنفرانس بین المللی ، FoVeOOS 2010 ، پاریس ، فرانسه ، 28-30 ژوئن ، 2010 ، نسخه های تجدید نظر شده
این کتاب مجموعه مقالات پس از کنفرانس کنفرانس بین‌المللی تأیید
رسمی نرم‌افزار شی‌گرا، 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.
فهرست مطالب
Front Matter....Pages -
From a Proven Correct Microkernel to Trustworthy Large Systems....Pages 1-9
Static Contract Checking with Abstract Interpretation....Pages 10-30
Abstract Compilation of Object-Oriented Languages into Coinductive CLP(X): Can Type Inference Meet Verification?....Pages 31-45
Validating Timed Models of Deployment Components with Parametric Concurrency....Pages 46-60
Verification of Software Product Lines with Delta-Oriented Slicing....Pages 61-75
Satisfiability Solving and Model Generation for Quantified First-Order Logic Formulas....Pages 76-91
Sawja: Static Analysis Workshop for Java....Pages 92-106
CVPP: A Tool Set for Compositional Verification of Control–Flow Safety Properties....Pages 107-121
Specifying Imperative ML-Like Programs Using Dynamic Logic....Pages 122-137
Dynamic Frames in Java Dynamic Logic....Pages 138-152
A Refinement Methodology for Object-Oriented Programs....Pages 153-167
A Dynamic Logic for Unstructured Programs with Embedded Assertions....Pages 168-182
JMLUnit: The Next Generation....Pages 183-197
Back Matter....Pages -
