دانلود کتاب Concise Guide to Formal Methods : Theory, Fundamentals and Industry Applications (به فارسی: راهنمای مختصر روش‌های رسمی: نظریه، مبانی و کاربردهای صنعتی) نوشته شده توسط «O'Regan – Gerard»
اطلاعات کتاب راهنمای مختصر روش‌های رسمی: نظریه، مبانی و کاربردهای صنعتی
نوع: کتاب الکترونیکی
ناشر: Springer International Publishing
نویسنده: O’Regan – Gerard
زبان: english
فرمت کتاب: PDF (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2017
تعداد صفحه: 312 / 325
حجم فایل: 6.24 مگابایت
کد کتاب: 3319640216 , 9783319640211
توضیحات کتاب راهنمای مختصر روش‌های رسمی: نظریه، مبانی و کاربردهای صنعتی
این کتاب درسی/مرجع ارزشمند، راهنمای آسانی برای مبانی روش‌های رسمی ارائه می‌کند و کاربردهای غنی روش‌های رسمی را در طیف متنوعی از حوزه‌های محاسباتی برجسته می‌کند. موضوعات و ویژگی‌ها: مفاهیم کلیدی در مهندسی نرم‌افزار، قابلیت اطمینان و قابلیت اطمینان نرم‌افزار، روش‌های رسمی، و ریاضیات گسسته را معرفی می‌کند. تاریخچه کوتاهی از منطق، از منطق قیاسی ارسطو و منطق رواقیون، از طریق منطق نمادین بول، به کار فرگه بر روی منطق محمولی، منطق گزاره‌ای و محمولی و همچنین موضوعات پیشرفته‌تری مانند منطق فازی، منطق زمانی، منطق شهودی، مقادیر تعریف‌نشده، و کاربردهای منطق در هوش مصنوعی را پوشش می‌دهد. زبان مشخصات Z، روش توسعه وین (VDM) را بررسی می‌کند. ) و مدرسه ایرلندی VDM، و زبان مدلسازی یکپارچه (UML) در مورد محاسبات Dijkstra از ضعیف ترین پیش شرط ها، معناشناسی بدیهی Hoare در زبان های برنامه نویسی، و رویکرد کلاسیک Parnas و عبارات جدولی او پوششی از نظریه خودکار، احتمالات و آمار، مدل ارائه می کند. بررسی، و ماهیت اثبات و اثبات قضیه، مجموعه ای از ابزارهای موجود برای su را بررسی می کند روش‌شناس رسمی را معرفی کند و انتقال روش‌های رسمی به صنعت را در نظر بگیرد شامل سؤالات مروری و برجسته‌کردن موضوعات کلیدی در هر فصل، و یک واژه‌نامه مفید در پایان کتاب ارائه می‌کند. از علوم کامپیوتر و ریاضیات کنجکاو است که چگونه روش های رسمی در زمینه محاسبات اعمال می شود. دکتر جرارد اورگان یک مشاور بهبود فرآیند نرم افزار CMMI با علایق تحقیقاتی از جمله کیفیت نرم افزار و بهبود فرآیند نرم افزار، رویکردهای ریاضی به کیفیت نرم افزار و تاریخچه محاسبات است. او نویسنده عناوین Springer مانند راهنمای مختصر مهندسی نرم افزار، راهنمای ریاضیات گسسته، مقدمه ای بر تاریخچه محاسبات، ستون های محاسبات، مقدمه ای بر کیفیت نرم افزار، غول های محاسباتی، و ریاضیات در محاسبات است. ادامه مطلب…
چکیده: این کتاب درسی/مرجع ارزشمند، راهنمای آسان برای مبانی روش‌های رسمی ارائه می‌کند و کاربردهای غنی روش‌های رسمی را برجسته می‌کند. در طیف متنوعی از حوزه های محاسباتی. موضوعات و ویژگی ها: مفاهیم کلیدی در مهندسی نرم افزار، قابلیت اطمینان و قابلیت اطمینان نرم افزار، روش های رسمی و ریاضیات گسسته را معرفی می کند. تاریخچه کوتاهی از منطق، از منطق قیاسی ارسطو و منطق رواقیون، از طریق منطق نمادین بول، تا کار فرگه در مورد منطق محمولی منطق گزاره ای و محمولی و همچنین موضوعات پیشرفته تر مانند منطق فازی، منطق زمانی، منطق شهودی، مقادیر تعریف نشده و کاربردهای منطق در هوش مصنوعی را پوشش می دهد. زبان مشخصات Z، روش توسعه وین (VDM) و ایرلندی را بررسی می کند. مدرسه VDM و زبان مدلسازی یکپارچه (UML) در مورد محاسبات Dijkstra در مورد ضعیف ترین پیش شرط ها، معناشناسی بدیهی Hoare در زبان های برنامه نویسی، و رویکرد کلاسیک Parnas و عبارات جدولی او، پوششی از نظریه خودکار، احتمالات و آمار، بررسی مدل، و ماهیت اثبات و اثبات قضیه مجموعه ای از ابزارهای موجود برای پشتیبانی را بررسی می کند روش‌شناس رسمی، و انتقال روش‌های رسمی به صنعت را در نظر می‌گیرد، شامل سوالات مروری است و موضوعات کلیدی را در هر فصل برجسته می‌کند، و واژه‌نامه مفیدی را در پایان کتاب ارائه می‌کند. علوم کامپیوتر و ریاضیات کنجکاو هستند که چگونه روش های رسمی در زمینه محاسبات اعمال می شوند. دکتر جرارد اورگان یک مشاور بهبود فرآیند نرم افزار CMMI با علایق تحقیقاتی از جمله کیفیت نرم افزار و بهبود فرآیند نرم افزار، رویکردهای ریاضی به کیفیت نرم افزار و تاریخچه محاسبات است. او نویسنده عناوین Springer مانند راهنمای مختصر مهندسی نرم افزار، راهنمای ریاضیات گسسته، مقدمه ای بر تاریخچه محاسبات، ستون های محاسبات، مقدمه ای بر کیفیت نرم افزار، غول های محاسباتی، و ریاضیات در محاسبات است.
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
دانلود کتاب «راهنمای مختصر روش‌های رسمی: نظریه، مبانی و کاربردهای صنعتی»
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.