دانلود کتاب Engineering Trustworthy Software Systems: Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures
کتاب سیستم های نرم افزاری قابل اعتماد مهندسی: مدرسه بین المللی سوم، SETSS 2017، چونگ کینگ، چین، 17 تا 22 آوریل 2017، سخنرانی های آموزشی نسخه زبان اصلی
دانلود کتاب سیستم های نرم افزاری قابل اعتماد مهندسی: مدرسه بین المللی سوم، SETSS 2017، چونگ کینگ، چین، 17 تا 22 آوریل 2017، سخنرانی های آموزشی بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Engineering Trustworthy Software Systems: Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures
نام کتاب : Engineering Trustworthy Software Systems: Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures
ویرایش : 1st ed.
عنوان ترجمه شده به فارسی : سیستم های نرم افزاری قابل اعتماد مهندسی: مدرسه بین المللی سوم، SETSS 2017، چونگ کینگ، چین، 17 تا 22 آوریل 2017، سخنرانی های آموزشی
سری : Lecture Notes in Computer Science 11174
نویسندگان : Jonathan P. Bowen, Zhiming Liu, Zili Zhang
ناشر : Springer International Publishing
سال نشر : 2018
تعداد صفحات : 234
ISBN (شابک) : 9783030029272 , 9783030029289
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 10 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
این جلد حاوی رکوردی از برخی از سخنرانی ها و سمینارهای ارائه شده در سومین مدرسه بین المللی سیستم های نرم افزاری قابل اعتماد مهندسی (Setss 2017) ، که در آوریل 2017 در دانشگاه Southwest در Chongqing ، چین برگزار شد.
شش مشارکت موجود در این جلد ، مروری بر تحقیقات پیشرو در روشها و ابزارهای استفاده در مهندسی سیستم رایانه ای ارائه می دهد. آنها از شش دوره اصلی ارائه شده در مدرسه با موضوعاتی مانند: متکی/تضمین تفکر تقطیر شده اند. مشخصات و تأیید برنامه های به سبک Hoare با JML ؛ منطق ، مشخصات ، تأیید و اثبات تعاملی ؛ بررسی مدل نرم افزار با Automizer ؛ نوشتن برنامه ها و اثبات ؛ سیستم های نرم افزاری خود سازگار با مهندسی ؛ و با مشارکت اضافی در چالش های توضیحات معنایی رسمی. این مطالب برای دانشجویان تحصیلات تکمیلی ، محققان ، دانشگاهیان و مهندسان صنایع ، که به تئوری و روش روش ها و ابزارهای طراحی و برنامه نویسی سیستم های نرم افزاری قابل اعتماد علاقه مند هستند ، مفید است.
فهرست مطالب :
Front Matter ....Pages I-XVII
A Guide to Rely/Guarantee Thinking (Ian J. Hayes, Cliff B. Jones)....Pages 1-38
An Illustrated Guide to the Model Theory of Supertype Abstraction and Behavioral Subtyping (Gary T. Leavens, David A. Naumann)....Pages 39-88
Formalizing Hoare Logic in PVS (Natarajan Shankar)....Pages 89-114
Modeling Concurrency in Dafny (K. Rustan M. Leino)....Pages 115-142
Software Is Not Soft (Xiaoxing Ma, Tianxiao Gu, Wei Song)....Pages 143-175
Challenges for Formal Semantic Description: Responses from the Main Approaches (Cliff B. Jones, Troy K. Astarte)....Pages 176-217
Back Matter ....Pages 219-219
توضیحاتی در مورد کتاب به زبان اصلی :
This volume contains a record of some of the lectures and seminars delivered at the Third International School on Engineering Trustworthy Software Systems (SETSS 2017), held in April 2017 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 original courses delivered at the school on topics such as: rely/guarantee thinking; Hoare-style specification and verification of object-oriented programs with JML; logic, specification, verification, and interactive proof; software model checking with Automizer; writing programs and proofs; engineering self-adaptive software-intensive systems; and with an additional contribution on the challenges for formal semantic description. 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.
پست ها تصادفی