دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Reliable Software Technologies – Ada-Europe 2012: 17th Ada-Europe International Conference on Reliable Software Technologies, Stockholm, Sweden, June 11-15, 2012. Proceedings
دانلود کتاب Reliable Software Technologies – Ada-Europe 2012: هفدهمین کنفرانس بین المللی Ada-Europe در زمینه فناوری های نرم افزار قابل اعتماد، استکهلم، سوئد، 11-15 ژوئن 2012. مجموعه مقالات
مشخصات کتاب
Reliable Software Technologies – Ada-Europe 2012: 17th Ada-Europe International Conference on Reliable Software Technologies, Stockholm, Sweden, June 11-15, 2012. Proceedings
ویرایش: 1 نویسندگان: Marco Panunzio, Tullio Vardanega (auth.), Mats Brorsson, Luís Miguel Pinho (eds.) سری: Lecture Notes in Computer Science 7308 ISBN (شابک) : 9783642305979, 9783642305986 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2012 تعداد صفحات: 232 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 6 مگابایت
قیمت کتاب (تومان) : 57,000
کلمات کلیدی مربوط به کتاب Reliable Software Technologies – Ada-Europe 2012: هفدهمین کنفرانس بین المللی Ada-Europe در زمینه فناوری های نرم افزار قابل اعتماد، استکهلم، سوئد، 11-15 ژوئن 2012. مجموعه مقالات: است
در صورت تبدیل فایل کتاب Reliable Software Technologies – Ada-Europe 2012: 17th Ada-Europe International Conference on Reliable Software Technologies, Stockholm, Sweden, June 11-15, 2012. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب Reliable Software Technologies – Ada-Europe 2012: هفدهمین کنفرانس بین المللی Ada-Europe در زمینه فناوری های نرم افزار قابل اعتماد، استکهلم، سوئد، 11-15 ژوئن 2012. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب Reliable Software Technologies – Ada-Europe 2012: هفدهمین کنفرانس بین المللی Ada-Europe در زمینه فناوری های نرم افزار قابل اعتماد، استکهلم، سوئد، 11-15 ژوئن 2012. مجموعه مقالات
این کتاب مجموعه مقالات داوری هفدهمین کنفرانس بین المللی Ada-Europe در زمینه فناوری های نرم افزار قابل اعتماد، Ada-Europe 2012، که در استکهلم، سوئد، در ژوئن 2012 برگزار شد، تشکیل می شود. ارسالی ها آنها در بخش‌های موضوعی در چارچوب‌های برنامه، استفاده از ada، مدل‌سازی، آزمایش و اعتبارسنجی، و سیستم‌های بلادرنگ سازماندهی شده‌اند.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 17th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2012, held in Stockholm, Sweden, in June 2012. The revised 15 full papers presented were carefully reviewed and selected from 34 submissions. They are organized in topical sections on application frameworks, use of ada, modeling, testing and validation,and real-time systems.
فهرست مطالب
Front Matter....Pages -
Ada Ravenscar Code Archetypes for Component-Based Development....Pages 1-17
An Integrated Framework for Multiprocessor, Multimoded Real-Time Applications....Pages 18-34
Integrating Middleware for Timely Reconfiguration of Distributed Soft Real-Time Systems with Ada DSA....Pages 35-48
Source Code as the Key Artifact in Requirement-Based Development: The Case of Ada 2012....Pages 49-59
Teaching ‘Concepts of Programming Languages’ with Ada....Pages 60-74
Designing the API for a Cryptographic Library....Pages 75-88
Handling Synchronization Requirements under Separation of Concerns in Model-Driven Component-Based Development....Pages 89-104
An Approach to Model Checking Ada Programs....Pages 105-118
Formal Modelling for Ada Implementations: Tasking Event-B....Pages 119-132
Augmenting Formal Development with Use Case Reasoning....Pages 133-146
Formal Goal-Oriented Development of Resilient MAS in Event-B....Pages 147-161
Choices, Choices: Comparing between CHOC’LATE and the Classification-Tree Methodology....Pages 162-176
Improving the Performance of Execution Time Control by Using a Hardware Time Management Unit....Pages 177-192
Implementing and Verifying EDF Preemption-Level Resource Control....Pages 193-206
Efficient Constraint Handling during Designing Reliable Automotive Real-Time Systems....Pages 207-220
Back Matter....Pages -
