توضیحات
This volume contains lectures on leading-edge research in methods and tools for use in computer system engineering; at the 4th International School on Engineering Trustworthy Software Systems, SETSS 2018, held in April 2018 at Southwest University in Chongqing, China.
The five chapters in this volume provide an overview of research in the frontier of theories, methods, and tools for software modelling, design, and verification. The topics covered in these chapter include Software Verification with Whiley, Learning Bchi Automata and Its Applications, Security in IoT Applications, Programming in Z3, and The Impact of Alan Turing: Formal Methods and Beyond. The volume provides a useful resource for postgraduate students, researchers, academics, and engineers in industry, who are interested in theory, methods, and tools for the development of trustworthy software.
————————————————————–
ترجمه ماشینی :
این جلد شامل سخنرانیهایی درباره تحقیقات پیشرو در روشها و ابزارهایی برای استفاده در مهندسی سیستمهای کامپیوتری است. در چهارمین مدرسه بینالمللی مهندسی سیستمهای نرمافزار قابل اعتماد، SETSS 2018، که در آوریل 2018 در دانشگاه جنوب غربی در چونگ کینگ، چین برگزار شد. روشها و ابزارهای مدلسازی، طراحی و تأیید نرمافزار. موضوعات تحت پوشش در این فصل شامل تأیید نرم افزار با whiley، یادگیری Bchi Automata و کاربردهای آن، امنیت در برنامه های IoT، برنامه نویسی در Z3 و تأثیر آلن تورینگ: روش های رسمی و فراتر از آن است. این جلد منبع مفیدی برای دانشجویان تحصیلات تکمیلی، محققان، دانشگاهیان و مهندسان صنعت است که به نظریه، روشها و ابزارهای توسعه نرمافزار قابل اعتماد علاقهمند هستند.
tag : دانلود کتاب سیستم های نرم افزاری قابل اعتماد مهندسی: چهارمین مدرسه بین المللی، SETSS 2018، چونگ کینگ، چین، آوریل 712، 2018، سخنرانی های آموزشی , Download سیستم های نرم افزاری قابل اعتماد مهندسی: چهارمین مدرسه بین المللی، SETSS 2018، چونگ کینگ، چین، آوریل 712، 2018، سخنرانی های آموزشی , دانلود سیستم های نرم افزاری قابل اعتماد مهندسی: چهارمین مدرسه بین المللی، SETSS 2018، چونگ کینگ، چین، آوریل 712، 2018، سخنرانی های آموزشی , Download Engineering Trustworthy Software Systems: 4th International School, SETSS 2018, Chongqing, China, April 712, 2018, Tutorial Lectures Book , سیستم های نرم افزاری قابل اعتماد مهندسی: چهارمین مدرسه بین المللی، SETSS 2018، چونگ کینگ، چین، آوریل 712، 2018، سخنرانی های آموزشی دانلود , buy سیستم های نرم افزاری قابل اعتماد مهندسی: چهارمین مدرسه بین المللی، SETSS 2018، چونگ کینگ، چین، آوریل 712، 2018، سخنرانی های آموزشی , خرید کتاب سیستم های نرم افزاری قابل اعتماد مهندسی: چهارمین مدرسه بین المللی، SETSS 2018، چونگ کینگ، چین، آوریل 712، 2018، سخنرانی های آموزشی , دانلود کتاب Engineering Trustworthy Software Systems: 4th International School, SETSS 2018, Chongqing, China, April 712, 2018, Tutorial Lectures , کتاب Engineering Trustworthy Software Systems: 4th International School, SETSS 2018, Chongqing, China, April 712, 2018, Tutorial Lectures , دانلود Engineering Trustworthy Software Systems: 4th International School, SETSS 2018, Chongqing, China, April 712, 2018, Tutorial Lectures , خرید Engineering Trustworthy Software Systems: 4th International School, SETSS 2018, Chongqing, China, April 712, 2018, Tutorial Lectures , خرید کتاب Engineering Trustworthy Software Systems: 4th International School, SETSS 2018, Chongqing, China, April 712, 2018, Tutorial Lectures ,
دیدگاهها
هیچ دیدگاهی برای این محصول نوشته نشده است.