ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Reliable Software Technologies — Ada-Europe 2002: 7th Ada-Europe International Conference on Reliable Software Technologies Vienna, Austria, June 17–21, 2002 Proceedings

دانلود کتاب فن آوری های قابل اعتماد نرم افزار - Ada-Europe 2002: هفتمین کنفرانس بین المللی Ada-Europe در مورد فن آوری های قابل اعتماد نرم افزار وین ، اتریش ، 17-21 ژوئن ، مجموعه مقالات

Reliable Software Technologies — Ada-Europe 2002: 7th Ada-Europe International Conference on Reliable Software Technologies Vienna, Austria, June 17–21, 2002 Proceedings

مشخصات کتاب

Reliable Software Technologies — Ada-Europe 2002: 7th Ada-Europe International Conference on Reliable Software Technologies Vienna, Austria, June 17–21, 2002 Proceedings

ویرایش: 1 
نویسندگان: , ,   
سری: Lecture Notes in Computer Science 2361 
ISBN (شابک) : 9783540437840, 3540437843 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 2002 
تعداد صفحات: 381 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 5 مگابایت 

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



کلمات کلیدی مربوط به کتاب فن آوری های قابل اعتماد نرم افزار - Ada-Europe 2002: هفتمین کنفرانس بین المللی Ada-Europe در مورد فن آوری های قابل اعتماد نرم افزار وین ، اتریش ، 17-21 ژوئن ، مجموعه مقالات: مهندسی نرم افزار، تکنیک های برنامه نویسی، زبان های برنامه نویسی، کامپایلر، مترجمان، شبکه های ارتباطی کامپیوتری



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

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


در صورت تبدیل فایل کتاب Reliable Software Technologies — Ada-Europe 2002: 7th Ada-Europe International Conference on Reliable Software Technologies Vienna, Austria, June 17–21, 2002 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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


توضیحاتی در مورد کتاب فن آوری های قابل اعتماد نرم افزار - Ada-Europe 2002: هفتمین کنفرانس بین المللی Ada-Europe در مورد فن آوری های قابل اعتماد نرم افزار وین ، اتریش ، 17-21 ژوئن ، مجموعه مقالات



این کتاب مجموعه مقالات داوری هفتمین کنفرانس بین‌المللی فناوری‌های نرم‌افزار قابل اعتماد، Ada-Europe 2002، برگزار شده در وین، اتریش، در ژوئن 2002 است. بررسی و برای درج در دادرسی انتخاب شد. مقالات در بخش های موضوعی در مورد سیستم های جاسازی شده، مطالعات موردی، سیستم های زمان واقعی، سیستم های با یکپارچگی بالا، مسائل زبان Ada، تجزیه و تحلیل برنامه، ابزارها، سیستم های توزیع شده، و کتابخانه ها و API ها سازماندهی شده اند.


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

This book constitutes the refereed proceedings of the 7th International Conference on Reliable Software Technologies, Ada-Europe 2002, held in Vienna, Austria, in June 2002.
The 24 revised full papers presented together with four invited papers were carefully reviewed and selected for inclusion in the proceedings. The papers are organized in topical sections on embedded systems, case studies, real-time systems, high-integrity systems, Ada language issues, program analysis, tools, distributed systems, and libraries and APIs.



فهرست مطالب

Embedded Systems Unsuitable for Object Orientation....Pages 1-12
On Architectural Stability and Evolution....Pages 13-23
Encapsulating Failure Detection: From Crash to Byzantine Failures....Pages 24-50
Contextware: Bridging Physical and Virtual Worlds....Pages 51-64
Evaluating Performance and Power of Object-Oriented Vs. Procedural Programming in Embedded Processors....Pages 65-75
OMC-INTEGRAL Memory Management....Pages 76-87
Language Issues of Compiling Ada to Hardware....Pages 88-99
Software Development Reengineering — An Experience Report....Pages 100-112
Development of a Control System for Teleoperated Robots Using UML and Ada95....Pages 113-124
Using a Secure Java Micro-kernel on Embedded Devices for the Reliable Execution of Dynamically Uploaded Applications....Pages 125-135
A POSIX-Ada Interface for Application-Defined Scheduling....Pages 136-150
Closing the Loop: The Influence of Code Analysis on Design....Pages 151-162
High-Integrity Systems Development for Integrated Modular Avionics Using VxWorks and GNAT....Pages 163-178
How to Use GNAT to Efficiently Preprocess New Ada Sentences....Pages 179-192
Exposing Uninitialized Variables: Strengthening and Extending Run-Time Checks in Ada....Pages 193-204
Adding Design by Contract to the Ada Language....Pages 205-218
Static Dependency Analysis for Concurrent Ada 95 Programs....Pages 219-230
DataFAN: A Practical Approach to Data Flow Analysis for Ada 95....Pages 231-244
Prioritization of Test Cases in MUMCUT Test Sets: An Empirical Study....Pages 245-256
About the Difficulties of Building a Pretty-Printer for Ada....Pages 257-268
A Tailorable Distributed Programming Environment....Pages 269-281
Modeling and Schedulability Analysis of Hard Real-Time Distributed Systems Based on Ada Components....Pages 282-296
Transparent Environment for Replicated Ravenscar Applications....Pages 297-308
Concurrency Control in Transactional Drago ....Pages 309-320
An Ada Binding to the IEEE 1003.1q (POSIX Tracing) Standard....Pages 321-333
GNAT Ada Database Development Environment....Pages 334-343
Ada, Interfaces and the Listener Paradigm....Pages 344-356
Using Object Orientation in High Integrity Applications: A Case Study....Pages 357-366




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