دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب 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
ویرایش: 1 نویسندگان: Maarten Boasson (auth.), Johann Blieberger, Alfred Strohmeier (eds.) سری: Lecture Notes in Computer Science 2361 ISBN (شابک) : 9783540437840, 3540437843 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2002 تعداد صفحات: 381 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 5 مگابایت
قیمت کتاب (تومان) : 47,000
کلمات کلیدی مربوط به کتاب فن آوری های قابل اعتماد نرم افزار - 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 به فرمت های 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
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Android Design Patterns and Best Practice
دانلود کتاب The Future of Environmental Criticism: Environmental Crisis and Literary Imagination
دانلود کتاب Collections of Stained Glass and their Histories. Glasmalerei-Sammlungen und ihre Geschichte. Les collections de vitraux et leur histoire: ... 2010
دانلود کتاب Historia de los heterodoxos españoles
