دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Formal Aspects of Component Software: 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers
دانلود کتاب جنبه های رسمی نرم افزار کامپوننت: هفتمین کارگاه بین المللی، FACS 2010، گیماراس، پرتغال، 14-16 اکتبر 2010، مقالات منتخب اصلاح شده
مشخصات کتاب
Formal Aspects of Component Software: 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers
ویرایش: [1 ed.] نویسندگان: Sanjit A. Seshia (auth.), Luís Soares Barbosa, Markus Lumpe (eds.) سری: Lecture Notes in Computer Science 6921 ISBN (شابک) : 9783642272684, 364227269X ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2012 تعداد صفحات: 305 [313] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 5 Mb
قیمت کتاب (تومان) : 28,000
در صورت تبدیل فایل کتاب Formal Aspects of Component Software: 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب جنبه های رسمی نرم افزار کامپوننت: هفتمین کارگاه بین المللی، FACS 2010، گیماراس، پرتغال، 14-16 اکتبر 2010، مقالات منتخب اصلاح شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب جنبه های رسمی نرم افزار کامپوننت: هفتمین کارگاه بین المللی، FACS 2010، گیماراس، پرتغال، 14-16 اکتبر 2010، مقالات منتخب اصلاح شده
این کتاب شامل مقالات منتخب اصلاح شده هفتمین کارگاه بین المللی جنبه های رسمی نرم افزار کامپوننت، FACS 2010 است که در گیماراس، پرتغال، در اکتبر 2010 برگزار شد. 13 مقاله کامل و 4 مقاله کوتاه همراه با 1 بحث میزگرد و 2 مقاله ارائه شده است. گفتگوهای دعوت شده به دقت بررسی و از بین 37 مورد ارسالی انتخاب شدند. این کارگاه به دنبال ایجاد درک بهتری در مورد چگونگی استفاده از روش‌های رسمی برای موفقیت در توسعه نرم‌افزار مبتنی بر مؤلفه است.
توضیحاتی درمورد کتاب به خارجی
This book constitutes revised selected papers of the 7th International Workshop on Formal Aspects of Component Software, FACS 2010, held in Guimarães, Portugal, in October 2010. The 13 full papers and 4 short papers presented together with 1 panel discussion and 2 invited talks were carefully reviewed and selected from 37 submissions. The workshop seeks to develop a better understanding on how formal methods can or should be used for component-based software development to succeed.
فهرست مطالب
Front Matter....Pages -
Quantitative Analysis of Software: Challenges and Recent Advances....Pages 1-5
Analysis of Service Oriented Software Systems with the Conversation Calculus....Pages 6-33
QoS Contract-Aware Reconfiguration of Component Architectures Using E-Graphs....Pages 34-52
Monitoring Method Call Sequences Using Annotations....Pages 53-70
An Introduction to Pervasive Interface Automata....Pages 71-87
A Separation Logic for OO Programs....Pages 88-105
Model Checking Adaptive Multilevel Service Compositions....Pages 106-124
Distributed Adaption of Dining Philosophers....Pages 125-144
Component Service Promotion: Contracts, Mechanisms and Safety....Pages 145-162
Systems-Theoretic View of Component-Based Software Development....Pages 163-181
Aspect Weaving in UML Activity Diagrams: A Semantic and Algorithmic Framework....Pages 182-199
Using Temporal Logic for Dynamic Reconfigurations of Components....Pages 200-217
Modular Termination Analysis of Java Bytecode and Its Application to phoneME Core Libraries....Pages 218-236
Decomposition of Constraint Automata....Pages 237-258
Graph Representation of Sessions and Pipelines for Structured Service Programming....Pages 259-276
Will the Real Service Oriented Computing Please Stand Up?....Pages 277-285
Performance Verification in Complex Enterprise-Level Component Systems....Pages 286-289
Runtime Programming through Model-Preserving, Scalable Runtime Patches....Pages 290-294
Steps on the Road to Component Evolvability....Pages 295-299
Towards Linear Algebras of Components....Pages 300-303
Back Matter....Pages -
نظرات کاربران
کتاب های تصادفی
دانلود کتاب MOS (metal oxide semiconductor) physics and technology
دانلود کتاب Curry & kimchi: flavor secrets for creating 70 Asian-inspired recipes at home
دانلود کتاب Imperial plots: women, land, and the spadework of British colonialism on the Canadian Prairies
دانلود کتاب Adoleszenz - Migration - Bildung: Bildungsprozesse Jugendlicher und junger Erwachsener mit Migrationshintergrund
