دانلود کتاب Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures
کتاب متحد کردن نظریه های برنامه نویسی و روش های مهندسی رسمی: دانشکده آموزش بین المللی مهندسی نرم افزار، برگزار شده در ICTAC 2013، شانگهای، چین، 26-30 اوت 2013، سخنرانی های پیشرفته نسخه زبان اصلی
دانلود کتاب متحد کردن نظریه های برنامه نویسی و روش های مهندسی رسمی: دانشکده آموزش بین المللی مهندسی نرم افزار، برگزار شده در ICTAC 2013، شانگهای، چین، 26-30 اوت 2013، سخنرانی های پیشرفته بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures
نام کتاب : Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures
ویرایش : 1
عنوان ترجمه شده به فارسی : متحد کردن نظریه های برنامه نویسی و روش های مهندسی رسمی: دانشکده آموزش بین المللی مهندسی نرم افزار، برگزار شده در ICTAC 2013، شانگهای، چین، 26-30 اوت 2013، سخنرانی های پیشرفته
سری : Lecture Notes in Computer Science 8050
نویسندگان : Ruzhen Dong, Johannes Faber, Wei Ke (auth.), Zhiming Liu, Jim Woodcock, Huibiao Zhu (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال نشر : 2013
تعداد صفحات : 292
ISBN (شابک) : 9783642397202 , 9783642397219
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 3 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
این کتاب 5 سخنرانی آموزشی توسط محققان برجسته ارائه می‌دهد که در دانشکده مهندسی نرم‌افزار ICTAC 2013 در مورد یکپارچه‌سازی نظریه‌های برنامه‌نویسی و روش‌های مهندسی رسمی، که در شانگهای، چین در آگوست 2013 برگزار شد، ارائه می‌شود. هدف این سخنرانی‌ها دانشجویان کارشناسی ارشد، محققان، دانشگاهیان است. ، و مهندسان صنایع. آنها موضوعاتی مانند سیستم‌های مبتنی بر مؤلفه و سرویس‌گرا، سیستم‌های بلادرنگ، سیستم‌های ترکیبی، سیستم‌های فیزیکی سایبری را پوشش می‌دهند و تکنیک‌هایی مانند اثبات قضیه استقرایی، بررسی مدل، تصحیح با ساخت از طریق اصلاح و تبدیل مدل، سنتز و ارائه می‌کنند. جبر کامپیوتری دو تا از دوره ها به صراحت با Hoare و He's Unifying Teories of Programming مرتبط هستند.
فهرست مطالب :
Front Matter....Pages -
rCOS: Defining Meanings of Component-Based Software Architectures....Pages 1-66
Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems....Pages 67-108
Unifying Theories of Programming in Isabelle....Pages 109-155
FORMULA 2.0: A Language for Formal Specifications....Pages 156-206
Formal Modelling, Analysis and Verification of Hybrid Systems....Pages 207-281
Back Matter....Pages -
توضیحاتی در مورد کتاب به زبان اصلی :
This book presents 5 tutorial lectures by leading researchers given at the ICTAC 2013 Software Engineering School on Unifying Theories of Programming and Formal Engineering Methods, held in Shanghai, China in August 2013.The lectures are aimed at postgraduate students, researchers, academics, and industrial engineers. They cover topics such as component-based and service-oriented systems, real-time systems, hybrid systems, cyber physical systems, and present techniques such as inductive theorem proving, model checking, correction by construction through refinement and model transformations, synthesis, and computer algebra. Two of the courses are explicitly related to Hoare and He's Unifying Theories of Programming.
پست ها تصادفی