ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب 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 ، نسخه های تجدید نظر شده

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 
نویسندگان: , , , , ,   
سری: Lecture Notes in Computer Science 4922 Programming and Software Engineering 
ISBN (شابک) : 9783540709299, 9783540709305 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 2008 
تعداد صفحات: 198 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 7 مگابایت 

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



کلمات کلیدی مربوط به کتاب توسعه مدل محور از خدمات قابل اعتماد خودرو: دومین کارگاه نرم افزار اتومبیل ، ASWSD 2006 ، سن دیگو ، کالیفرنیا ، ایالات متحده ، 15-17 مارس 2006 ، نسخه های تجدید نظر شده: سیستم‌های مبتنی بر هدف و کاربرد ویژه، مهندسی نرم‌افزار، محاسبات با دستگاه‌های انتزاعی، منطق و معانی برنامه‌ها، شبیه‌سازی و مدل‌سازی



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

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


در صورت تبدیل فایل کتاب Model-Driven Development of Reliable Automotive Services: Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب توسعه مدل محور از خدمات قابل اعتماد خودرو: دومین کارگاه نرم افزار اتومبیل ، ASWSD 2006 ، سن دیگو ، کالیفرنیا ، ایالات متحده ، 15-17 مارس 2006 ، نسخه های تجدید نظر شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب توسعه مدل محور از خدمات قابل اعتماد خودرو: دومین کارگاه نرم افزار اتومبیل ، ASWSD 2006 ، سن دیگو ، کالیفرنیا ، ایالات متحده ، 15-17 مارس 2006 ، نسخه های تجدید نظر شده




این کتاب مجموعه مقالات پس از کارگاه آموزشی دومین کارگاه نرم افزاری خودرو، ASWSD 2006 است که در مارس 2006 در سن دیگو، کالیفرنیا، ایالات متحده برگزار شد.

11 مقالات کامل بازبینی شده ارائه شده به دقت بررسی و از 18 سخنرانی برگزار شده در کارگاه انتخاب شدند، که کارشناسان صنعت و دانشگاه را گرد هم می آورد و روی سیستم های نرم افزاری بسیار پیچیده، پراکنده و واکنشی مرتبط با حوزه خودرو کار می کرد. مقالات در بخش‌های موضوعی در مورد تکنیک‌ها و زیرساخت‌های مدل‌سازی، تحولات مدل، تضمین کیفیت، کنترل زمان واقعی، و همچنین خدمات و مؤلفه‌ها سازمان‌دهی شده‌اند.


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


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.



فهرست مطالب

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 -




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