مشخصات کتاب

Reliable Software Technologies – Ada-Europe 2016: 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings

ویرایش: 1 
نویسندگان: Marko Bertogna,  Luis Miguel Pinho,  Eduardo Quiñones (eds.)  
سری: Lecture Notes in Computer Science 9695 
ISBN (شابک) : 9783319390826, 9783319390833 
ناشر: Springer International Publishing 
سال نشر: 2016 
تعداد صفحات: 217 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 8 مگابایت 

کلمات کلیدی مربوط به کتاب Reliable Software Technologies - Ada-Europe 2016: بیست و یکمین کنفرانس بین المللی Ada-Europe در زمینه فناوری های نرم افزار قابل اعتماد ، پیزا ، ایتالیا ، 13-17 ژوئن 2016 ،: زبان‌های برنامه‌نویسی، کامپایلرها، مترجمان، مهندسی نرم‌افزار، سیستم‌های مبتنی بر هدف و کاربرد خاص، منطق و معانی برنامه‌ها، منطق ریاضی و زبان‌های رسمی

در صورت تبدیل فایل کتاب Reliable Software Technologies – Ada-Europe 2016: 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب Reliable Software Technologies - Ada-Europe 2016: بیست و یکمین کنفرانس بین المللی Ada-Europe در زمینه فناوری های نرم افزار قابل اعتماد ، پیزا ، ایتالیا ، 13-17 ژوئن 2016 ، نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب Reliable Software Technologies - Ada-Europe 2016: بیست و یکمین کنفرانس بین المللی Ada-Europe در زمینه فناوری های نرم افزار قابل اعتماد ، پیزا ، ایتالیا ، 13-17 ژوئن 2016 ،

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

فهرست مطالب

Front Matter....Pages I-XIV
Front Matter....Pages 1-1
Why the Expressive Power of Programming Languages Such as Ada Is Needed for Future Cyber Physical Systems....Pages 3-11
Front Matter....Pages 13-13
Modeling and Analysis of Data Flow Graphs Using the Digraph Real-Time Task Model....Pages 15-29
Eliminating Data Race Warnings Using CSP....Pages 30-43
Real-Time Stream Processing in Java....Pages 44-57
Front Matter....Pages 59-59
Addressing the Regression Test Problem with Change Impact Analysis for Ada....Pages 61-77
Test Case Prioritization Using Online Fault Detection Information....Pages 78-93
An Experience in Ada Multicore Programming: Parallelisation of a Model Checking Engine....Pages 94-109
Front Matter....Pages 111-111
Lessons Learned in a Journey Toward Correct-by-Construction Model-Based Development....Pages 113-128
Extension of the Ocarina Tool Suite to Support Reliable Replication-Based Fault-Tolerance....Pages 129-144
Kronecker Algebra for Static Analysis of Barriers in Ada....Pages 145-159
Front Matter....Pages 161-161
An Empirical Investigation of Eager and Lazy Preemption Approaches in Global Limited Preemptive Scheduling....Pages 163-178
The Polling Effect on the Schedulability of Distributed Real-Time Systems....Pages 179-194
Combining Time-Triggered Plans with Priority Scheduled Task Sets....Pages 195-212
Back Matter....Pages 213-213

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

کتاب های تصادفی

دانلود کتاب Neuroethics and the Scientific Revision of Common Sense

دانلود کتاب Rare Metal Technology 2017

دانلود کتاب Automata, Languages and Programming: 36th International Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part I

دانلود کتاب How to hack a party line: the Democrats and Silicon Valley

دانلود کتاب Beluga Whales