دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Reliable Software Technologies – Ada-Europe 2014: 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings
دانلود کتاب Reliable Software Technologies - Ada-Europe 2014: نوزدهمین کنفرانس بین المللی Ada-Europe در زمینه فناوری های نرم افزاری قابل اعتماد ، پاریس ، فرانسه ، 23 تا 27 ژوئن 2014. مجموعه مقالات
مشخصات کتاب
Reliable Software Technologies – Ada-Europe 2014: 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings
ویرایش: 1
نویسندگان: Laurent George. Tullio Vardanega (eds.)
سری: Lecture Notes in Computer Science 8454 Programming and Software Engineering
ISBN (شابک) : 9783319083100, 9783319083117
ناشر: Springer International Publishing
سال نشر: 2014
تعداد صفحات: 205
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 4 مگابایت
قیمت کتاب (تومان) : 32,000
کلمات کلیدی مربوط به کتاب Reliable Software Technologies - Ada-Europe 2014: نوزدهمین کنفرانس بین المللی Ada-Europe در زمینه فناوری های نرم افزاری قابل اعتماد ، پاریس ، فرانسه ، 23 تا 27 ژوئن 2014. مجموعه مقالات: زبان‌های برنامه‌نویسی، کامپایلرها، مترجمان، مهندسی نرم‌افزار، سیستم‌های مبتنی بر هدف و کاربرد خاص، منطق و معانی برنامه‌ها، منطق ریاضی و زبان‌های رسمی
در صورت تبدیل فایل کتاب Reliable Software Technologies – Ada-Europe 2014: 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب Reliable Software Technologies - Ada-Europe 2014: نوزدهمین کنفرانس بین المللی Ada-Europe در زمینه فناوری های نرم افزاری قابل اعتماد ، پاریس ، فرانسه ، 23 تا 27 ژوئن 2014. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب Reliable Software Technologies - Ada-Europe 2014: نوزدهمین کنفرانس بین المللی Ada-Europe در زمینه فناوری های نرم افزاری قابل اعتماد ، پاریس ، فرانسه ، 23 تا 27 ژوئن 2014. مجموعه مقالات
این کتاب مجموعه مقالات داوری نوزدهمین کنفرانس بین‌المللی Ada-Europe در زمینه فناوری‌های نرم‌افزار قابل اعتماد، Ada-Europe 2014، در پاریس، فرانسه، در ژوئن 2014 برگزار شد. و از 68 مورد ارسالی انتخاب شد. آنها در بخش های موضوعی در مورد روش های رسمی سازماندهی شده اند. استفاده از ada; برنامه ریزی زمان واقعی؛ برنامه های کاربردی.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 19th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2014, held in Paris, France, in June 2014. The revised 12 full papers presented together with two keynotes were carefully reviewed and selected from 68 submissions. They are organized in topical sections on formal methods; uses of ada; real-time scheduling; applications.
فهرست مطالب
Front Matter....Pages -
Lessons Learned and Easily Forgotten....Pages 1-6
Future Challenges in Design Frameworks for Embedded Systems: Application to Intelligent Transportation Systems....Pages 7-10
Rigorous Development of Fault-Tolerant Systems through Co-refinement....Pages 11-26
Kronecker Algebra for Static Analysis of Ada Programs with Protected Objects....Pages 27-42
A TASM-Based Requirements Validation Approach for Safety-Critical Embedded Systems....Pages 43-57
Towards a Runtime Verification Framework for the Ada Programming Language....Pages 58-73
Reliable Handling of Real-Time Scheduling Attributes on Multiprocessor Platforms in Ada 2012....Pages 74-90
Parallelism in Ada: Status and Prospects....Pages 91-106
Deadline-Aware Programming and Scheduling....Pages 107-118
Schedulability Analysis for Directed Acyclic Graphs on Multiprocessor Systems at a Subtask Level....Pages 119-133
Integrated Schedulers for a Predictable Interrupt Management on Real-Time Kernels....Pages 134-148
PDP 4PS : Periodic-Delayed Protocol for Partitioned Systems....Pages 149-165
OBUs’ Development and Maintenance of a Train Control System for Low Density Traffic Lines....Pages 166-176
Practical Formal Methods in Railways - The SafeCap Approach....Pages 177-192
Back Matter....Pages -
نظرات کاربران
کتاب های تصادفی
دانلود کتاب La Revolución Rusa. De Lenin a Stalin, 1917-1929
دانلود کتاب История XIX века в 8 томах
دانلود کتاب Приєднання чи возз'єднання? (критичні зауваги з приводу однієї концепції)
دانلود کتاب Los dialectos dorios del Noroeste. Gramática y estudio dialectal
