دانلود کتاب Formal Foundations for Software Engineering Methods (به فارسی: مبانی رسمی برای روش های مهندسی نرم افزار) نوشته شده توسط «Heinrich Hußmann (eds.)»
اطلاعات کتاب مبانی رسمی برای روش های مهندسی نرم افزار
موضوع اصلی: برنامه نويسي
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: Heinrich Hußmann (eds.)
زبان: English
فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها)
سال انتشار: 1997
تعداد صفحه: 293
حجم کتاب: 3 مگابایت
کد کتاب: 3540636137 , 9783540636137
نوبت چاپ: 1
توضیحات کتاب مبانی رسمی برای روش های مهندسی نرم افزار
در این کتاب، هاسمن پلی بین روش‌های عمل‌گرایانه برای طراحی سیستم‌های اطلاعاتی و پس‌زمینه رسمی و ریاضی ایجاد می‌کند. در ابتدا، امکان سنجی اصلی ادغام روش های مختلف نشان داده شده است. در مرحله دوم، فرمالیسم به عنوان یک تحلیل معنایی سیستماتیک از مفاهیم در SSADM، یک روش استاندارد مهندسی نرم‌افزار ساختاریافته بریتانیایی استفاده می‌شود. ثالثا، راهی برای به دست آوردن مشخصات ترکیبی رسمی-عملی با استفاده از ترکیبی از نمادهای SSADM و مشخصات رسمی (SPECTRUM) نشان داده شده است. این کتاب به خوبی نوشته شده، دانشمندان و مهندسان نرم افزار را تشویق می کند تا روش های رسمی را برای مشکلات توسعه نرم افزار عملی به کار گیرند.
In this book, Hussmann builds a bridge between the pragmatic methods for the design of information systems and the formal, mathematical background. Firstly, the principal feasibility of an integration of the different methods is demonstrated. Secondly, the formalism is used as a systematic semantic analysis of the concepts in SSADM, a British standard structured software engineering method. Thirdly, a way of obtaining a hybrid formal-pragmatic specification using a combination of SSADM notations and formal (SPECTRUM) specifications is shown. This well-written book encourages scientists and software engineers to apply formal methods to practical software development problems.
دانلود کتاب «مبانی رسمی برای روش های مهندسی نرم افزار»
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.