دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Reliable Software Technologies – Ada-Europe 2008: 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings
دانلود کتاب Reliable Software Technologies - Ada-Europe 2008: سیزدهمین کنفرانس بین المللی Ada-Europe در زمینه فناوری های نرم افزاری قابل اعتماد ، ونیز ، ایتالیا ، 16-20 ژوئن 2008. مجموعه مقالات
مشخصات کتاب
Reliable Software Technologies – Ada-Europe 2008: 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings
ویرایش: [1 ed.] نویسندگان: Santiago Urueña, José A. Pulido, Jorge López (auth.), Fabrice Kordon, Tullio Vardanega (eds.) سری: Lecture Notes in Computer Science 5026 : Programming and Software Engineering ISBN (شابک) : 3540686215, 9783540686217 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2008 تعداد صفحات: 283 [293] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 Mb
قیمت کتاب (تومان) : 41,000
در صورت تبدیل فایل کتاب Reliable Software Technologies – Ada-Europe 2008: 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب Reliable Software Technologies - Ada-Europe 2008: سیزدهمین کنفرانس بین المللی Ada-Europe در زمینه فناوری های نرم افزاری قابل اعتماد ، ونیز ، ایتالیا ، 16-20 ژوئن 2008. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب Reliable Software Technologies - Ada-Europe 2008: سیزدهمین کنفرانس بین المللی Ada-Europe در زمینه فناوری های نرم افزاری قابل اعتماد ، ونیز ، ایتالیا ، 16-20 ژوئن 2008. مجموعه مقالات
این کتاب مجموعه مقالات داوری سیزدهمین کنفرانس بین‌المللی فناوری‌های نرم‌افزار قابل اعتماد، Ada-Europe 2008، برگزار شده در ونیز، ایتالیا، در ژوئن 2008 است.
20 مقاله کامل اصلاح شده ارائه شده است. به دقت بررسی و از بین ارسال های متعدد انتخاب شدند. مجموعه مقالات کنفرانس منتشر شده در این جلد موضوعاتی را شامل می‌شود که از تأیید رسمی تا سیستم‌های بلادرنگ از طریق همزمانی، سیستم‌های جاسازی شده، فناوری‌های زبان، مهندسی مدل محور و کاربردهای شبکه‌های پتری را شامل می‌شود.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 13th International Conference on Reliable Software Technologies, Ada-Europe 2008, held in Venice, Italy, in June 2008.
The 20 revised full papers presented were carefully reviewed and selected from numerous submissions. The conference proceedings published in this volume cover topics ranging from formal verification to real-time systems via concurrency, embedded systems, language technologies, model-driven engineering and applications of Petri Nets.
فهرست مطالب
Front Matter....Pages -
A New Approach to Memory Partitioning in On-Board Spacecraft Software....Pages 1-14
Design and Development of Component-Based Embedded Systems for Automotive Applications....Pages 15-29
On the Timed Automata-Based Verification of Ravenscar Systems....Pages 30-43
Operational Semantics of Ada Ravenscar....Pages 44-58
Practical, Fast and Simple Concurrent FIFO Queues Using Single Word Synchronization Primitives....Pages 59-72
A Modelling Approach with Coloured Petri Nets....Pages 73-86
A Tailored V-Model Exploiting the Theory of Preemptive Time Petri Nets....Pages 87-100
Concurrent Program Metrics Drawn by Quasar....Pages 101-114
A Comparison of the Object-Oriented Features of Ada 2005 and Java TM ....Pages 115-129
A Framework for CFG-Based Static Program Analysis of Ada Programs....Pages 130-143
A Type-Safe Database Interface....Pages 144-157
StateML + : From Graphical State Machine Models to Thread-Safe Ada Code....Pages 158-170
Experience in the Integration of Heterogeneous Models in the Model-driven Engineering of High-Integrity Systems....Pages 171-184
A Systematic Approach to Automatically Generate Multiple Semantically Equivalent Program Versions....Pages 185-198
Increasing Confidence in Concurrent Software through Architectural Analysis....Pages 199-210
Fast Scheduling of Distributable Real-Time Threads with Assured End-to-End Timeliness....Pages 211-225
RCanalyser: A Flexible Framework for the Detection of Data Races in Parallel Programs....Pages 226-239
Can We Increase the Usability of Real Time Scheduling Theory? The Cheddar Project....Pages 240-253
An Ada 2005 Technology for Distributed and Real-Time Component-Based Applications....Pages 254-267
Real-Time Distribution Middleware from the Ada Perspective....Pages 268-281
Back Matter....Pages -
