دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Reliable Software Technologies — Ada-Europe’ 99: 1999 Ada-Europe International Conference on Reliable Software Technologies Santander, Spain, June 7–11, 1999 Proceedings
دانلود کتاب Reliable Software Technologies — Ada-Europe’ 99: 1999 Ada-Europe International Conference on Reliable Software Technologies Santander، اسپانیا، 7-11 ژوئن 1999 مجموعه مقالات
مشخصات کتاب
Reliable Software Technologies — Ada-Europe’ 99: 1999 Ada-Europe International Conference on Reliable Software Technologies Santander, Spain, June 7–11, 1999 Proceedings
ویرایش: [1 ed.] نویسندگان: C. Douglass Locke (auth.), Michael González Harbour, Juan A. de la Puente (eds.) سری: Lecture Notes in Computer Science 1622 ISBN (شابک) : 3540660933, 9783540660934 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1999 تعداد صفحات: 458 [463] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 5 Mb
قیمت کتاب (تومان) : 41,000
در صورت تبدیل فایل کتاب Reliable Software Technologies — Ada-Europe’ 99: 1999 Ada-Europe International Conference on Reliable Software Technologies Santander, Spain, June 7–11, 1999 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب Reliable Software Technologies — Ada-Europe’ 99: 1999 Ada-Europe International Conference on Reliable Software Technologies Santander، اسپانیا، 7-11 ژوئن 1999 مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب Reliable Software Technologies — Ada-Europe’ 99: 1999 Ada-Europe International Conference on Reliable Software Technologies Santander، اسپانیا، 7-11 ژوئن 1999 مجموعه مقالات
چهارمین کنفرانس بین‌المللی فناوری‌های نرم‌افزار قابل اعتماد، Ada-Europe'99، در سانتاندر، اسپانیا، از 7 تا 11 ژوئن 1999 برگزار شد. این کنفرانس توسط Ada Europe، فدراسیون اروپایی انجمن‌های ملی Ada، با همکاری حمایت مالی شد. با ACM SIGAda و Ada Spain، و توسط اعضای دانشگاه کانتابریا و دانشگاه فنی مادرید در اسپانیا سازماندهی شد. این نوزدهمین سال متوالی کنفرانس‌های Ada Europe بود که همیشه رویدادهای اصلی Ada در اروپا بوده‌اند و همتایان آن‌ها کنفرانس‌های ACM SIGAda در ایالات متحده آمریکا (Tri Ada سابق) هستند. این کنفرانس فقط به زبان آدا اختصاص ندارد، بلکه به حوزه کلی تر فناوری های نرم افزاری قابل اعتماد اختصاص دارد. از این نظر، مقالاتی در مورد روش‌های رسمی، آزمایش، معماری و طراحی نرم‌افزار، ابزارهای مهندسی نرم‌افزار و غیره وجود دارد. هدف کنفرانس ما کمک به پیشرفت هنر تمام فناوری‌هایی است که به ما در دستیابی به نرم‌افزار بهتر و مطمئن‌تر با هزینه کلی کمتر کمک می‌کنند.
توضیحاتی درمورد کتاب به خارجی
The Fourth International Conference on Reliable Software Technologies, Ada- Europe’99, took place in Santander, Spain, from June 7 to 11, 1999. It was sponsored by Ada Europe, the European federation of national Ada societies, in cooperation with ACM SIGAda and Ada Spain, and it was organized by members of the University of Cantabria and the Technical University of Madrid, in Spain. This was the 19th consecutive year of Ada Europe conferences, which have always been the main Ada events in Europe, with their counterparts being the ACM SIGAda conferences in the USA (formerly Tri Ada). The conference is not just devoted to the Ada language, but rather to the more general area of reliable software technologies. In this sense, there are papers on formal methods, testing, software architectures and design, software engineering tools, etc. We believe that the role of reliable software technologies is becoming increasingly important, as computer applications control more and more of our everyday systems. The goal of our conference is to contribute to advancing the state of the art of all the technologies that help us in achieving better and more reliable software at a lower overall cost.
فهرست مطالب
An Architectural Perspective of Real-Time Ada Applications....Pages 1-11
A Formal Model of the Ada Ravenscar Tasking Profile; Protected Objects....Pages 12-25
An Ada Runtime System Implementation of the Ravenscar Profile for High Speed Application-Layer Data Switch....Pages 26-38
Re-engineering a Safety-Critical Application Using SPARK 95 and GNORT....Pages 39-51
An Ada95 Solution for Certification of Embedded Safety Critical Applications....Pages 52-63
Architectural Frameworks: Defining the Contents of Architectural Descriptions....Pages 64-75
Mapping Object-Oriented Designs to Ada....Pages 76-90
Efficient and Extensible Multithreaded Remote Servers?....Pages 91-102
Report on the VERA Experiment....Pages 103-113
Acceptance Testing of Object Oriented Systems....Pages 114-123
Environment for the Development and Specification of Real-Time Ada Programs....Pages 124-135
Interprocedural Symbolic Evaluation of Ada Programs with Aliases....Pages 136-145
Automatic Veri.cation of Concurrent Ada Programs....Pages 146-157
Translating Time Petri Net Structures in Ada 95 Statements....Pages 158-169
Railway Scale Model Simulator....Pages 170-180
Ada 95 as a Foundation Language in Computer Engineering Education in Ukraine....Pages 181-186
yaRTI, a Ada 95 HLA Run-Time Infrastructure....Pages 187-198
An Ada95 Implementation of a Network Coordination Language with Code Mobility....Pages 199-210
CORBA & DSA: Divorce or Marriage?....Pages 211-225
How to Modify the GNAT Frontend to Experiment with Ada Extensions?....Pages 226-237
On the Use of Controlled Types for Fossil Collection in a Distributed Simulation System....Pages 238-249
An Application (Layer 7) Routing Switch with Ada95 Software....Pages 250-262
Ada Binding to a Shared Object Layer....Pages 263-274
The Ceiling Protocol in Multi-moded Real-Time Systems1....Pages 275-286
A “Bare-Machine” Implementation of Ada Multi-tasking Beneath the Linux Kernel....Pages 287-297
Implementing a New Low-Level Tasking Support for the GNAT Runtime System?....Pages 298-307
MetaScribe, an Ada-Based Tool for the Construction of Tranformation Engines....Pages 308-319
An Adaptation of Our Ada95/O2 Binding to Provide Persistence to the Java Language: Sharing and Handling of Data between Heterogeneous Applications Using Persistence....Pages 320-331
Browsing a Component Library Using Non-functional Information....Pages 332-343
Hw/Sw Codesign of Embedded Systems....Pages 344-355
Hardware/Software Embedded System Specification and Design Using Ada and VHDL1....Pages 356-370
System on Chip Specification and Design Languages Standardization....Pages 371-384
An Incremental Recovery Cache Supporting Software Fault Tolerance....Pages 385-396
Shared Recoverable Objects....Pages 397-411
Fault Tolerance by Transparent Replication for Distributed Ada 95....Pages 412-424
A Case Study in the Reuse of On-Board Embedded Real-Time Software....Pages 425-436
Development of Flight Control Software in Ada: Architecture and Design Issues and Approaches....Pages 437-449
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Cuestiones disputadas sobre el alma
دانلود کتاب Time Frequency Signal Analysis and Processing: A Comprehensive Reference
دانلود کتاب Betty 2
دانلود کتاب Neurowissenschaften und Musikpädagogik: Klärungsversuche und Praxisbezüge
