دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Reliable Software Technologies – Ada-Europe 2009: 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009. Proceedings
دانلود کتاب فن آوری های نرم افزاری قابل اعتماد - Ada-Europe 2009: 14 کنفرانس بین المللی آدا-اروپا، برست، فرانسه، 8 تا 12 ژوئن 2009. پرونده ها
مشخصات کتاب
Reliable Software Technologies – Ada-Europe 2009: 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009. Proceedings
دسته بندی: برنامه نويسي ویرایش: 1 نویسندگان: Alessandro Zovi, Tullio Vardanega (auth.), Fabrice Kordon, Yvon Kermarrec (eds.) سری: Lecture Notes in Computer Science 5570 : Programming and Software Engineering ISBN (شابک) : 3642019234, 9783642019234 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2009 تعداد صفحات: 294 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
قیمت کتاب (تومان) : 82,000
کلمات کلیدی مربوط به کتاب فن آوری های نرم افزاری قابل اعتماد - Ada-Europe 2009: 14 کنفرانس بین المللی آدا-اروپا، برست، فرانسه، 8 تا 12 ژوئن 2009. پرونده ها: مهندسی نرم افزار، تکنیک های برنامه نویسی، زبان های برنامه نویسی، کامپایلرها، مترجمان، مهندسی نرم افزار/برنامه نویسی و سیستم های عامل، عملکرد و ارزیابی سیستم، عملکرد و قابلیت اطمینان
در صورت تبدیل فایل کتاب Reliable Software Technologies – Ada-Europe 2009: 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب فن آوری های نرم افزاری قابل اعتماد - Ada-Europe 2009: 14 کنفرانس بین المللی آدا-اروپا، برست، فرانسه، 8 تا 12 ژوئن 2009. پرونده ها نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب فن آوری های نرم افزاری قابل اعتماد - Ada-Europe 2009: 14 کنفرانس بین المللی آدا-اروپا، برست، فرانسه، 8 تا 12 ژوئن 2009. پرونده ها
این کتاب مجموعه مقالات چهاردهمین کنفرانس بینالمللی Ada-Europe در زمینه فناوریهای نرمافزار قابل اعتماد، Ada-Europe 2009، در برست، فرانسه، در تاریخ 8 تا 12 ژوئن 2009 است.
19 مقاله ارائه شده به دقت بررسی و از بین ارسالی های متعدد انتخاب شدند. موضوعات مورد علاقه کنفرانس روش ها و تکنیک های توسعه و نگهداری نرم افزار است. معماری نرم افزار; توانمندسازی فناوری؛ کیفیت نرم افزار؛ تئوری و عمل سیستم های با یکپارچگی بالا؛ سیستم های جاسازی شده؛ برنامه های کاربردی اصلی و در حال ظهور؛ زبان و فناوری ada; آدا و آموزش و پرورش
توضیحاتی درمورد کتاب به خارجی
This book constitutes the proceedings of the 14th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2009, held in Brest, France, on June 8-12, 2009.
The 19 papers presented were carefully reviewed and selected from numerous submissions. Topics of interest to the conference are methods and techniques for software development and maintenance; software architecture; enabling technology; software quality; theory and practice of high-integrity systems; embedded systems; mainstream and emerging applications; ada language and technology; ada and education.
فهرست مطالب
Front Matter....Pages -
Requirements on the Target Programming Language for High-Integrity MDE....Pages 1-15
A Restricted Middleware Profile for High-Integrity Distributed Real-Time Systems....Pages 16-29
Validating Safety and Security Requirements for Partitioned Architectures....Pages 30-43
On Comparing Testing Criteria for Logical Decisions....Pages 44-58
Model Checking Techniques for Test Generation from Business Process Models....Pages 59-74
An Experience on Ada Programming Using On-Line Judging....Pages 75-89
Weak Fairness Semantic Drawbacks in Java Multithreading....Pages 90-104
Implementation of the Ada 2005 Task Dispatching Model in MaRTE OS and GNAT....Pages 105-118
Combining EDF and FP Scheduling: Analysis and Implementation in Ada 2005....Pages 119-133
Predicated Worst-Case Execution-Time Analysis....Pages 134-148
Implementing Reactive Systems with UML State Machines and Ada 2005....Pages 149-163
Modelling and Evaluating Real-Time Software Architectures....Pages 164-176
A Formal Foundation for Metamodeling....Pages 177-191
Modeling AADL Data Communication with BIP....Pages 192-206
Formal Verification of AADL Specifications in the Topcased Environment....Pages 207-221
Process-Algebraic Interpretation of AADL Models....Pages 222-236
Ocarina : An Environment for AADL Models Analysis and Automatic Code Generation for High Integrity Applications....Pages 237-250
Conceptual Modeling for System Requirements Enhancement....Pages 251-265
Coloured Petri Nets for Chronicle Recognition....Pages 266-281
Back Matter....Pages -
نظرات کاربران
کتاب های مرتبط
دانلود کتاب Microsoft Virtualization with Hyper V
دانلود کتاب Introduction to Computation and Programming Using Python
دانلود کتاب Software Architectures, Components, and Applications: Third International Conference on Quality of Software Architectures, QoSA 2007, Medford, MA, USA, July 11-23, 2007, Revised Selected Papers
دانلود کتاب Microsoft Security Essentials User Manual
دانلود کتاب Exceptional C++: 47 Engineering Puzzles, Programming Problems, and Solutions
دانلود کتاب Active Directory Programming
دانلود کتاب Programming Microsoft Visual Basic 2005: The Language
دانلود کتاب Types and Programming Languages
