دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Engineering Theories of Software Intensive Systems: Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems, ... II: Mathematics, Physics and Chemistry)
دانلود کتاب نظریه های مهندسی سیستم های فشرده نرم افزاری: مجموعه مقالات موسسه مطالعات پیشرفته ناتو در مورد نظریه های مهندسی سیستم های فشرده نرم افزاری ، ... II: ریاضیات ، فیزیک و شیمی)
مشخصات کتاب
Engineering Theories of Software Intensive Systems: Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems, ... II: Mathematics, Physics and Chemistry)
ویرایش: 1 نویسندگان: Manfred Broy, Johannes Gruenbauer, David Harel, Tony Hoare سری: ISBN (شابک) : 1402035306, 9781402035326 ناشر: Springer سال نشر: 2005 تعداد صفحات: 413 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 6 مگابایت
قیمت کتاب (تومان) : 63,000
در صورت تبدیل فایل کتاب Engineering Theories of Software Intensive Systems: Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems, ... II: Mathematics, Physics and Chemistry) به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب نظریه های مهندسی سیستم های فشرده نرم افزاری: مجموعه مقالات موسسه مطالعات پیشرفته ناتو در مورد نظریه های مهندسی سیستم های فشرده نرم افزاری ، ... II: ریاضیات ، فیزیک و شیمی) نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب نظریه های مهندسی سیستم های فشرده نرم افزاری: مجموعه مقالات موسسه مطالعات پیشرفته ناتو در مورد نظریه های مهندسی سیستم های فشرده نرم افزاری ، ... II: ریاضیات ، فیزیک و شیمی)
مهندسی نرم افزار در طول سال ها در بسیاری از زمینه های مختلف، از مخابرات گرفته تا سیستم های تعبیه شده در صنعت خودرو و هواپیما و همچنین در مهندسی تولید و شبکه های کامپیوتری به کار گرفته شده است. پایههای فناوری نرمافزار در مدلهایی نهفته است که اجازه میدهد دامنههای برنامهها، نیازمندیهای دقیق را به تصویر بکشد، اما همچنین ساختار و عملکرد سیستمهای نرمافزاری مانند معماریها و برنامهها را درک کند. این مدل ها باید در تکنیک های مبتنی بر ریاضیات گسسته، جبر و منطق بیان شوند. با این حال، با توجه به نیازهای بسیار خاص در کاربردهای فناوری نرمافزار، روشهای رسمی باید پاسخگوی نیازها و کیفیت روشهای پیشرفته مهندسی نرمافزار، به ویژه با در نظر گرفتن جنبههای امنیتی در فناوری اطلاعات باشد. این کتاب مبانی ریاضی مهندسی نرمافزار و روشهای مهندسی پیشرفته را در ماهیت نظری خود در گامی به سوی کاربردهای عملی برای بررسی تکنیکهای مهندسی نرمافزار و مبانی مورد استفاده برای کارهای صنعتی ارائه میکند. مشارکتهای این جلد از سخنرانیهای بیست و پنجمین مدرسه تابستانی بینالمللی درباره نظریههای مهندسی سیستمهای فشرده نرمافزار، که از 3 تا 15 اوت 2004 در مارکتوبردورف، آلمان برگزار شد، پدید آمد.
توضیحاتی درمورد کتاب به خارجی
Software engineering has over the years been applied in many different fields, ranging from telecommunications to embedded systems in car and aircraft industry as well as in production engineering and computer networks. Foundations in software technology lie in models allowing to capture application domains, detailed requirements, but also to understand the structure and working of software systems like software architectures and programs. These models have to be expressed in techniques based on discrete mathematics, algebra and logics. However, according to the very specific needs in applications of software technology, formal methods have to serve the needs and the quality of advanced software engineering methods, especially taking into account security aspects in Information Technology. This book presents mathematical foundations of software engineering and state-of-the-art engineering methods in their theoretical substance in the step towards practical applications to examine software engineering techniques and foundations used for industrial tasks. The contributions in this volume emerged from lectures of the 25th International Summer School on Engineering Theories of Software Intensive Systems, held at Marktoberdorf, Germany from August 3 to August 15, 2004.
فهرست مطالب
Incremental Software Construction with Refinement Diagrams....Pages 3-46
Service-Oriented Systems Engineering: Specification and Design of Services and Layered Architectures....Pages 47-81
Interface-Based Design....Pages 83-104
The Dependent Delegate Dilemma....Pages 105-118
Formalizing Counterexample-Driven Refinement with Weakest Preconditions....Pages 121-139
A Mechanically Checked Proof of a Comparator Sort Algorithm....Pages 141-175
Keys in Formal Verification....Pages 177-213
On the Utility of Canonical Abstraction....Pages 215-253
Process Algebra: A Unifying Approach....Pages 257-283
Computation Orchestration....Pages 285-330
A Tree Semantics of an Orchestration Language....Pages 331-350
Model Driven Security....Pages 353-398
Some Challenges for System Development: Reactive Animation, Smart Play-Out and Olfaction....Pages 399-404
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Beginning C# 7 Hands-On The Core Language
