Foundations for Software Engineering Methods

دسته بندی: برنامه نويسي
ویرایش:  
نویسندگان: Hussmann H.  
سری:  
 
ناشر:  
سال نشر:  
تعداد صفحات: 288 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 4 مگابایت 

قیمت کتاب (تومان) : 42,000

Издательство Springer, 1997, -288 pp. روش های رسمی در علوم کامپیوتر به دنبال پایه ای علمی هستند که روش ها و ابزارهایی را برای ساخت سیستم عملی می توان بر آن استوار کرد. تمرین به روش هایی برای تعیین مشخصات سیستم های نرم افزاری، ابزارهایی برای بررسی مشخصات برای سازگاری نحوی، و پشتیبانی برای تولید کد از مشخصات، و همچنین ابزارهایی برای اثبات درستی کد تولید شده دستی با توجه به مشخصات نیاز دارد. متأسفانه، ارتباط عملی بسیاری از انتشارات در مورد روش‌های رسمی محدود است.
از سوی دیگر، بسیاری از روش‌ها و ابزارهایی که امروزه در عمل استفاده می‌شوند، از وضعیت فعلی در تحقیقات علوم رایانه استفاده نمی‌کنند. آنها فاقد مفاهیم روشن هستند، نه اینکه از تعریف دقیق مبتنی بر تکنیک های رسمی صحبت کنیم. بنابراین، نیاز به تحقیقی با هدف روش‌هایی است که در عمل قابل استفاده باشند و از لحاظ نظری پایه‌گذاری شده باشند تا زمینه‌ای برای ابزارهای قدرتمند در مهندسی نرم‌افزار فراهم شود.
هوسمن در این کتاب پلی بین «عمل‌گرایانه» می‌سازد. روش‌هایی برای طراحی سیستم‌های اطلاعاتی و پس‌زمینه ریاضی رسمی، با ارائه یک تعریف رسمی برای روش SSADM در زبان مشخصات جبری SPECTRUM. SSADM، یک روش استاندارد بریتانیایی که به روش‌های به اصطلاح ساختاریافته تعلق دارد، در اینجا به عنوان مثال عمل می‌کند. اگرچه SSADM کاستی های روشی خود را دارد، این مثال به خوبی انتخاب شده است زیرا عملاً مرتبط است. علاوه بر این، برای نشان دادن قدرت تکنیک های رسمی مناسب است زیرا به اندازه کافی پیچیده است.
این کتاب یک تعریف رسمی کامل برای SSADM ارائه می دهد. این نشان می دهد که چنین رویکردی نه تنها یک امکان نظری است، بلکه برای روش های مرتبط عملی نیز امکان پذیر است. این امر با استفاده از مفاهیم ساختاری واضح برای ایجاد تعریف رسمی ممکن می شود.
اساس رسمی SSADM بیش از یک مثال است. به گونه ای ارائه شده است که می تواند به عنوان یک الگوی کلی دیده شود که بر اساس آن می توان سایر روش های مهندسی نرم افزار را نیز تعریف کرد، به ویژه روش های شی گرا مودم. آرزوی ما برای این کتاب این است که سایر دانشمندان را تشویق کند تا مبانی نظری علم کامپیوتر را به روشی مشابه به طور کامل در مسائل عملی توسعه نرم افزار به کار گیرند. بنابراین اهمیت این کتاب فراتر از SSADM و SPECTRUM است. مقدمه
اصطلاحات
SSADM - یک روش مهندسی عملی نیازمندیها
طیف - چارچوب مشخصات رسمی
روش های جایگزین برای ادغام SSADM و SPECTRUM
یک مشخصات مرجع معنایی برای SSADM
تکنیک SSADM \"مدل سازی داده های منطقی\"
تکنیک SSADM \ "Entity-Event Modelling\"

Издательство Springer, 1997, -288 pp. Formal methods in computer science aim at a scientific foundation on which methods and tools for practical system construction can be based. Practice requires methods for the specification of software systems, tools for checking specifications for syntactic consistency, and support for generation of code from specifications, as well as tools for proving the correctness of manually produced code with respect to the specification. Unfortunately, the practical relevance of many publications on formal methods is limited.
On the other hand, many methods and tools used in practice nowadays do not make use of the current status in computer science research. They are lacking clear concepts, not to speak of a precise definition based on formal techniques. Therefore, there is a need for research aiming at methods that are usable in practice and theoretically founded, in order to provide a basis for powerful tools in software engineering.
In this book Hussmann builds a bridge between the "pragmatic" methods for design of information systems and the formal mathematical background, by giving a formal definition for the method SSADM within the algebraic specification language SPECTRUM. SSADM, a British standard method belonging to the socalled structured methods, serves here as an example. Although SSADM has its methodical deficiencies, the example is well chosen since it is practically relevant. Moreover, it is well suited to demonstrate the power of formal techniques since it is sufficiently complex.
The book gives a complete formal definition for SSADM. This shows that such an approach is not only a theoretical possibility but is also feasible for methods of practical relevance. This is made possible by the usage of clear structuring concepts to build up the formal definition.
The formal foundation of SSADM is more than an example. It is presented in a way that can be seen as a general pattern according to which other software engineering methods also can be defined, in particular the modem object-oriented methods. Our wish for this book is that it encourages other scientists to apply theoretical foundations of computer science to practical problems of software development in a similarly thorough way. Thus the importance of this book goes beyond SSADM and SPECTRUM. Introduction
Terminology
SSADM - A Pragmatic Requirements Engineering Method
SPECTRUM - A Formal Specification Framework
Alternative Ways to an Integration of SSADM and SPECTRUM
A Semantic Reference Specification for SSADM
The SSADM Technique "Logical Data Modelling"
The SSADM Technique "Entity-Event Modelling"