Specification of Software Systems

پیشرفت‌های اخیر در روش‌های مشخصات نرم‌افزار، بررسی مدل، و اثبات قضیه ابزارهای جدیدی را برای استفاده از روش‌های رسمی در صنعت و دانشگاه ایجاد کرده است. با این حال، برای انتخاب مناسب ترین تکنیک ها برای یک کاربرد خاص، لازم است که درک و تخصص خوبی در روش های رسمی داشته باشید. مهندسان نرم‌افزار اکنون چندین مطالعه موردی برای یادگیری دارند، و می‌توانند از میان مجموعه‌ای از زبان‌ها و روش‌ها، با مجموعه‌ای غنی از مفاهیم مناسب برای برنامه‌های مورد نظر خود، انتخاب کنند.

این به‌طور گسترده اصلاح شده و جدید به‌روزرسانی شده است. نسخه مشخصات سیستم های نرم افزار مبتنی بر تمرکز اصلی بر مشخصات نرم افزار با تاکید بیشتر بر روی تمرین روش های رسمی برای مشخصات و فعالیت های تاییدبرای انواع مختلف سیستم های نرم افزاری و در مراحل مختلف توسعه سیستم های نرم افزاری. این دیدگاه گسترش یافته با مقدار قابل توجهی از محتوای جدید مطابقت دارد که برای پاسخگویی به نیازهای رو به رشد دانشجویان و محققان در زمینه مهندسی نرم افزار رسمی گنجانده شده است. موضوعات مرتبط با ادغام روش‌های رسمی در فرآیند توسعه نرم‌افزار در مراحل اولیه معرفی می‌شوند و با ارائه اصول انتزاعی، تعاریف فرمالیسم، نمادهای فرمالیسم و ​​طیف گسترده‌ای از نمونه‌های مشخصات دقیق دنبال می‌شوند. این مطالب اضافی بیشتر در ساختار جدید ویرایش دوم منعکس شده است که اکنون در شش قسمت تنظیم شده است.

موضوعات و ویژگی ها:

• پوشش گسترده ای از تکنیک های مشخصات رسمی و سبک نوشتاری واضح را ارائه می دهد، که توسط یادداشت های کتابشناختی انتهای فصل برای مطالعه بیشتر پشتیبانی می شود
• یک ساختار منطقی را ارائه می دهد، با بخش هایی که به مبانی مشخصات، مبانی فرمالیسم اختصاص دارد، منطق، نظریه مجموعه‌ها و روابط، روش‌های مشخص‌سازی ویژگی‌محور، و تکنیک‌های مشخصات مبتنی بر مدل (NEW)
• شامل تمرین‌های انتهای فصل و مطالعات موردی متعدد، با پتانسیل رئوس مطالب دوره پیشنهاد شده در مقدمه
• دربرگیرنده شیء-Z، روش B، و حساب سیستمهای ارتباطی (جدید)
• مواد قابل آموزش را ارائه می دهد. با پروژه های آزمایشگاهی با پشتیبانی ابزار

این کتاب درسی جامع برای دانش آموزان در تمام سطوح علوم کامپیوتر، مهندسی نرم افزار، کامپیوتر خواندن ضروری است. مهندسی و مهندسی سیستم های اطلاعاتی متخصصان نرم افزاری که مایل به آشنایی با روش های رسمی هستند نیز این موضوع را مرجع ارزشمندی خواهند یافت.

Dr. در مقابل. Alagarپروفسور ممتاز در گروه علوم کامپیوتر و مهندسی نرم افزار دانشگاه کنکوردیا، مونترال، کانادا است. دکتر K. Periyasamy استاد کامل در گروه علوم کامپیوتر دانشگاه ویسکانسین-لا کراس، ایالات متحده آمریکا است.

Recent advances in software specification methods, model checking, and theorem proving have generated new tools for the use of formal methods in both industry and academia. Yet, in order to choose the techniques most appropriate for a specific application, it is necessary to have a good understanding and expertise in formal methods. Software engineers now have several case studies to learn from, and are able to choose from a large selection of languages and methods, with a rich repertoire of appropriate concepts for their intended applications.

This extensively revised and updated new edition of Specification of Software Systems builds upon the original focus on software specification with added emphasis on the practice of formal methods for specification and verification activities for different types of software systems and at different stages of developing software systems. This expanded perspective is matched by a considerable amount of new content, included to cater to the growing needs of students and researchers in the area of formal software engineering. Topics related to the integration of formal methods in the software development process are introduced early, and are followed by presentations of principles of abstraction, definitions of formalism, notations of formalism, and a wide variety of detailed specification examples. This additional material is further reflected in the new structure of the second edition, which is now arranged in six parts.

Topics and features:

• Provides a wide coverage of formal specification techniques and a clear writing style, supported by end-of-chapter bibliographic notes for further reading
• Presents a logical structure, with sections devoted to specification fundamentals, basics of formalism, logic, set theory and relations, property-oriented specification methods, and model-based specification techniques (NEW)
• Contains end-of-chapter exercises and numerous case studies, with potential course outlines suggested in the Preface
• Covers Object-Z, B-Method, and Calculus of Communicating Systems (NEW)
• Offers material that can be taught with tool-supported laboratory projects

This comprehensive textbook is essential reading for students at all levels in computer science, software engineering, computer engineering, and information systems engineering. Software professionals wishing to familiarize themselves with formal methods will also find this an invaluable reference.

Dr. V.S. Alagar is Professor Emeritus at the Department of Computer Science and Software Engineering of Concordia University, Montreal, Canada. Dr. K. Periyasamy is a full Professor at the Department of Computer Science of the University of Wisconsin-La Crosse, USA.