دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Web Services and Formal Methods: 6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers
دانلود کتاب خدمات وب و روشهای رسمی: ششمین کارگاه بین المللی ، WS-FM 2009 ، بولونیا ، ایتالیا ، 4 تا 4 سپتامبر 2009 ، نسخه های تجدید نظر شده
مشخصات کتاب
Web Services and Formal Methods: 6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers
دسته بندی: فن آوری ویرایش: 1 نویسندگان: Mariangiola Dezani-Ciancaglini, Ugo de’Liguoro (auth.), Cosimo Laneve, Jianwen Su (eds.) سری: Lecture Notes in Computer Science 6194 : Programming and Software Engineering ISBN (شابک) : 3642144578, 9783642144578 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2010 تعداد صفحات: 202 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 2 مگابایت
قیمت کتاب (تومان) : 51,000
کلمات کلیدی مربوط به کتاب خدمات وب و روشهای رسمی: ششمین کارگاه بین المللی ، WS-FM 2009 ، بولونیا ، ایتالیا ، 4 تا 4 سپتامبر 2009 ، نسخه های تجدید نظر شده: سیستم های اطلاعاتی و خدمات ارتباطی، برنامه های کاربردی سیستم های اطلاعاتی (شامل اینترنت)، شبکه های ارتباطی کامپیوتری، ذخیره سازی و بازیابی اطلاعات، مهندسی نرم افزار، سیستم های اطلاعات چند رسانه ای
در صورت تبدیل فایل کتاب Web Services and Formal Methods: 6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب خدمات وب و روشهای رسمی: ششمین کارگاه بین المللی ، WS-FM 2009 ، بولونیا ، ایتالیا ، 4 تا 4 سپتامبر 2009 ، نسخه های تجدید نظر شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب خدمات وب و روشهای رسمی: ششمین کارگاه بین المللی ، WS-FM 2009 ، بولونیا ، ایتالیا ، 4 تا 4 سپتامبر 2009 ، نسخه های تجدید نظر شده
این کتاب مجموعه مقالات پس از کارگاه آموزشی ششمین کارگاه بین المللی خدمات وب و روش های رسمی، WS-FM 2009، که در بولونیا، ایتالیا، در سپتامبر 2009 برگزار شد، تشکیل شده است. 10 مقاله کامل اصلاح شده همراه با یک مقاله دعوت شده با دقت ارائه شده است بررسی و از 18 مورد ارسالی انتخاب شد. این مقالات دارای موضوعاتی مانند رویکردهایی برای تجزیه و تحلیل و طراحی سیستم‌های مبتنی بر فناوری وب سرویس، رویکردهای رسمی به مدل‌سازی سیستم‌های سازمانی به طور کلی و مدل‌سازی فرآیند کسب‌وکار به طور خاص است.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the thoroughly refereed post-workshop proceedings of the 6th International Workshop on Web Services and Formal Methods, WS-FM 2009, held in Bologna, Italy, in September 2009. The 10 revised full papers presented together with one invited paper were carefully reviewed and selected from 18 submissions. The papers feature topics such as approaches to analyzing and designing systems based on Web Service technology, formal approaches to enterprise systems modeling in general, and business process modeling in particular.
فهرست مطالب
Front Matter....Pages -
Sessions and Session Types: An Overview....Pages 1-28
Choreography Rehearsal....Pages 29-45
A Graph Syntax for Processes and Services....Pages 46-60
A Formalisation of Adaptable Pervasive Flows....Pages 61-75
Compliance Preorders for Web Services....Pages 76-91
A Formal Semantics for the WS-BPEL Recovery Framework....Pages 92-109
Realizability Is Controllability....Pages 110-127
Specification and Verification of Multi-user Data-Driven Web Applications....Pages 128-146
Automated Composition of Nondeterministic Stateful Services....Pages 147-160
Towards Compensation Correctness in Interactive Systems....Pages 161-177
Small Specifications for Tree Update....Pages 178-195
Back Matter....Pages -
نظرات کاربران
کتاب های مرتبط
دانلود کتاب ASME Y14.100-2013 - Engineering Drawing Practices
دانلود کتاب Communicating Process Architectures 2008; WoTUG-31 - Concurrent Systems Engineering Series
دانلود کتاب Bioceramics
دانلود کتاب Requirements Engineering: Foundation for Software Quality: 16th International Working Conference, REFSQ 2010, Essen, Germany, June 30–July 2, 2010. Proceedings
دانلود کتاب Electromechanisms, motor controls
دانلود کتاب The Edm How-To Book (Electrical Discharge Machining)
دانلود کتاب Manual of Engineering Drawing, : Technical Product Specification and Documentation to British and International Standards
دانلود کتاب Project Management for Business and Engineering, : Principles and Practice
دانلود کتاب Flood Frequency Analysis (New Directions in Civil Engineering)
