توضیحات
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.
————————————————————–
ترجمه ماشینی :
این جلد شامل یادداشت های سخنرانی از پنج دوره و یک سمینار است که در مدرسه سیستم های نرم افزاری قابل اعتماد مهندسی (مجموعه 2014) که در سپتامبر 2014 در دانشگاه Southwest در Chongqing ، چین برگزار شد ، برگزار شد. مطالب برای دانشجویان ، محققان ، دانشگاهیان و مهندسان صنایع که به تئوری و روشها و ابزارهای طراحی و برنامه نویسی سیستم های نرم افزاری قابل اعتماد علاقه مند هستند ، مفید است. مضامین متداول دوره ها شامل طراحی و استفاده از تئوری ها ، تکنیک ها و ابزارهای مشخصات نرم افزار و مدل سازی ، تجزیه و تحلیل و تأیید است. دوره ها برنامه نویسی متوالی ، نرم افزار مؤلفه و شی ، سیستم های ترکیبی و سیستم های فیزیکی سایبری را با چالش های خاتمه ، امنیت ، ایمنی ، امنیت ، تحمل گسل و الزامات در زمان واقعی پوشش می دهند. این تکنیک ها شامل بررسی مدل ، صحت از طریق ساخت و ساز از طریق پالایش و تحولات مدل ، سنتز و جبر رایانه است.
tag : دانلود کتاب مهندسی سیستم های نرم افزاری قابل اعتماد: اولین مدرسه بین المللی ، مجموعه 2014 ، Chongqing ، چین ، 8-13 سپتامبر 2014. سخنرانی های آموزش , Download مهندسی سیستم های نرم افزاری قابل اعتماد: اولین مدرسه بین المللی ، مجموعه 2014 ، Chongqing ، چین ، 8-13 سپتامبر 2014. سخنرانی های آموزش , دانلود مهندسی سیستم های نرم افزاری قابل اعتماد: اولین مدرسه بین المللی ، مجموعه 2014 ، Chongqing ، چین ، 8-13 سپتامبر 2014. سخنرانی های آموزش , Download Engineering Trustworthy Software Systems: First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures Book , مهندسی سیستم های نرم افزاری قابل اعتماد: اولین مدرسه بین المللی ، مجموعه 2014 ، Chongqing ، چین ، 8-13 سپتامبر 2014. سخنرانی های آموزش دانلود , buy مهندسی سیستم های نرم افزاری قابل اعتماد: اولین مدرسه بین المللی ، مجموعه 2014 ، Chongqing ، چین ، 8-13 سپتامبر 2014. سخنرانی های آموزش , خرید کتاب مهندسی سیستم های نرم افزاری قابل اعتماد: اولین مدرسه بین المللی ، مجموعه 2014 ، Chongqing ، چین ، 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 , دانلود 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 , خرید کتاب Engineering Trustworthy Software Systems: First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures ,
نقد و بررسیها
هنوز بررسیای ثبت نشده است.