ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Formal Methods for Open Object-Based Distributed Systems: 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings

دانلود کتاب روشهای رسمی برای سیستم های توزیع شده مبتنی بر شیء آزاد: کنفرانس بین المللی 9-IFIP WG 6.1 ، FMOODS 2007 ، پافوس ، قبرس ، 6-8 ژوئن 2007. مجموعه مقالات

Formal Methods for Open Object-Based Distributed Systems: 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings

مشخصات کتاب

Formal Methods for Open Object-Based Distributed Systems: 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings

دسته بندی: کامپیوتر
ویرایش: 1 
نویسندگان: , , , ,   
سری: Lecture Notes in Computer Science 4468 
ISBN (شابک) : 3540729194, 9783540729198 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 2007 
تعداد صفحات: 326 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 4 مگابایت

قیمت کتاب (تومان) : 35,000



کلمات کلیدی مربوط به کتاب روشهای رسمی برای سیستم های توزیع شده مبتنی بر شیء آزاد: کنفرانس بین المللی 9-IFIP WG 6.1 ، FMOODS 2007 ، پافوس ، قبرس ، 6-8 ژوئن 2007. مجموعه مقالات: شبکه های ارتباطی کامپیوتری، تکنیک های برنامه نویسی، مهندسی نرم افزار، سیستم عامل ها، زبان های برنامه نویسی، کامپایلرها، مترجمان، منطق ها و معانی برنامه ها



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 5


در صورت تبدیل فایل کتاب Formal Methods for Open Object-Based Distributed Systems: 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب روشهای رسمی برای سیستم های توزیع شده مبتنی بر شیء آزاد: کنفرانس بین المللی 9-IFIP WG 6.1 ، FMOODS 2007 ، پافوس ، قبرس ، 6-8 ژوئن 2007. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب روشهای رسمی برای سیستم های توزیع شده مبتنی بر شیء آزاد: کنفرانس بین المللی 9-IFIP WG 6.1 ، FMOODS 2007 ، پافوس ، قبرس ، 6-8 ژوئن 2007. مجموعه مقالات

این جلد شامل مجموعه مقالات نهمین کنفرانس بین المللی IFIP WG 6.1 در مورد روش های رسمی برای سیستم های توزیع شده مبتنی بر شی باز است (FMOODS 2007). این کنفرانس بخشی از کنفرانس‌های فدرال تکنیک‌های محاسباتی توزیع‌شده (DisCoTec)، همراه با نهمین کنفرانس بین‌المللی مدل‌ها و زبان‌های هماهنگی (COORDINATION2007) و هفتمین کنفرانس بین‌المللی IFIP در مورد برنامه‌های کاربردی توزیع‌شده و سیستم‌های متقابل (DAIS 2007) است. این رویداد توسط دپارتمان علوم کامپیوتر دانشگاه قبرس سازماندهی شد و در پافوس، قبرس طی 6 تا 8 ژوئن 2007 برگزار شد. این رویداد سومین مجموعه کنفرانس فدرال دیسکوتک بود که در ژوئن 2005 در آتن آغاز شد و ادامه یافت. در بولونیا در ژوئن 2006.


توضیحاتی درمورد کتاب به خارجی

This volume contains the proceedings of the Ninth IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2007). The conference is part of the federated conferences on Distributed Computing Techniques (DisCoTec), together with the Ninth International Conference on Coordination Models and Languages (COORDINATION2007) and the Seventh IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS 2007). It was organized by the Department of Computer Science of the University of Cyprus, and it was held in Paphos, Cyprus during June, 6-8, 2007. The event was the third federated DisCoTec conference series, initiated in Athens in June 2005 and continued in Bologna in June 2006.



فهرست مطالب

Front Matter....Pages -
Asynchronous Session Types and Progress for Object Oriented Languages....Pages 1-31
KeY: A Formal Method for Object-Oriented Systems....Pages 32-43
Verifying Distributed, Event-Based Middleware Applications Using Domain-Specific Software Model Checking....Pages 44-58
Model Checking of Extended OCL Constraints on UML Models in SOCLe....Pages 59-75
Analysis of UML Activities Using Dynamic Meta Modeling....Pages 76-90
Distributed Applications Implemented in Maude with Parameterized Skeletons....Pages 91-106
On Formal Analysis of OO Languages Using Rewriting Logic: Designing for Performance....Pages 107-121
Formal Modeling and Analysis of the OGDC Wireless Sensor Network Algorithm in Real-Time Maude....Pages 122-140
Adaptation of Open Component-Based Systems....Pages 141-156
A Representation-Independent Behavioral Semantics for Object-Oriented Components....Pages 157-173
A Formal Language for Electronic Contracts....Pages 174-189
A Mechanized Model of the Theory of Objects....Pages 190-205
Pict Correctness Revisited....Pages 206-220
A Refinement Method for Java Programs....Pages 221-235
Refactoring Object-Oriented Specifications with Data and Processes....Pages 236-251
A Sound and Complete Shared-Variable Concurrency Model for Multi-threaded Java Programs....Pages 252-268
Performance-Oriented Comparison of Web Services Via Client-Specific Testing Preorders....Pages 269-284
A Probabilistic Formal Analysis Approach to Cross Layer Optimization in Distributed Embedded Systems....Pages 285-300
On Resource-Sensitive Timed Component Connectors....Pages 301-316
Back Matter....Pages -




نظرات کاربران

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی