ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Formal Techniques for Networked and Distributed Systems - FORTE 2006: 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006. Proceedings

دانلود کتاب تکنیک های رسمی برای سیستم های شبکه ای و توزیعی - FORTE 2006: 26th IFIP WG 6.1 کنفرانس بین المللی ، پاریس ، فرانسه ، 26 تا 29 سپتامبر 2006. مجموعه مقالات

Formal Techniques for Networked and Distributed Systems - FORTE 2006: 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006. Proceedings

مشخصات کتاب

Formal Techniques for Networked and Distributed Systems - FORTE 2006: 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006. Proceedings

دسته بندی: کنفرانس ها و همایش های بین المللی
ویرایش: 1 
نویسندگان: , , ,   
سری: Lecture Notes in Computer Science 4229 : Programming and Software Engineering 
ISBN (شابک) : 3540462198, 9783540462194 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 2006 
تعداد صفحات: 496 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 6 مگابایت 

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

در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد



کلمات کلیدی مربوط به کتاب تکنیک های رسمی برای سیستم های شبکه ای و توزیعی - FORTE 2006: 26th IFIP WG 6.1 کنفرانس بین المللی ، پاریس ، فرانسه ، 26 تا 29 سپتامبر 2006. مجموعه مقالات: شبکه های ارتباطی کامپیوتری، مهندسی نرم افزار، منطق و معانی برنامه ها، سیستم عامل ها



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

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


در صورت تبدیل فایل کتاب Formal Techniques for Networked and Distributed Systems - FORTE 2006: 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب تکنیک های رسمی برای سیستم های شبکه ای و توزیعی - FORTE 2006: 26th IFIP WG 6.1 کنفرانس بین المللی ، پاریس ، فرانسه ، 26 تا 29 سپتامبر 2006. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب تکنیک های رسمی برای سیستم های شبکه ای و توزیعی - FORTE 2006: 26th IFIP WG 6.1 کنفرانس بین المللی ، پاریس ، فرانسه ، 26 تا 29 سپتامبر 2006. مجموعه مقالات



این کتاب مجموعه مقالات داوری بیست و ششمین کنفرانس بین المللی IFIP WG 6.1 در تکنیک های رسمی برای سیستم های شبکه ای و توزیع شده، FORTE 2006، برگزار شده در پاریس، فرانسه، در سپتامبر 2006 است.

26 مورد تجدید نظر کامل مقالات و 4 مقاله کوتاه ارائه شده همراه با 3 سخنرانی دعوت شده به دقت بررسی و از بین 177 مقاله ارسالی انتخاب شدند. این مقالات بر ساخت میان‌افزار و سرویس‌ها با استفاده از رویکردهای رسمی و تأیید شده تمرکز می‌کنند و - علاوه بر مشخصات پروتکل کلاسیک، مشکلات تأیید و آزمایش - به مسائل ترکیب توابع پروتکل و الگوریتم‌ها برای سیستم‌های توزیع‌شده می‌پردازند.

مقالات در بخش‌های موضوعی خدمات، میان‌افزار، ترکیب و ترکیب، منطق، تأیید نمادین/برش، زبان‌های مدل‌سازی یکپارچه، شبکه‌های پتری، تأیید پارامتر، زمان واقعی، و آزمایش سازمان‌دهی شده‌اند.


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

This book constitutes the refereed proceedings of the 26th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2006, held in Paris, France, in September 2006.

The 26 revised full papers and 4 short papers presented together with 3 invited lectures were carefully reviewed and selected from 177 submissions. The papers focus on the construction of middleware and services using formalised and verified approaches, and address - in addition to the classical protocol specification, verification and testing problems - the issues of composition of protocol functions and of algorithms for distributed systems.

The papers are organized in topical sections on services, middleware, composition and synthesis, logics, symbolic verification/slicing, unified modeling languages, petri nets, parameterized verification, real time, and testing.



فهرست مطالب

Front Matter....Pages -
Modelling of Complex Software Systems: A Reasoned Overview....Pages 1-22
The  +  CAL Algorithm Language....Pages 23-23
Semantic-Based Development of Service-Oriented Systems....Pages 24-45
JSCL: A Middleware for Service Coordination....Pages 46-60
Analysis of Realizability Conditions for Web Service Choreographies....Pages 61-76
Web Cube....Pages 77-92
Presence Interaction Management in SIP SOHO Architecture....Pages 93-98
Formal Analysis of Dynamic, Distributed File-System Access Controls....Pages 99-114
Analysing the MUTE Anonymous File-Sharing System Using the Pi-Calculus....Pages 115-130
Towards Fine-Grained Automated Verification of Publish-Subscribe Architectures....Pages 131-135
A LOTOS Framework for Middleware Specification....Pages 136-142
Automatic Synthesis of Assumptions for Compositional Model Checking....Pages 143-158
Refined Interfaces for Compositional Verification....Pages 159-174
On Distributed Program Specification and Synthesis in Architectures with Cycles....Pages 175-190
Generalizing the Submodule Construction Techniques for Extended State Machine Models....Pages 191-195
Decidable Extensions of Hennessy-Milner Logic....Pages 196-211
Symbolic Verification of Communicating Systems with Probabilistic Message Losses: Liveness and Fairness....Pages 212-227
A New Approach for Concurrent Program Slicing....Pages 228-242
Reducing Software Architecture Models Complexity: A Slicing and Abstraction Approach....Pages 243-258
Branching Time Semantics for UML 2.0 Sequence Diagrams....Pages 259-274
Formalizing Collaboration Goal Sequences for Service Choreography....Pages 275-291
Composition of Use Cases Using Synchronization and Model Checking....Pages 292-306
PN Standardisation: A Survey....Pages 307-322
Resource Allocation Systems: Some Complexity Results on the S 4 PR Class....Pages 323-338
Optimized Colored Nets Unfolding....Pages 339-355
Liveness by Invisible Invariants....Pages 356-371
Extending EFSMs to Specify and Test Timed Systems with Action Durations and Timeouts....Pages 372-387
Scenario-Based Timing Consistency Checking for Time Petri Nets....Pages 388-403
Effective Representation of RT-LOTOS Terms by Finite Time Petri Nets....Pages 404-419
Grey-Box Checking....Pages 420-435
Integration Testing of Distributed Components Based on Learning Parameterized I/O Models....Pages 436-450
Minimizing Coordination Channels in Distributed Testing....Pages 451-466
Derivation of a Suitable Finite Test Suite for Customized Probabilistic Systems....Pages 467-483
Back Matter....Pages -




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