ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Reliable Software Technology – Ada-Europe 2005: 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005. Proceedings

دانلود کتاب فناوری نرم افزار قابل اعتماد - Ada-Europe 2005: دهمین کنفرانس بین المللی Ada-Europe در فن آوری های نرم افزار قابل اعتماد ، یورک ، انگلیس ، 20 تا 24 ژوئن 2005. مجموعه مقالات

Reliable Software Technology – Ada-Europe 2005: 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005. Proceedings

مشخصات کتاب

Reliable Software Technology – Ada-Europe 2005: 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005. Proceedings

ویرایش: 1 
نویسندگان: , ,   
سری: Lecture Notes in Computer Science 3555 Programming and Software Engineering 
ISBN (شابک) : 9783540262862, 9783540316664 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 2005 
تعداد صفحات: 285 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 3 مگابایت 

قیمت کتاب (تومان) : 33,000



کلمات کلیدی مربوط به کتاب فناوری نرم افزار قابل اعتماد - Ada-Europe 2005: دهمین کنفرانس بین المللی Ada-Europe در فن آوری های نرم افزار قابل اعتماد ، یورک ، انگلیس ، 20 تا 24 ژوئن 2005. مجموعه مقالات: مهندسی نرم افزار، شبکه های ارتباطی کامپیوتری، سیستم های مبتنی بر هدف خاص و کاربردی، تکنیک های برنامه نویسی، زبان های برنامه نویسی، کامپایلرها، مترجمان، مدیریت سیستم های محاسباتی و اطلاعاتی



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 7


در صورت تبدیل فایل کتاب Reliable Software Technology – Ada-Europe 2005: 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب فناوری نرم افزار قابل اعتماد - Ada-Europe 2005: دهمین کنفرانس بین المللی Ada-Europe در فن آوری های نرم افزار قابل اعتماد ، یورک ، انگلیس ، 20 تا 24 ژوئن 2005. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب فناوری نرم افزار قابل اعتماد - Ada-Europe 2005: دهمین کنفرانس بین المللی Ada-Europe در فن آوری های نرم افزار قابل اعتماد ، یورک ، انگلیس ، 20 تا 24 ژوئن 2005. مجموعه مقالات



کنفرانس بین‌المللی فناوری‌های نرم‌افزار قابل اعتماد که به ابتکار الهام‌گرفته از پروفسور آلفرد استروهمایر در سال 1996 آغاز شد و از کنفرانس سالانه Ada-Europe که قبلاً برای 16 سال متوالی برگزار می‌شد، منشأ گرفت، امسال دهمین سالگرد خود را جشن گرفت. به یورک، انگلستان، جایی که اولین سری از جلسات فنی در مورد Ada در دهه 1970 برگزار شد. یورک علاوه بر اینکه به خودی خود مکانی زیبا و تاریخی است، میزبان دانشکده علوم کامپیوتر دانشگاه محلی نیز می باشد که گروه Real-Time آن در شکل دهی زبان آدا و پیشرفت در محاسبات بلادرنگ بسیار مؤثر بوده است. در سراسر جهان. بنابراین کنفرانس امسال تحت نظارت عالی، در سال بسیار مهمی برای جامعه Ada با توجه به تکمیل فرآیند تجدید نظر که در حال ارتقای استاندارد زبان برای رویارویی با چالش‌های هزاره جدید است، گرد هم آمد. این کنفرانس در 20 تا 24 ژوئن 2005 برگزار شد. طبق معمول توسط Ada-Europe، فدراسیون اروپایی جوامع ملی Ada، با همکاری ACM SIGAda حمایت مالی شد. این کنفرانس توسط کارکنان منتخب دانشگاه یورک با همکاری همکارانی از جاهای مختلف در اروپا سازماندهی شد که نمونه بسیار موثری از پردازش مشارکتی توزیع شده بود. این کنفرانس همچنین از حمایت سخاوتمندانه 11 حامی صنعتی برخوردار شد.


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

Started on the inspired initiative of Prof. Alfred Strohmeier back in 1996, and spawned from the annual Ada-Europe conference that had previously run for 16 consecutive years, the International Conference on Reliable Software Technologies celebrated this year its tenth anniversary by going to York, UK, where the ?rst series of technical meetings on Ada were held in the 1970s. Besides being a beautiful and historical place in itself, York also hosts the Depa- ment of Computer Science of the local university, whose Real-Time Group has been tremendously in?uential in shaping the Ada language and in the progress on real-time computing worldwide. This year’s conference was therefore put together under exc- lent auspices, in a very important year for the Ada community in view of the forthc- ing completion of the revision process that is upgrading the language standard to face the challenges of the new millennium. The conference took place on June 20–24, 2005. It was as usual sponsored by Ada-Europe, the European federation of national Ada societies, in cooperation with ACM SIGAda. The conference was organized by selected staff of the University of York teamed up with collaborators from various places in Europe, in what turned out to be a very effective instance of distributed collaborative processing. The conference also enjoyed the generous support of 11 industrial sponsors.



فهرست مطالب

Front Matter....Pages -
ILTIS – The Legacy of a Successful Product....Pages 1-12
A Reference Control Architecture for Service Robots Implemented on a Climbing Vehicle....Pages 13-24
An Ada Framework for QoS-Aware Applications....Pages 25-38
Efficient Alternatives for Implementing Fixed-Priority Schedulers....Pages 39-50
A New Strategy for the HRT-HOOD to Ada Mapping....Pages 51-66
Using the AADL to Describe Distributed Applications from Middleware to Software Components....Pages 67-78
Extending Ravenscar with CSP Channels....Pages 79-90
Dynamic Tasks Verification with Quasar ....Pages 91-104
Proving Functional Equivalence for Program Slicing in SPARK TM ....Pages 105-114
Teaching Software Engineering with Ada 95....Pages 115-128
A Comparison of the Mutual Exclusion Features in Ada and the Real-Time Specification for Java TM ....Pages 129-143
Smart Certification of Mixed Criticality Systems....Pages 144-155
Non-intrusive System Level Fault-Tolerance....Pages 156-166
Observing the Development of a Reliable Embedded System....Pages 167-179
RT-EP: A Fixed-Priority Real Time Communication Protocol over Standard Ethernet....Pages 180-195
Distributing Criticality Across Ada Partitions....Pages 196-207
The Implementation of Ada 2005 Interface Types in the GNAT Compiler....Pages 208-219
Integrating Application-Defined Scheduling with the New Dispatching Policies for Ada Tasks....Pages 220-235
The Application of Compile-Time Reflection to Software Fault Tolerance Using Ada 95....Pages 236-247
GNAT Pro for On-board Mission-Critical Space Applications....Pages 248-259
The ESA Ravenscar Benchmark....Pages 260-271
Back Matter....Pages -




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