مشخصات کتاب

Concise Guide to Formal Methods : Theory, Fundamentals and Industry Applications

ویرایش:  
نویسندگان: O'Regan. Gerard  
سری: Undergraduate Topics in Computer Science 
ISBN (شابک) : 9783319640211, 9783319640204 
ناشر: Springer International Publishing 
سال نشر: 2017 
تعداد صفحات: 325 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 6 مگابایت 

کلمات کلیدی مربوط به کتاب راهنمای مختصر روش‌های رسمی: نظریه، مبانی و کاربردهای صنعت: علوم کامپیوتر، اطلاعات، نرم افزار کامپیوتر -- قابلیت استفاده مجدد، نرم افزار -- استفاده مجدد، مهندسی نرم افزار، مهندسی نرم افزار، منطق ریاضی، علوم کامپیوتر -- ریاضیات، اطلاعات -- ریاضیات، ریاضیات کامپیوتری، منطق، نمادین و ریاضی

در صورت تبدیل فایل کتاب Concise Guide to Formal Methods : Theory, Fundamentals and Industry Applications به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب راهنمای مختصر روش‌های رسمی: نظریه، مبانی و کاربردهای صنعت نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب راهنمای مختصر روش‌های رسمی: نظریه، مبانی و کاربردهای صنعت

این کتاب درسی/مرجع ارزشمند، راهنمای آسانی برای اصول روش‌های رسمی ارائه می‌کند، که کاربردهای غنی روش‌های رسمی را در طیف متنوعی از حوزه‌های محاسباتی برجسته می‌کند. موضوعات و ویژگی‌ها: مفاهیم کلیدی در مهندسی نرم‌افزار، قابلیت اطمینان و قابلیت اطمینان نرم‌افزار، روش‌های رسمی، و ریاضیات گسسته را معرفی می‌کند. و منطق رواقیون، از طریق منطق نمادین بول، تا کار فرگه در مورد منطق محمولی، منطق گزاره ای و محمولی، و همچنین موضوعات پیشرفته تری مانند منطق فازی، منطق زمانی، منطق شهودی، مقادیر نامشخص، و کاربردهای منطق را در بر می گیرد. هوش مصنوعی زبان مشخصات Z، روش توسعه وین (VDM) و مدرسه ایرلندی VDM را بررسی می‌کند، و زبان مدل‌سازی یکپارچه (UML) در مورد محاسبات ضعیف‌ترین پیش‌شرط‌های Dijkstra، معناشناسی بدیهی Hoare در زبان‌های برنامه‌نویسی، و رویکرد کلاسیک Parnas و او بحث می‌کند. عبارات جدولی پوششی از تئوری خودکار، احتمالات و آمار، بررسی مدل، و ماهیت اثبات و اثبات قضیه را ارائه می‌کند. مجموعه‌ای از ابزارهای موجود برای پشتیبانی از روش‌شناس رسمی را مرور می‌کند، و انتقال روش‌های رسمی به صنعت را در نظر می‌گیرد، شامل سؤالات بررسی و نکات کلیدی است. موضوعات در هر فصل، و واژه نامه مفیدی را در پایان کتاب ارائه می دهد. این راهنمای محرک یک نمای کلی گسترده و در دسترس از روش های رسمی برای دانشجویان علوم کامپیوتر و ریاضیات که کنجکاو هستند در مورد چگونگی استفاده از روش های رسمی در زمینه محاسبات فراهم می کند. دکتر جرارد اورگان یک مشاور بهبود فرآیند نرم افزار CMMI با علایق تحقیقاتی از جمله کیفیت نرم افزار و بهبود فرآیند نرم افزار، رویکردهای ریاضی به کیفیت نرم افزار، و تاریخچه محاسبات است. او نویسنده عناوین Springer مانند راهنمای مختصر مهندسی نرم افزار، راهنمای ریاضیات گسسته، مقدمه ای بر تاریخچه محاسبات، ستون های محاسبات، مقدمه ای بر کیفیت نرم افزار، غول های محاسباتی، و ریاضیات در محاسبات است. <. span class='showMoreLessControlElement showMoreLessInline'>بیشتر بخوانید...
چکیده: این کتاب درسی/مرجع ارزشمند، راهنمای آسان برای خواندن اصول اولیه روش‌های رسمی، که کاربردهای غنی روش‌های رسمی را در طیف متنوعی از حوزه‌های محاسباتی برجسته می‌کند. موضوعات و ویژگی ها: مفاهیم کلیدی در مهندسی نرم افزار، قابلیت اطمینان و قابلیت اطمینان نرم افزار، روش های رسمی و ریاضیات گسسته را معرفی می کند. تاریخچه کوتاهی از منطق، از منطق قیاسی ارسطو و منطق رواقیون، از طریق منطق نمادین بول، تا کار فرگه در مورد منطق محمولی منطق گزاره ای و محمولی و همچنین موضوعات پیشرفته تری مانند منطق فازی، منطق زمانی، منطق شهودی، مقادیر تعریف نشده و کاربردهای منطق در هوش مصنوعی را پوشش می دهد. زبان مشخصات Z، روش توسعه وین (VDM) و ایرلندی را بررسی می کند مدرسه VDM و زبان مدل‌سازی یکپارچه (UML) در مورد محاسبات Dijkstra از ضعیف‌ترین پیش‌شرط‌ها، معناشناسی بدیهی Hoare در زبان‌های برنامه‌نویسی، و رویکرد کلاسیک Parnas و عبارات جدولی او، پوششی از نظریه خودکار، احتمال و آمار، بررسی مدل، و ماهیت اثبات و اثبات قضیه، مجموعه ای از ابزارهای موجود را برای حمایت از متدیست رسمی بررسی می کند، و انتقال روش های رسمی به صنعت را در نظر می گیرد، شامل سؤالات مروری است و موضوعات کلیدی را در هر فصل برجسته می کند، و واژه نامه مفیدی را در پایان کتاب ارائه می کند. این راهنمای محرک یک نمای کلی گسترده و قابل دسترس از روش‌های رسمی را برای دانشجویان علوم کامپیوتر و ریاضیات که کنجکاو هستند در مورد نحوه اعمال روش‌های رسمی در زمینه محاسبات فراهم می‌کند. دکتر جرارد اورگان یک مشاور بهبود فرآیند نرم افزار CMMI با علایق تحقیقاتی از جمله کیفیت نرم افزار و بهبود فرآیند نرم افزار، رویکردهای ریاضی به کیفیت نرم افزار، و تاریخچه محاسبات است. او نویسنده عناوین Springer مانند راهنمای مختصر در مهندسی نرم افزار، راهنمای ریاضیات گسسته، مقدمه ای بر تاریخچه محاسبات، ستون های محاسبات، مقدمه ای بر کیفیت نرم افزار، غول های محاسباتی، و ریاضیات در محاسبات است.

توضیحاتی درمورد کتاب به خارجی

This invaluable textbook/reference provides an easy-to-read guide to the fundamentals of formal methods, highlighting the rich applications of formal methods across a diverse range of areas of computing. Topics and features: Introduces the key concepts in software engineering, software reliability and dependability, formal methods, and discrete mathematics Presents a short history of logic, from Aristotle’s syllogistic logic and the logic of the Stoics, through Boole’s symbolic logic, to Frege’s work on predicate logic Covers propositional and predicate logic, as well as more advanced topics such as fuzzy logic, temporal logic, intuitionistic logic, undefined values, and the applications of logic to AI Examines the Z specification language, the Vienna Development Method (VDM) and Irish School of VDM, and the unified modelling language (UML) Discusses Dijkstra’s calculus of weakest preconditions, Hoare’s axiomatic semantics of programming languages, and the classical approach of Parnas and his tabular expressions Provides coverage of automata theory, probability and statistics, model checking, and the nature of proof and theorem proving Reviews a selection of tools available to support the formal methodist, and considers the transfer of formal methods to industry Includes review questions and highlights key topics in every chapter, and supplies a helpful glossary at the end of the book This stimulating guide provides a broad and accessible overview of formal methods for students of computer science and mathematics curious as to how formal methods are applied to the field of computing. Dr. Gerard O'Regan is a CMMI software process improvement consultant with research interests including software quality and software process improvement, mathematical approaches to software quality, and the history of computing. He is the author of such Springer titles as Concise Guide to Software Engineering, Guide to Discrete Mathematics, Introduction to the History of Computing, Pillars of Computing, Introduction to Software Quality, Giants of Computing, and Mathematics in Computing. Read more...
Abstract: This invaluable textbook/reference provides an easy-to-read guide to the fundamentals of formal methods, highlighting the rich applications of formal methods across a diverse range of areas of computing. Topics and features: Introduces the key concepts in software engineering, software reliability and dependability, formal methods, and discrete mathematics Presents a short history of logic, from Aristotle’s syllogistic logic and the logic of the Stoics, through Boole’s symbolic logic, to Frege’s work on predicate logic Covers propositional and predicate logic, as well as more advanced topics such as fuzzy logic, temporal logic, intuitionistic logic, undefined values, and the applications of logic to AI Examines the Z specification language, the Vienna Development Method (VDM) and Irish School of VDM, and the unified modelling language (UML) Discusses Dijkstra’s calculus of weakest preconditions, Hoare’s axiomatic semantics of programming languages, and the classical approach of Parnas and his tabular expressions Provides coverage of automata theory, probability and statistics, model checking, and the nature of proof and theorem proving Reviews a selection of tools available to support the formal methodist, and considers the transfer of formal methods to industry Includes review questions and highlights key topics in every chapter, and supplies a helpful glossary at the end of the book This stimulating guide provides a broad and accessible overview of formal methods for students of computer science and mathematics curious as to how formal methods are applied to the field of computing. Dr. Gerard O'Regan is a CMMI software process improvement consultant with research interests including software quality and software process improvement, mathematical approaches to software quality, and the history of computing. He is the author of such Springer titles as Concise Guide to Software Engineering, Guide to Discrete Mathematics, Introduction to the History of Computing, Pillars of Computing, Introduction to Software Quality, Giants of Computing, and Mathematics in Computing

فهرست مطالب

Front Matter ....Pages i-xxvi
 Software Engineering  (Gerard O’Regan)....Pages 1-25
 Software Reliability and Dependability  (Gerard O’Regan)....Pages 27-40
 Overview of Formal Methods  (Gerard O’Regan)....Pages 41-63
 Sets, Relations and Functions  (Gerard O’Regan)....Pages 65-92
 A Short History of Logic  (Gerard O’Regan)....Pages 93-108
 Propositional and Predicate Logic  (Gerard O’Regan)....Pages 109-135
 Advanced Topics in Logic  (Gerard O’Regan)....Pages 137-154
 Z Formal Specification Language  (Gerard O’Regan)....Pages 155-171
 Vienna Development Method  (Gerard O’Regan)....Pages 173-186
 Irish School of VDM  (Gerard O’Regan)....Pages 187-204
 Unified Modelling Language  (Gerard O’Regan)....Pages 205-218
 Dijkstra, Hoare and Parnas  (Gerard O’Regan)....Pages 219-241
 Automata Theory  (Gerard O’Regan)....Pages 243-252
 Model Checking  (Gerard O’Regan)....Pages 253-262
 The Nature of Theorem Proving  (Gerard O’Regan)....Pages 263-271
 Probability and Statistics  (Gerard O’Regan)....Pages 273-289
 Industrial Tools for Formal Methods  (Gerard O’Regan)....Pages 291-299
 Technology Transfer to Industry  (Gerard O’Regan)....Pages 301-309
 Epilogue  (Gerard O’Regan)....Pages 311-314
 Erratum to: Concise Guide to Formal Methods  (Gerard O’Regan)....Pages E1-E1
Back Matter ....Pages 315-322

نظرات کاربران

کتاب های تصادفی

دانلود کتاب Mediterranean DASH Diet: 4 Books in 1 - Why Mediterranean Cooking and DASH Diet Are the Healthiest in the World. 2 Complete Guides for Beginners + 2 Cookbooks with 290 Recipes to Improve Your Health

دانلود کتاب El rostro de la batalla

دانلود کتاب Statius: Thebais (Libri VIII-XII). Achilleis

دانلود کتاب Bienvenidas Goma Eva Country № 12

دانلود کتاب Vagabonds: Tourists in the Heart of Darkness