دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures
دانلود کتاب روش های رسمی برای اجزا و اشیاء: هفتمین همایش بین المللی، FMCO 2007، آمستردام، هلند، 24-26 اکتبر 2007، سخنرانی های اصلاح شده
مشخصات کتاب
Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures
ویرایش: 1 نویسندگان: Gilles Barthe, Pierre Crégut, Benjamin Grégoire, Thomas Jensen, David Pichardie (auth.), Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever (eds.) سری: Lecture Notes in Computer Science 5382 : Programming and Software Engineering ISBN (شابک) : 3540921877, 9783540921875 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2008 تعداد صفحات: 321 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 8 مگابایت
قیمت کتاب (تومان) : 37,000
کلمات کلیدی مربوط به کتاب روش های رسمی برای اجزا و اشیاء: هفتمین همایش بین المللی، FMCO 2007، آمستردام، هلند، 24-26 اکتبر 2007، سخنرانی های اصلاح شده: مهندسی نرم افزار، زبان های برنامه نویسی، کامپایلرها، مترجمان، منطق و معانی برنامه ها، سیستم عامل ها
در صورت تبدیل فایل کتاب Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب روش های رسمی برای اجزا و اشیاء: هفتمین همایش بین المللی، FMCO 2007، آمستردام، هلند، 24-26 اکتبر 2007، سخنرانی های اصلاح شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب روش های رسمی برای اجزا و اشیاء: هفتمین همایش بین المللی، FMCO 2007، آمستردام، هلند، 24-26 اکتبر 2007، سخنرانی های اصلاح شده
روش‌های رسمی با موفقیت برای تأیید برنامه‌های با اندازه متوسط در طراحی پروتکل و سخت‌افزار استفاده شده‌اند. با این حال، کاربرد آنها برای توسعه سیستم‌های بزرگ نیاز به تاکید بیشتر بر مشخصات، مدلسازی و تکنیک‌های اعتبارسنجی دارد که از مفاهیم قابلیت استفاده مجدد و اصلاح‌پذیری پشتیبانی می‌کنند، و پیاده‌سازی آنها در برنامه‌های افزودنی جدید زبان‌های برنامه‌نویسی موجود مانند جاوا.
6th. سمپوزیوم بین المللی روش های رسمی برای اجزا و اشیاء، FMCO 2007، در آمستردام، هلند، در اکتبر 2007 برگزار شد. این کتاب 12 مقاله تجدید نظر شده ارائه شده پس از سمپوزیوم توسط سخنرانان هر یک از پروژه های IST اروپایی زیر را ارائه می دهد: IST- پروژه FP6 Mobius، توسعه فناوری برای ایجاد اعتماد و امنیت برای نسل بعدی کامپیوترهای جهانی. پروژه IST-FP6 SelfMan در مورد مدیریت خود برای سیستم های توزیع شده در مقیاس بزرگ بر اساس شبکه ها و اجزای همپوشانی ساختاریافته. پروژه IST-FP6 GridComp و FP6 CoreGRID شبکه تعالی در برنامه نویسی شبکه با کامپوننت. خوشه مؤلفه بلادرنگ شبکه تعالی در طراحی سیستم جاسازی شده ARTIST، با تمرکز بر فرآیندهای طراحی، و معماری برای سیستم های جاسازی شده بلادرنگ. و پروژه IST-FP6 CREDO در مدلسازی و تحلیل ساختارهای تکاملی برای خدمات توزیع شده.
توضیحاتی درمورد کتاب به خارجی
Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to the development of large systems requires more emphasis on specification, modelling and validation techniques supporting the concepts of reusability and modifiability, and their implementation in new extensions of existing programming languages like Java.
The 6th International Symposium on Formal Methods for Components and Objects, FMCO 2007, was held in Amsterdam, The Netherlands, in October 2007. This book presents 12 revised papers submitted after the symposium by the speakers of each of the following European IST projects: the IST-FP6 project Mobius, developing the technology for establishing trust and security for the next generation of global computers; the IST-FP6 project SelfMan on self management for large-scale distributed systems based on structured overlay networks and components; the IST-FP6 project GridComp and the FP6 CoreGRID Network of Excellence on grid programming with components; the Real-time component cluster of the Network of Excellence on Embedded System Design ARTIST, focussing on design processes, and architectures for real-time embedded systems; and the IST-FP6 project CREDO on modeling and analysis of evolutionary structures for distributed services.
فهرست مطالب
Front Matter....Pages -
The MOBIUS Proof Carrying Code Infrastructure....Pages 1-24
Certification Using the Mobius Base Logic....Pages 25-51
Safety Guarantees from Explicit Resource Management....Pages 52-71
Universe Types for Topology and Encapsulation....Pages 72-112
COSTA : Design and Implementation of a Cost and Termination Analyzer for Java Bytecode....Pages 113-132
Active Objects and Distributed Components: Theory and Implementation....Pages 133-152
Self Management for Large-Scale Distributed Systems: An Overview of the SELFMAN Project....Pages 153-178
Causal Semantics for the Algebra of Connectors....Pages 179-199
Multiple Viewpoint Contract-Based Specification and Design....Pages 200-225
Coordination: Reo, Nets, and Logic....Pages 226-256
An Object-Oriented Component Model for Heterogeneous Nets....Pages 257-279
Coordinating Object Oriented Components Using Data-Flow Networks....Pages 280-311
Back Matter....Pages -
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Gesetz betreffend die Schlachtvieh- und Fleischbeschau vom 3. Juni 1900 nebst Ausführungsbestimmungen
