Formal Specification: Techniques and Applications

مشخصات رسمیn یک کتاب درسی برای دوره های لیسانس و کارشناسی ارشد سال دوم و سوم در روش های رسمی است که رویکردی کاربردی و همه کاره برای ساخت مشخصات ارائه می دهد. هم رویکردهای مبتنی بر مدل و هم رویکردهای جبری را پوشش می‌دهد و بر گستره زبان‌ها و رویکردهای موجود تأکید می‌کند. اصول ریاضی با استفاده از مثال‌هایی از زندگی روزمره (مانند بازی‌های ورق) توضیح داده می‌شوند تا آنها را \"ابهام زدایی\" و قابل درک‌تر کند. این شامل موارد زیر است: پوشش بی‌رقیب موضوع شامل تمام تمرین‌های مهم و پیشرفت‌های اخیر بسیاری از تمرین‌ها با پاسخ‌های مدل مطالعات موردی برای راهنمایی دانش‌آموزان از طریق یادداشت‌های حاشیه اصول اصلی برای شناسایی نکات کلیدی. لازم نیست خوانندگان این کتاب در مشخصات رسمی کاملاً صلاحیت داشته باشند - به گونه ای نوشته شده است که برای هر دانش آموزی که می خواهد در مورد موضوع یاد بگیرد قابل دسترسی باشد.

Formal Specification is a textbook for 2nd/3rd year undergraduate and postgraduate courses in Formal Methods which offers a practical and versatile approach to constructing specifications. It covers both model-based and algebraic approaches and emphasises the range of languages and approaches which are available. Mathematical principles are explained using examples from everyday life (like card games), in order to "demystify" them and make them more comprehensible. It includes: unrivalled coverage of the topic including all important, recent advances lots of exercises with model answers case studies to guide students through the main principles margin notes to identify key points. Readers of this book do not have to be fully competent in formal specification - it is written to be accessible to any student who wants to learn about the topic.