دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Formal Methods for Open Object-Based Distributed Systems: 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005. Proceedings
دانلود کتاب روش های رسمی برای سیستم های توزیع شده مبتنی بر شیء باز: هفتمین کنفرانس بین المللی IFIP WG 6.1 ، FMOODS 2005 ، آتن ، یونان ، 15 تا 17 ژوئن ، 2005. مجموعه مقالات
مشخصات کتاب
Formal Methods for Open Object-Based Distributed Systems: 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005. Proceedings
دسته بندی: کنفرانس ها و همایش های بین المللی ویرایش: 1 نویسندگان: Rocco De Nicola, Daniele Gorla, Rosario Pugliese (auth.), Martin Steffen, Gianluigi Zavattaro (eds.) سری: Lecture Notes in Computer Science 3535 : Programming and Software Engineering ISBN (شابک) : 3540261818, 9783540261810 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2005 تعداد صفحات: 332 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
قیمت کتاب (تومان) : 31,000
کلمات کلیدی مربوط به کتاب روش های رسمی برای سیستم های توزیع شده مبتنی بر شیء باز: هفتمین کنفرانس بین المللی IFIP WG 6.1 ، FMOODS 2005 ، آتن ، یونان ، 15 تا 17 ژوئن ، 2005. مجموعه مقالات: شبکه های ارتباطی کامپیوتری، تکنیک های برنامه نویسی، مهندسی نرم افزار، زبان های برنامه نویسی، کامپایلرها، مترجمان، سیستم عامل ها، منطق و معانی برنامه ها
در صورت تبدیل فایل کتاب Formal Methods for Open Object-Based Distributed Systems: 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب روش های رسمی برای سیستم های توزیع شده مبتنی بر شیء باز: هفتمین کنفرانس بین المللی IFIP WG 6.1 ، FMOODS 2005 ، آتن ، یونان ، 15 تا 17 ژوئن ، 2005. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب روش های رسمی برای سیستم های توزیع شده مبتنی بر شیء باز: هفتمین کنفرانس بین المللی IFIP WG 6.1 ، FMOODS 2005 ، آتن ، یونان ، 15 تا 17 ژوئن ، 2005. مجموعه مقالات
این کتاب مجموعه مقالات داوری هفتمین کنفرانس بین المللی IFIP WG 6.1 در مورد روش های رسمی برای سیستم های توزیع شده مبتنی بر شی باز، FMOODS 2005، در آتن، یونان در 15-17 ژوئن 2005 است. کنفرانس FMOODS به عنوان یک رویداد مشترک در فدراسیون با پنجمین کنفرانس بین المللی IFIP WG 6.1 در مورد برنامه های کاربردی توزیع شده و سیستم های متقابل (DAIS 2005).
19 مقاله کامل اصلاح شده ارائه شده همراه با مقاله دعوت شده به دقت بررسی و از بین 91 مقاله ارسالی انتخاب شدند. مقالات در بخش های موضوعی در مورد مدل ها و محاسبات، UML، امنیت، ترکیب و تأیید، تجزیه و تحلیل برنامه های جاوا، خدمات وب، مشخصات و تأیید سازماندهی شده اند.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 7th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2005, held in Athens, Greece on June 15-17, 2005. The FMOODS conference was held as a joint event in federation with the 5th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems (DAIS 2005).
The 19 revised full papers presented together with an invited paper were carefully reviewed and selected from 91 submissions. The papers are organized in topical sections on models and calculi, UML, security, composition and verification, analysis of java programs, Web services, specification and verification.
فهرست مطالب
Front Matter....Pages -
Pattern Matching over a Dynamic Network of Tuple Spaces....Pages 1-14
A Dynamic Class Construct for Asynchronous Concurrent Objects....Pages 15-30
An Abstract Machine for the Kell Calculus....Pages 31-46
XPi: A Typed Process Calculus for XML Messaging....Pages 47-66
Checking the Validity of Scenarios in UML Models....Pages 67-82
An Extended Type System for OCL Supporting Templates and Transformations....Pages 83-98
A Semantics for UML-RT Active Classes via Mapping into Circus....Pages 99-114
Towards an Integrated Formal Analysis for Security and Trust....Pages 115-130
A Formal Security Analysis of an OSA/Parlay Authentication Interface....Pages 131-146
Tracing Integration Analysis in Component-Based Formal Specifications....Pages 147-162
CompAr: Ensuring Safe Around Advice Composition....Pages 163-178
Guaranteeing Resource Bounds for Component Software....Pages 179-194
Specification and Verification of Encapsulation in Java Programs....Pages 195-210
Detecting Errors in Multithreaded Programs by Generalized Predictive Analysis of Executions....Pages 211-226
Transforming Information in RDF to Rewriting Logic....Pages 227-242
Modeling- and Analysis Techniques for Web Services and Business Processes....Pages 243-258
A Distributed Implementation of Mobile Nets as Mobile Agents....Pages 259-274
On Correctness of Dynamic Protocol Update....Pages 275-289
Property-Driven Development of a Coordination Model for Distributed Simulations....Pages 290-305
A Timing Analysis of AODV....Pages 306-321
Back Matter....Pages -
نظرات کاربران
کتاب های مرتبط
دانلود کتاب Probabilistic Methods in Fluids: Proceedings of the Swansea 2002 Workshop, Wale, UK, 14-19 April 2002
دانلود کتاب Agent Mediated Electronic Commerce: First International Workshop on Agent Mediated Electronic Trading AMET-98 Minneapolis, MN, USA, May 10th, 1998 Selected Papers
دانلود کتاب Shapes of Galaxies and Their Dark Halos: The Proceedings of the Yale Cosmology Workshop
دانلود کتاب Formal Approaches to Software Testing: 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers
دانلود کتاب Innovative Internet Community Systems: 5th International Workshop, IICS 2005, Paris, France, June 20-22, 2005. Revised Papers
دانلود کتاب Conferences internationales de sciences mathematiques ... III Colloque consacre a la theorie des probabilites ... Troisieme partie. Les sommes et les fonctions de variables aleatoires.
دانلود کتاب Intelligent robots and systems: selections of the International Conference on Intelligent Robots and Systems 1994, IROS 94, Munich, Germany, 12-16 September 1994
دانلود کتاب Hardware and Software, Verification and Testing: First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers
دانلود کتاب Algorithms in Bioinformatics: 4th International Workshop, WABI 2004, Bergen, Norway, September 17-21, 2004. Proceedings
