دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Reliable Software Technologies - Ada-Europe 2011: 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011. Proceedings
دانلود کتاب Reliable Software Technologies - Ada-Europe 2011: شانزدهمین کنفرانس بین المللی Ada-Europe در زمینه فناوری های نرم افزار قابل اعتماد، ادینبورگ، بریتانیا، 20-24 ژوئن 2011. مجموعه مقالات
مشخصات کتاب
Reliable Software Technologies - Ada-Europe 2011: 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011. Proceedings
ویرایش: 1 نویسندگان: Jeffrey O’Leary (auth.), Alexander Romanovsky, Tullio Vardanega (eds.) سری: Lecture Notes in Computer Science 6652 : Programming and Software Engineering ISBN (شابک) : 9783642213373, 9783642213380 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2011 تعداد صفحات: 238 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
قیمت کتاب (تومان) : 53,000
کلمات کلیدی مربوط به کتاب Reliable Software Technologies - Ada-Europe 2011: شانزدهمین کنفرانس بین المللی Ada-Europe در زمینه فناوری های نرم افزار قابل اعتماد، ادینبورگ، بریتانیا، 20-24 ژوئن 2011. مجموعه مقالات: زبان های برنامه نویسی، کامپایلرها، مترجمان، مهندسی نرم افزار، منطق و معانی برنامه ها، شبکه های ارتباطی کامپیوتری، تکنیک های برنامه نویسی، منطق ریاضی و زبان های رسمی
در صورت تبدیل فایل کتاب Reliable Software Technologies - Ada-Europe 2011: 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب Reliable Software Technologies - Ada-Europe 2011: شانزدهمین کنفرانس بین المللی Ada-Europe در زمینه فناوری های نرم افزار قابل اعتماد، ادینبورگ، بریتانیا، 20-24 ژوئن 2011. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب Reliable Software Technologies - Ada-Europe 2011: شانزدهمین کنفرانس بین المللی Ada-Europe در زمینه فناوری های نرم افزار قابل اعتماد، ادینبورگ، بریتانیا، 20-24 ژوئن 2011. مجموعه مقالات
این کتاب مجموعه مقالات داوری شانزدهمین کنفرانس بین المللی Ada-Europe در زمینه فناوری های نرم افزار قابل اعتماد، Ada-Europe 2011، در ادینبورگ، انگلستان، در 20-24 ژوئن 2011 برگزار شد. مشارکت ها به دقت بررسی و از بین 30 مورد ارسالی انتخاب شدند. موضوعات مورد علاقه کنفرانس روش ها و تکنیک های توسعه و نگهداری نرم افزار است. معماری نرم افزار؛ فناوری های توانمند؛ کیفیت نرم افزار؛ تئوری و عمل سیستم های با یکپارچگی بالا؛ سیستم های جاسازی شده؛ برنامه های کاربردی اصلی و در حال ظهور؛ گزارش های تجربی؛ آینده آدا.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 16th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2011, held in Edinburgh, UK, on June 20-24, 2011. The revised 12 papers presented together with several invited contributions were carefully reviewed and selected from 30 submissions. Topics of interest to the conference are methods and techniques for software development and maintenance ; software architectures; enabling technologies; software quality; theory and practice of high-integrity systems; embedded systems; mainstream and emerging applications; experience reports; the future of Ada.
فهرست مطالب
Front Matter....Pages -
Assuring Software Reliability While Using Web Services and Commercial Products....Pages 1-16
Detecting High-Level Synchronization Errors in Parallel Programs....Pages 17-30
Design and Implementation of a Ravenscar Extension for Multiprocessors....Pages 31-45
A Real-Time Framework for Multiprocessor Platforms Using Ada 2012....Pages 46-60
The SQALE Quality and Analysis Models for Assessing the Quality of Ada Source Code....Pages 61-74
Adapting ACATS to the Ahven Testing Framework....Pages 75-88
Model-Based Analysis and Design of Real-Time Distributed Systems with Ada and the UML Profile for MARTE....Pages 89-102
Developing Dependable Software-Intensive Systems: AADL vs. EAST-ADL....Pages 103-117
A Formal Approach to Design and Verification of Two-Level Hierarchical Scheduling Systems....Pages 118-131
Architecting a Common Bridge Abstraction over Different Middleware Paradigms....Pages 132-146
Using Robotics as a Motivational Tool: An Ada Interface to a Pioneer Robot....Pages 147-159
ORK+/XtratuM: An Open Partitioning Platform for Ada....Pages 160-173
Implementing Mixed Criticality Systems in Ada....Pages 174-188
Programming Languages Meet Multicore....Pages 189-192
Programming Languages for Real-Time Applications Executing on Parallel Hardware....Pages 193-195
Multicore Programming in ParaSail....Pages 196-200
Why Parallel Functional Programming Matters: Panel Statement....Pages 201-205
OOT, DO-178C and SPARK....Pages 206-210
Position Paper: DO-178C/ED-12C and Object-Orientation for Critical Systems....Pages 211-213
Object Orientation in Critical Systems: Yes, in Moderation....Pages 214-218
On the Evolution of Unnatural Language....Pages 219-225
Back Matter....Pages -
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Maschinendynamik
دانلود کتاب Medien, Event und Religion: Die Mediatisierung des Religiösen
دانلود کتاب Invariant Manifolds
دانلود کتاب JWKB approximation: Contributions to the theory,
