Software Specification Methods: An Overview Using a Case Study

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

Objectives of this Book This book is an introduction to a set of software specification methods. Its tar­ geted audience are readers who do not wish to read pages of definitions in order to understand the basics of a method. The same case study is used to introduce each method, following a rigorously uniform presentation format. Special care has been devoted to ensure that specifications do not deviate from the case study text. As much as the method allows, what is specified is what appears in the case study text. The benefits are two-fold. First, the reader can easily switch from one method to another, using his knowledge of the case study as a leverage to understand a new method. Second, it becomes easier to compare methods, because the same behavior is specified in each case. Each method presentation follows the same pattern. The concepts are pro­ gressively introduced when they are needed. To illustrate the specification pro­ cess, questions that the specifier should raise during the analysis of the case study are stated. Answers are provided as if they were given by an imaginary client. The question/answer process guides the derivation of the specification. Interestingly, the questions raised depend on the method, which is illustrative of the differences between them.