توضیحات
This volume contains a record of some of the lectures and seminars delivered at the Second International School on Engineering Trustworthy Software Systems (SETSS 2016), held in March/April 2016 at Southwest University in Chongqing, China.
The six contributions included in this volume provide an overview of leading-edge research in methods and tools for use in computer system engineering. They have been distilled from six courses and two seminars on topics such as: modelling and verification in event-B; parallel programming today; runtime verification; Java in the safety-critical domain; semantics of reactive systems; parameterized unit testing; formal reasoning about infinite data values; and Alan Turing and his remarkable achievements. 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.
————————————————————–
ترجمه ماشینی :
این جلد حاوی سابقه برخی از سخنرانیها و سمینارهای ارائه شده در دومین مدرسه بینالمللی سیستمهای نرمافزار قابل اعتماد مهندسی (SETSS 2016) است که در مارس/آوریل 2016 در دانشگاه جنوب غربی در چونگ کینگ، چین برگزار شد. شش مقاله گنجانده شده در این جلد، مروری بر تحقیقات پیشرو در روش ها و ابزارهایی برای استفاده در مهندسی سیستم کامپیوتری ارائه می دهد. آنها از شش دوره و دو سمینار با موضوعاتی مانند: مدل سازی و تأیید در رویداد-B استخراج شده اند. برنامه نویسی موازی امروز؛ تایید زمان اجرا؛ جاوا در حوزه ایمنی حیاتی؛ معناشناسی سیستم های واکنشی؛ تست واحد پارامتری استدلال رسمی در مورد مقادیر بی نهایت داده؛ و آلن تورینگ و دستاوردهای چشمگیر او. این مطالب برای دانشجویان کارشناسی ارشد، محققین، دانشگاهیان و مهندسین صنایع که به تئوری و عمل روش ها و ابزارهای طراحی و برنامه نویسی سیستم های نرم افزاری قابل اعتماد علاقه مند هستند، مفید است.
tag : دانلود کتاب سیستم های نرم افزاری قابل اعتماد مهندسی: مدرسه بین المللی دوم، SETSS 2016، چونگ کینگ، چین، 28 مارس – 2 آوریل 2016، سخنرانی های آموزشی , Download سیستم های نرم افزاری قابل اعتماد مهندسی: مدرسه بین المللی دوم، SETSS 2016، چونگ کینگ، چین، 28 مارس – 2 آوریل 2016، سخنرانی های آموزشی , دانلود سیستم های نرم افزاری قابل اعتماد مهندسی: مدرسه بین المللی دوم، SETSS 2016، چونگ کینگ، چین، 28 مارس – 2 آوریل 2016، سخنرانی های آموزشی , Download Engineering Trustworthy Software Systems: Second International School, SETSS 2016, Chongqing, China, March 28 – April 2, 2016, Tutorial Lectures Book , سیستم های نرم افزاری قابل اعتماد مهندسی: مدرسه بین المللی دوم، SETSS 2016، چونگ کینگ، چین، 28 مارس – 2 آوریل 2016، سخنرانی های آموزشی دانلود , buy سیستم های نرم افزاری قابل اعتماد مهندسی: مدرسه بین المللی دوم، SETSS 2016، چونگ کینگ، چین، 28 مارس – 2 آوریل 2016، سخنرانی های آموزشی , خرید کتاب سیستم های نرم افزاری قابل اعتماد مهندسی: مدرسه بین المللی دوم، SETSS 2016، چونگ کینگ، چین، 28 مارس – 2 آوریل 2016، سخنرانی های آموزشی , دانلود کتاب Engineering Trustworthy Software Systems: Second International School, SETSS 2016, Chongqing, China, March 28 – April 2, 2016, Tutorial Lectures , کتاب Engineering Trustworthy Software Systems: Second International School, SETSS 2016, Chongqing, China, March 28 – April 2, 2016, Tutorial Lectures , دانلود Engineering Trustworthy Software Systems: Second International School, SETSS 2016, Chongqing, China, March 28 – April 2, 2016, Tutorial Lectures , خرید Engineering Trustworthy Software Systems: Second International School, SETSS 2016, Chongqing, China, March 28 – April 2, 2016, Tutorial Lectures , خرید کتاب Engineering Trustworthy Software Systems: Second International School, SETSS 2016, Chongqing, China, March 28 – April 2, 2016, Tutorial Lectures ,
نقد و بررسیها
هنوز بررسیای ثبت نشده است.