دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Engineering Trustworthy Software Systems: Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures
دانلود کتاب سیستم های نرم افزاری قابل اعتماد مهندسی: مدرسه بین المللی سوم، SETSS 2017، چونگ کینگ، چین، 17-22 آوریل 2017، سخنرانی های آموزشی
مشخصات کتاب
Engineering Trustworthy Software Systems: Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures
ویرایش: 1st ed. نویسندگان: Jonathan P. Bowen, Zhiming Liu, Zili Zhang سری: Lecture Notes in Computer Science 11174 ISBN (شابک) : 9783030029272, 9783030029289 ناشر: Springer International Publishing سال نشر: 2018 تعداد صفحات: 234 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 10 مگابایت
قیمت کتاب (تومان) : 32,000
کلمات کلیدی مربوط به کتاب سیستم های نرم افزاری قابل اعتماد مهندسی: مدرسه بین المللی سوم، SETSS 2017، چونگ کینگ، چین، 17-22 آوریل 2017، سخنرانی های آموزشی: علوم کامپیوتر، مهندسی نرم افزار، زبان های برنامه نویسی، کامپایلرها، مترجمان، تکنیک های برنامه نویسی، منطق و معانی برنامه ها، حرفه محاسبات، عملکرد و ارزیابی سیستم
در صورت تبدیل فایل کتاب Engineering Trustworthy Software Systems: Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب سیستم های نرم افزاری قابل اعتماد مهندسی: مدرسه بین المللی سوم، SETSS 2017، چونگ کینگ، چین، 17-22 آوریل 2017، سخنرانی های آموزشی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب سیستم های نرم افزاری قابل اعتماد مهندسی: مدرسه بین المللی سوم، SETSS 2017، چونگ کینگ، چین، 17-22 آوریل 2017، سخنرانی های آموزشی
این جلد شامل سابقه برخی از سخنرانی‌ها و سمینارهای ارائه شده در سومین مدرسه بین‌المللی سیستم‌های نرم‌افزار قابل اعتماد مهندسی (SETSS 2017) است که در آوریل 2017 در دانشگاه جنوب غربی در چونگ کینگ، چین برگزار شد.
شش مقاله ارائه شده در این جلد مروری بر تحقیقات پیشرو در روش‌ها و ابزارهایی برای استفاده در مهندسی سیستم کامپیوتری ارائه می‌دهد. آنها از شش دوره اصلی ارائه شده در مدرسه با موضوعاتی مانند: تفکر متکی/تضمین تهیه شده اند. مشخصات سبک Hoare و تأیید برنامه های شی گرا با JML. منطق، مشخصات، تأیید، و اثبات تعاملی؛ بررسی مدل نرم افزار با Automizer. نوشتن برنامه ها و شواهد؛ مهندسی سیستم های فشرده نرم افزاری خود تطبیقی؛ و با مشارکت اضافی در چالش‌های توصیف معنایی رسمی. این مطالب برای دانشجویان کارشناسی ارشد، محققین، دانشگاهیان و مهندسان صنایع که به تئوری و عمل روش ها و ابزارهای طراحی و برنامه نویسی سیستم های نرم افزاری قابل اعتماد علاقه مند هستند، مفید است.
توضیحاتی درمورد کتاب به خارجی
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.
فهرست مطالب
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
