ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Reliable SoftwareTechnologies — Ada-Europe 2001: 6th Ada-Europe International Conference on Reliable Software Technologies Leuven, Belgium, May 14–18, 2001 Proceedings

دانلود کتاب Reliable Software Technologies — Ada-Europe 2001: ششمین کنفرانس بین المللی Ada-Europe در مورد فن آوری های نرم افزار قابل اعتماد لوون، بلژیک، 14-18 می، 2001 مجموعه مقالات

Reliable SoftwareTechnologies — Ada-Europe 2001: 6th Ada-Europe International Conference on Reliable Software Technologies Leuven, Belgium, May 14–18, 2001 Proceedings

مشخصات کتاب

Reliable SoftwareTechnologies — Ada-Europe 2001: 6th Ada-Europe International Conference on Reliable Software Technologies Leuven, Belgium, May 14–18, 2001 Proceedings

ویرایش: 1 
نویسندگان: , ,   
سری: Lecture Notes in Computer Science 2043 
ISBN (شابک) : 9783540421238, 9783540451365 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 2001 
تعداد صفحات: 419 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 6 مگابایت 

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



کلمات کلیدی مربوط به کتاب Reliable Software Technologies — Ada-Europe 2001: ششمین کنفرانس بین المللی Ada-Europe در مورد فن آوری های نرم افزار قابل اعتماد لوون، بلژیک، 14-18 می، 2001 مجموعه مقالات: مهندسی نرم افزار، تکنیک های برنامه نویسی، زبان های برنامه نویسی، کامپایلرها، مترجمان، شبکه های ارتباطی کامپیوتری، سیستم های هدف خاص و مبتنی بر برنامه



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

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


در صورت تبدیل فایل کتاب Reliable SoftwareTechnologies — Ada-Europe 2001: 6th Ada-Europe International Conference on Reliable Software Technologies Leuven, Belgium, May 14–18, 2001 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب Reliable Software Technologies — Ada-Europe 2001: ششمین کنفرانس بین المللی Ada-Europe در مورد فن آوری های نرم افزار قابل اعتماد لوون، بلژیک، 14-18 می، 2001 مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب Reliable Software Technologies — Ada-Europe 2001: ششمین کنفرانس بین المللی Ada-Europe در مورد فن آوری های نرم افزار قابل اعتماد لوون، بلژیک، 14-18 می، 2001 مجموعه مقالات



ششمین کنفرانس بین‌المللی فناوری‌های نرم‌افزار قابل اعتماد، Ada-Europe 2001، در لوون، بلژیک، 14 تا 18 می 2001 برگزار شد. این کنفرانس توسط Ada-Europe، فدراسیون اروپایی انجمن‌های ملی Ada، با همکاری با ACM SIGAda، و توسط اعضای K.U سازماندهی شد. لوون و آدا - بلژیک. این بیست و یکمین سال متوالی کنفرانس های Ada-Europe و ششمین سال کنفرانس با تمرکز بر حوزه فناوری های نرم افزاری قابل اعتماد بود. استفاده از اجزای نرم‌افزار در سیستم‌های جاسازی شده تقریباً در همه جا وجود دارد: هواپیماها با سیم پرواز می‌کنند، سیستم‌های سیگنال قطار اکنون مبتنی بر رایانه هستند، تلفن‌های همراه دستگاه‌های دیجیتال هستند، و کارخانه‌های بیولوژیکی، شیمیایی و تولیدی توسط نرم‌افزار کنترل می‌شوند. . همچنین سایر سیستم‌های غیر تعبیه‌شده و حیاتی، بیشتر و بیشتر به نرم‌افزار وابسته هستند. برای این محصولات و فرآیندها، قابلیت اطمینان یک عامل کلیدی موفقیت و اغلب یک نیاز سخت از نظر ایمنی است. به خوبی شناخته شده است و اغلب تجربه شده است که کیفیت را نمی توان صرفاً به عنوان یک فکر بعدی به نرم افزار اضافه کرد. این برای قابلیت اطمینان نیز صدق می کند. علاوه بر این، قابلیت اطمینان یک سیستم به دلیل یک فناوری واحد نیست و نمی‌توان آن را ساخت. طیف وسیعی از رویکردها مورد نیاز است که دشوارترین مسئله ادغام هدفمند آنهاست. اهداف قابلیت اطمینان باید دقیقاً تعریف شده و در الزامات گنجانده شوند، فرآیند توسعه باید برای دستیابی به این اهداف کنترل شود، و روش‌های توسعه صحیح باید برای تحقق این الزامات غیرعملکردی استفاده شود.


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

The Sixth International Conference on Reliable Software Technologies, Ada- Europe 2001, took place in Leuven, Belgium, May 14-18, 2001. It was sponsored by Ada-Europe, the European federation of national Ada societies, in cooperation with ACM SIGAda, and it was organized by members of the K.U. Leuven and Ada- Belgium. This was the 21st consecutive year of Ada-Europe conferences and the sixth year of the conference focusing on the area of reliable software technologies. The use of software components in embedded systems is almost ubiquitous: planes fly by wire, train signalling systems are now computer based, mobile phones are digital devices, and biological, chemical, and manufacturing plants are controlled by software, to name only a few examples. Also other, non-embedded, mission-critical systems depend more and more upon software. For these products and processes, reliability is a key success factor, and often a safety-critical hard requirement. It is well known and has often been experienced that quality cannot be added to software as a mere afterthought. This also holds for reliability. Moreover, the reliability of a system is not due to and cannot be built upon a single technology. A wide range of approaches is needed, the most difficult issue being their purposeful integration. Goals of reliability must be precisely defined and included in the requirements, the development process must be controlled to achieve these goals, and sound development methods must be used to fulfill these non-functional requirements.



فهرست مطالب

Building Formal Requirements Models for Reliable Software....Pages 1-20
Using Ada in Interactive Digital Television Systems....Pages 21-34
Testing from Formal Specifications, a Generic Approach....Pages 35-48
Logic versus Magic in Critical Systems....Pages 49-67
Can Java™ Meet Its Real-Time Deadlines?....Pages 68-87
Parameter-Induced Aliasing in Ada....Pages 88-99
Slicing Tagged Objects in Ada....Pages 100-112
OASIS – An ASIS Secondary Library for Analyzing Object-Oriented Ada Code....Pages 113-122
Building Modern Distributed Systems....Pages 123-135
Reliable Communication in Distributed Computer-Controlled Systems....Pages 136-147
Building Robust Applications by Reusing Non-robust Legacy Software....Pages 148-159
New Developments in Ada 95 Run-Time Profile Definitions and Language Refinements....Pages 160-166
Complex Task Implementation in Ada....Pages 167-178
Implementing a Flexible Scheduler in Ada....Pages 179-190
Expression Templates in Ada....Pages 191-202
A Design Pattern for State Machines and Concurrent Activities....Pages 203-214
Component Libraries and Language Features....Pages 215-228
Using the SPARK Toolset for Showing the Absence of Run-Time Errors in Safety-Critical Software....Pages 229-240
Scenario-Based System Assessment....Pages 241-252
Test Suite Reduction and Fault Detecting Effectiveness: An Empirical Evaluation....Pages 253-265
JEWL: A GUI Library for Educational Use....Pages 266-277
Object-Oriented Stable Storage Based on Mirroring....Pages 278-289
Transaction Support for Ada....Pages 290-304
MaRTE OS: An Ada Kernel for Real-Time Embedded Applications....Pages 305-316
Implementing Ada.Real Time.Clock and Absolute Delays in Real-Time Kernels....Pages 317-327
Defining New Non-preemptive Dispatching and Locking Policies for Ada....Pages 328-336
Modelling Communication Interfaces with ComiX....Pages 337-348
Safe Web Forms and XML Processing with Ada....Pages 349-358
Mapping UML to Ada....Pages 359-370
Ship System 2000, a Stable Architecture under Continuous Evolution....Pages 371-379
Migrating Large Applications from Ada83 to Ada95....Pages 380-391
An Application Case for Ravenscar Technology: Porting OBOSS to GNAT/ORK....Pages 392-404




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