دانلود کتاب Model-Driven Development of Reliable Automotive Services: Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers
کتاب توسعه مدل محور خدمات خودرویی قابل اعتماد: دومین کارگاه نرم افزاری خودرو، ASWSD 2006، سن دیگو، کالیفرنیا، ایالات متحده آمریکا، 15 تا 17 مارس 2006، مقالات منتخب اصلاح شده نسخه زبان اصلی
دانلود کتاب توسعه مدل محور خدمات خودرویی قابل اعتماد: دومین کارگاه نرم افزاری خودرو، ASWSD 2006، سن دیگو، کالیفرنیا، ایالات متحده آمریکا، 15 تا 17 مارس 2006، مقالات منتخب اصلاح شده بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
توضیحاتی در مورد کتاب Model-Driven Development of Reliable Automotive Services: Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers
نام کتاب : Model-Driven Development of Reliable Automotive Services: Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers
ویرایش : 1
عنوان ترجمه شده به فارسی : توسعه مدل محور خدمات خودرویی قابل اعتماد: دومین کارگاه نرم افزاری خودرو، ASWSD 2006، سن دیگو، کالیفرنیا، ایالات متحده آمریکا، 15 تا 17 مارس 2006، مقالات منتخب اصلاح شده
سری : Lecture Notes in Computer Science 4922 Programming and Software Engineering
نویسندگان : K. Venkatesh Prasad, Thomas J. Giuli, David Watson (auth.), Manfred Broy, Ingolf H. Krüger, Michael Meisinger (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال نشر : 2008
تعداد صفحات : 198
ISBN (شابک) : 9783540709299 , 9783540709305
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 7 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
این کتاب مجموعه مقالات پس از کارگاه آموزشی دومین کارگاه نرم افزاری خودرو، ASWSD 2006 است که در مارس 2006 در سن دیگو، کالیفرنیا، ایالات متحده برگزار شد.
11 مقالات کامل اصلاح شده ارائه شده به دقت بررسی و از 18 سخنرانی برگزار شده در این کارگاه انتخاب شدند که متخصصان صنعت و دانشگاه را گرد هم می آوردند و روی سیستم های نرم افزاری بسیار پیچیده، پراکنده و واکنشی مرتبط با حوزه خودرو کار می کردند. مقالات در بخش‌های موضوعی در مورد تکنیک‌ها و زیرساخت‌های مدل‌سازی، تحولات مدل، تضمین کیفیت، کنترل زمان واقعی، و همچنین خدمات و مؤلفه‌ها سازمان‌دهی شده‌اند.
فهرست مطالب :
Front Matter....Pages -
The Case for Modeling Security, Privacy, Usability and Reliability (SPUR) in Automotive Software....Pages 1-14
Addressing Cross-Tool Semantic Ambiguities in Behavior Modeling for Vehicle Motion Control....Pages 15-33
A Software and System Modeling Facility for Vehicle Environment Interactions....Pages 34-47
Generating Sound and Resource-Aware Code from Hybrid Systems Models....Pages 48-66
Towards Verification of Model Transformations Via Goal-Directed Certification....Pages 67-83
An Instrumentation-Based Approach to Controller Model Validation....Pages 84-97
TestML - A Test Exchange Language for Model-Based Testing of Embedded Software....Pages 98-117
Towards Integrated Model-Driven Verification and Empirical Validation of Reusable Software Frameworks for Automotive Systems....Pages 118-132
Modeling with the Timing Definition Language (TDL)....Pages 133-144
Towards Model-Driven Development of Hard Real-Time Systems....Pages 145-160
Reusable Services and Semi-automatic Service Composition for Automotive Software....Pages 161-181
Back Matter....Pages -
توضیحاتی در مورد کتاب به زبان اصلی :
This book constitutes the thoroughly refereed post-workshop proceedings of the Second Automotive Software Workshop, ASWSD 2006, held in San Diego, CA, USA in March 2006.
The 11 revised full papers presented were carefully reviewed and selected from 18 lectures held at the workshop, that brought together experts from industry and academia, working on highly complex, distributed, reactive software systems related to the automotive domain. The papers are organized in topical sections on modeling techniques and infrastructures, model transformations, quality assurance, real-time control, as well as services and components.
پست ها تصادفی