دانلود کتاب Engineering Trustworthy Software Systems: First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures
کتاب سیستم های نرم افزاری قابل اعتماد مهندسی: اولین مدرسه بین المللی، SETSS 2014، چونگ کینگ، چین، 8-13 سپتامبر 2014. سخنرانی های آموزشی نسخه زبان اصلی
دانلود کتاب سیستم های نرم افزاری قابل اعتماد مهندسی: اولین مدرسه بین المللی، SETSS 2014، چونگ کینگ، چین، 8-13 سپتامبر 2014. سخنرانی های آموزشی بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Engineering Trustworthy Software Systems: First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures
نام کتاب : Engineering Trustworthy Software Systems: First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures
ویرایش : 1
عنوان ترجمه شده به فارسی : سیستم های نرم افزاری قابل اعتماد مهندسی: اولین مدرسه بین المللی، SETSS 2014، چونگ کینگ، چین، 8-13 سپتامبر 2014. سخنرانی های آموزشی
سری : Lecture Notes in Computer Science 9506
نویسندگان : Zhiming Liu, Zili Zhang (eds.)
ناشر : Springer International Publishing
سال نشر : 2016
تعداد صفحات : 335
ISBN (شابک) : 9783319296272 , 9783319296289
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 28 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
این جلد شامل یادداشت‌های سخنرانی پنج دوره و یک سمینار است که در دانشکده مهندسی سیستم‌های نرم‌افزار قابل اعتماد (SETSS 2014)، که در سپتامبر 2014 در دانشگاه جنوب غربی در چونگ کینگ، چین برگزار شد.
این مطالب برای دانشجویان کارشناسی ارشد، محققین، دانشگاهیان و مهندسین صنایع که به تئوری و عمل روش ها و ابزارهای طراحی و برنامه نویسی سیستم های نرم افزاری قابل اعتماد علاقه مند هستند، مفید است. موضوعات رایج دوره ها شامل طراحی و استفاده از تئوری ها، تکنیک ها و ابزارهایی برای مشخصات نرم افزار و مدل سازی، تجزیه و تحلیل و تایید است. این دوره ها برنامه نویسی متوالی، نرم افزارهای جزء و شی، سیستم های ترکیبی و سیستم های فیزیکی سایبری را با چالش های خاتمه، امنیت، ایمنی، امنیت، تحمل خطا و الزامات بلادرنگ پوشش می دهند. این تکنیک ها شامل بررسی مدل، صحت با ساخت از طریق اصلاح و تبدیل مدل، سنتز و جبر کامپیوتری است.فهرست مطالب :
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
توضیحاتی در مورد کتاب به زبان اصلی :
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.