دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب 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
ویرایش: 1 نویسندگان: K. Venkatesh Prasad, Thomas J. Giuli, David Watson (auth.), Manfred Broy, Ingolf H. Krüger, Michael Meisinger (eds.) سری: 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 مگابایت
قیمت کتاب (تومان) : 51,000
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
کلمات کلیدی مربوط به کتاب توسعه مدل محور از خدمات قابل اعتماد خودرو: دومین کارگاه نرم افزار اتومبیل ، 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 به فرمت های 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 -
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Internationale Vertriebssteuerung by Result Framing: So sichern Sie Ihre Sales-Ergebnisse weltweit
دانلود کتاب 100 Paediatric Picture Tests
دانلود کتاب Make your brain work : how to maximize your efficiency, productivity and effectiveness
