دانلود کتاب Concise Guide to Formal Methods : Theory, Fundamentals and Industry Applications – راهنمای مختصر روش‌های رسمی: نظریه، مبانی و کاربردهای صنعت

• توضیحات
• نظرات (0)

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 Aristotles syllogistic logic and the logic of the Stoics, through Booles symbolic logic, to Freges 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 Dijkstras calculus of weakest preconditions, Hoares 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

————————————————————–

ترجمه ماشینی :

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