دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
دسته بندی: کنفرانس ها و همایش های بین المللی ویرایش: 1 نویسندگان: Daniel Krob (auth.), Elie Najm, Jean-François Pradat-Peyre, Véronique Viguié Donzeau-Gouge (eds.) سری: 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 مگابایت
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
کلمات کلیدی مربوط به کتاب تکنیک های رسمی برای سیستم های شبکه ای و توزیعی - 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 به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تکنیک های رسمی برای سیستم های شبکه ای و توزیعی - 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 -