دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Engineering Trustworthy Software Systems: First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures
دانلود کتاب مهندسی سیستمهای نرم افزاری قابل اعتماد: اولین مدرسه بین المللی ، SETSS 2014 ، چونگ کینگ ، چین ، 8 تا 13 سپتامبر 2014. سخنرانی های درسی
مشخصات کتاب
Engineering Trustworthy Software Systems: First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures
ویرایش: 1
نویسندگان: Zhiming Liu. Zili Zhang (eds.)
سری: Lecture Notes in Computer Science 9506
ISBN (شابک) : 9783319296272, 9783319296289
ناشر: Springer International Publishing
سال نشر: 2016
تعداد صفحات: 335
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 28 مگابایت
قیمت کتاب (تومان) : 31,000
کلمات کلیدی مربوط به کتاب مهندسی سیستمهای نرم افزاری قابل اعتماد: اولین مدرسه بین المللی ، SETSS 2014 ، چونگ کینگ ، چین ، 8 تا 13 سپتامبر 2014. سخنرانی های درسی: مهندسی نرم افزار، منطق و معانی برنامه ها، زبان های برنامه نویسی، کامپایلرها، مترجمان، شبیه سازی و مدل سازی، سیستم های هدف خاص و مبتنی بر کاربرد
در صورت تبدیل فایل کتاب Engineering Trustworthy Software Systems: First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مهندسی سیستمهای نرم افزاری قابل اعتماد: اولین مدرسه بین المللی ، SETSS 2014 ، چونگ کینگ ، چین ، 8 تا 13 سپتامبر 2014. سخنرانی های درسی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب مهندسی سیستمهای نرم افزاری قابل اعتماد: اولین مدرسه بین المللی ، SETSS 2014 ، چونگ کینگ ، چین ، 8 تا 13 سپتامبر 2014. سخنرانی های درسی
این جلد شامل یادداشت‌های سخنرانی پنج دوره و یک سمینار است که در دانشکده مهندسی سیستمهای نرم‌افزار قابل اعتماد (SETSS 2014)، که در سپتامبر 2014 در دانشگاه جنوب غربی در چونگ کینگ، چین برگزار شد.
این مطالب برای دانشجویان کارشناسی ارشد، محققین، دانشگاهیان و مهندسین صنایع که به تئوری و عمل روش ها و ابزارهای طراحی و برنامه نویسی سیستم های نرم افزاری قابل اعتماد علاقه مند هستند، مفید است. موضوعات رایج دوره ها شامل طراحی و استفاده از تئوری ها، تکنیک ها و ابزارهایی برای مشخصات نرم افزار و مدل سازی، تجزیه و تحلیل و تایید است. این دوره ها برنامه نویسی متوالی، نرم افزارهای جزء و شی، سیستم های ترکیبی و سیستم های فیزیکی سایبری را با چالش های خاتمه، امنیت، ایمنی، امنیت، تحمل خطا و الزامات بلادرنگ پوشش می دهند. این تکنیک ها شامل بررسی مدل، صحت با ساخت از طریق اصلاح و تبدیل مدل، سنتز و جبر کامپیوتری است.توضیحاتی درمورد کتاب به خارجی
This volume contains the lecture notes of the five courses and one seminar given at the School on Engineering Trustworthy Software Systems (SETSS 2014), held in September 2014 at Southwest University in Chongqing, China.
The material is useful for postgraduate students, researchers, academics and industrial engineers who are interested in the theory and practice of methods and tools for the design and programming of trustworthy software systems. The common themes of the courses include the design and use of theories, techniques and tools for software specification and modeling, analysis and verification. The courses cover sequential programming, component- and object software, hybrid systems and cyber-physical systems with challenges of termination, security, safety, security, fault-tolerance and real-time requirements. The techniques include model checking, correctness by construction through refinement and model transformations, synthesis and computer algebra.فهرست مطالب
Front Matter....Pages I-XI
(In-)Formal Methods: The Lost Art....Pages 1-79
Program Refinement, Perfect Secrecy and Information Flow....Pages 80-102
The Z Notation: Whence the Cause and Whither the Course?....Pages 103-151
Model-Driven Design of Object and Component Systems....Pages 152-255
Cyber-Physical Systems Engineering....Pages 256-289
Combining Formal and Informal Methods in the Design of Spacecrafts....Pages 290-323
Back Matter....Pages 325-325
