دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1 نویسندگان: Martin Gogolla (auth.), Albert Llamosí, Alfred Strohmeier (eds.) سری: Lecture Notes in Computer Science 3063 ISBN (شابک) : 9783540220114, 3540220119 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2004 تعداد صفحات: 344 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 مگابایت
کلمات کلیدی مربوط به کتاب فن آوری های قابل اعتماد نرم افزار - Ada-Europe 2004: نهمین کنفرانس بین المللی Ada-Europe در مورد فن آوری های قابل اعتماد نرم افزار ، Palma de Mallorca ، اسپانیا ، 14-18 ژوئن 2004. مجموعه مقالات: مهندسی نرم افزار، تکنیک های برنامه نویسی، زبان های برنامه نویسی، کامپایلرها، مترجمان، شبکه های ارتباطی کامپیوتری، سیستم های هدف خاص و مبتنی بر برنامه
در صورت تبدیل فایل کتاب Reliable Software Technologies - Ada-Europe 2004: 9th Ada-Europe International Conference on Reliable Software Technologies, Palma de Mallorca, Spain, June 14-18, 2004. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب فن آوری های قابل اعتماد نرم افزار - Ada-Europe 2004: نهمین کنفرانس بین المللی Ada-Europe در مورد فن آوری های قابل اعتماد نرم افزار ، Palma de Mallorca ، اسپانیا ، 14-18 ژوئن 2004. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
نهمین کنفرانس بین المللی فناوری های نرم افزار قابل اعتماد، Ada-Europe 2004، در پالما، اسپانیا، 14 تا 18 ژوئن 2004 برگزار شد. این کنفرانس توسط Ada-Europe، فدراسیون اروپایی انجمن های ملی Ada، و Ada- حمایت مالی شد. اسپانیا با همکاری ACM SIGAda. توسط اعضای دانشگاه جزایر بالئاریک (UIB) سازماندهی شد. مانند سال های گذشته، کنفرانس شامل یک برنامه فنی سه روزه بود که طی آن مقالات مندرج در این مجموعه مقالات همراه با ارائه های فروشنده ارائه شد. برنامه فنی در دو روز آموزشی بسته شد، زمانی که شرکت کنندگان این فرصت را داشتند تا موضوعات مختلف مرتبط با ?eld را در هر دو سطح مقدماتی و پیشرفته بررسی کنند. علاوه بر این، کنفرانس با نمایشگاهی همراه بود که در آن فروشندگان محصولات خود را برای حمایت از توسعه نرم افزار قابل اعتماد ارائه کردند. سخنرانان مدعو کنفرانس چهار سخنران ممتاز را ارائه کردند، که اطلاعات پیشرفتهای را در مورد موضوعات بسیار مهم، هم در حال حاضر و هم برای آینده مهندسی نرمافزار ارائه کردند: - S. Tucker Taft، SoftCheck Inc.، ایالات متحده نرمافزار قبل از شکست: استفاده از تجزیه و تحلیل استاتیک برای کمک به حل باتلاق کیفیت نرم افزار - مارتین گوگولا، دانشگاه برمن، آلمان مزایا و مشکلات روش های رسمی - آنتونی اولیو، دانشگاه پلی تکنیک کاتالونیا، اسپانیا درباره نقش طرحواره های مفهومی در توسعه سیستم های اطلاعاتی - استفان Vinoski, IONA Technologies در Waltham, USA آیا میانافزار قابل اعتماد است؟ مایلیم به خاطر به اشتراک گذاشتن بینش خود با شرکت کنندگان در کنفرانس، از این سخنرانان برجسته که در جامعه به خوبی شناخته شده اند، تشکر کنیم. مقالات ارسالی تعداد مشخصی از مقالات ارسال شده، از 15کشورهای مختلف ارسال شده است.
The Ninth International Conference on Reliable Software Technologies, Ada- Europe 2004, took place in Palma, Spain, June 14–18, 2004. It was sponsored by Ada-Europe, the European federation of national Ada societies, and Ada- Spain, in cooperation with ACM SIGAda. It was organized by members of the University of the Balearic Islands (UIB). As in past years, the conference comprised a three-day technical program, during which the papers contained in these proceedings were presented, along with vendor presentations. The technical program was bracketed by two tutorial days, when the attendees had the opportunity to catch up on a variety of topics related to the ?eld, at both introductory and advanced levels. Furthermore, the conference was accompanied by an exhibition where vendors presented their products for supporting reliable-software development. Invited Speakers Theconferencepresentedfourdistinguishedspeakers,whodeliveredstate-of-t- art information on topics of great importance, both for now and for the future of software engineering: – S. Tucker Taft, SoftCheck Inc., USA Fixing software before it breaks: using static analysis to help solve the so- ware quality quagmire – Martin Gogolla, University of Bremen, Germany Bene?ts and problems of formal methods – Antoni Oliv´ e, Polytechnical University of Catalonia, Spain On the role of conceptual schemas in information systems’ development – Stephen Vinoski, IONA Technologies in Waltham, USA Can middleware be reliable? Wewouldliketoexpressoursinceregratitudetothesedistinguishedspeakers, well known to the community, for sharing their insights with the conference participants. Submitted Papers Alargenumberofpapersweresubmitted,fromasmanyas15di?erentcountries.
Front Matter....Pages -
Benefits and Problems of Formal Methods....Pages 1-15
On the Role of Conceptual Schemas in Information Systems Development....Pages 16-34
An Overview of Middleware....Pages 35-51
Static Deadlock Detection in the Linux Kernel....Pages 52-64
Extracting Ada 95 Objects from Legacy Ada Programs....Pages 65-77
On the Tree Width of Ada Programs....Pages 78-90
The Chance for Ada to Support Distribution and Real-Time in Embedded Systems....Pages 91-105
PolyORB: A Schizophrenic Middleware to Build Versatile Reliable Distributed Applications....Pages 106-119
Event Language for Real-Time On-the-Fly Control According to the Initial Requirements....Pages 120-131
Implementing Execution-Time Clocks for the Ada Ravenscar Profile....Pages 132-143
Extending the Capabilities of Real-Time Applications by Combining MaRTE-OS and Linux....Pages 144-155
Supporting Deadlines and EDF Scheduling in Ada....Pages 156-165
OpenAda: Compile-Time Reflection for Ada 95....Pages 166-177
XML4Ada95 Accessing XML Using the DOM in Ada95....Pages 178-189
A Randomised Test Approach to Testing Safety Critical Ada Code....Pages 190-199
Good Random Testing....Pages 200-212
Teaching Real-Time Systems Around a Digital Model Railroad Platform Using Ada....Pages 213-224
High Integrity Ada in a UML and C World....Pages 225-236
Ada Meets Giotto....Pages 237-248
High-Integrity Interfacing to Programmable Logic with Ada....Pages 249-260
Dynamic Ceiling Priorities: A Proposal for Ada0Y....Pages 261-272
Mixing Scheduling Policies in Ada....Pages 273-282
Implementing an Application-Defined Scheduling Framework for Ada Tasking....Pages 283-296
A Theory of Persistent Containers and Its Application to Ada....Pages 297-308
Shortcuts: A Critical Look....Pages 309-320
Vector Processing in Ada....Pages 321-331
Back Matter....Pages -