دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1 نویسندگان: Anindya Banerjee (auth.), Bernhard Beckert, Ferruccio Damiani, Dilian Gurov (eds.) سری: Lecture Notes in Computer Science 7421 : Programming and Software Engineering ISBN (شابک) : 9783642317613, 9783642317620 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2012 تعداد صفحات: 258 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 مگابایت
کلمات کلیدی مربوط به کتاب تأیید رسمی نرم افزار شی گرا: کنفرانس بین المللی ، FoVeOOS 2011 ، تورین ، ایتالیا ، 5-7 اکتبر 2011 ، مقاله های منتخب اصلاح شده: مهندسی نرم افزار، تکنیک های برنامه نویسی، زبان های برنامه نویسی، کامپایلرها، مترجمان، منطق و معانی برنامه ها، مدیریت محاسبات و سیستم های اطلاعاتی
در صورت تبدیل فایل کتاب Formal Verification of Object-Oriented Software: International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تأیید رسمی نرم افزار شی گرا: کنفرانس بین المللی ، FoVeOOS 2011 ، تورین ، ایتالیا ، 5-7 اکتبر 2011 ، مقاله های منتخب اصلاح شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب مجموعه مقالات پس از کنفرانس کنفرانس بینالمللی تأیید رسمی نرمافزار شیگرا، FoVeOOS 2011، که در تورین، ایتالیا، در اکتبر 2011 برگزار شد - توسط COST Action IC0701 برگزار شد، ارائه میکند. 10 مقاله کامل اصلاح شده ارائه شده همراه با 5 سخنرانی دعوت شده به دقت بررسی و از بین 19 مقاله ارسالی انتخاب شدند. راستیآزمایی نرمافزار رسمی از حوزه مطالعات موردی دانشگاهی فراتر رفته است و صنعت علاقه جدی نشان میدهد. هدف منطقی بعدی تأیید صحت محصولات نرم افزاری صنعتی است. بیشتر زبان های برنامه نویسی مورد استفاده در عمل صنعتی شی گرا هستند، به عنوان مثال. جاوا، سی پلاس پلاس یا سی شارپ. FoVeOOS 2011 با هدف تقویت همکاری و تعامل بین محققان در این زمینه انجام شد.
This book presents the thoroughly refereed post-conference proceedings of the International Conference on Formal Verification of Object-Oriented Software, FoVeOOS 2011, held in Turin, Italy, in October 2011 – organised by COST Action IC0701. The 10 revised full papers presented together with 5 invited talks were carefully reviewed and selected from 19 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 2011 aimed to foster collaboration and interactions among researchers in this area.
Front Matter....Pages -
Modular Verification of Object-Based Programs....Pages 1-2
The COST IC0701 Verification Competition 2011....Pages 3-21
The Practical Application of Formal Methods: Where Is the Benefit for Industry?....Pages 22-32
Isolation Types and Multi-core Architectures....Pages 33-48
Modelling Adaptable Distributed Object Oriented Systems Using the HATS Approach: A Fredhopper Case Study....Pages 49-66
Modeling and Analyzing the Interaction of C and C++ Strings....Pages 67-85
Integration of Bounded Model Checking and Deductive Verification....Pages 86-104
A Probabilistic Framework for Object-Oriented Modeling and Analysis of Distributed Systems....Pages 105-122
Automated Detection of Non-termination and NullPointerException s for Java Bytecode ....Pages 123-141
Juggrnaut – An Abstract JVM....Pages 142-159
A Verified Implementation of Priority Monitors in Java....Pages 160-177
Scheduler-Specific Confidentiality for Multi-threaded Programs and Its Logic-Based Verification....Pages 178-195
A Formal Model of User-Defined Resources in Resource-Restricted Deployment Scenarios....Pages 196-213
A $\\mathbb{K}$ -Based Formal Framework for Domain-Specific Modelling Languages....Pages 214-231
Verification of Information Flow Properties of Java Programs without Approximations....Pages 232-249
Back Matter....Pages -