دانلود کتاب Modular Specification and Verification of Object-Oriented Programs (به فارسی: مشخصات مدولار و تأیید برنامه های شی گرا) نوشته شده توسط «Peter Müller (eds.)»
اطلاعات کتاب مشخصات مدولار و تأیید برنامه های شی گرا
موضوع اصلی: کامپیوترها
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: Peter Müller (eds.)
زبان: English
فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2002
تعداد صفحه: 298
حجم کتاب: 3 مگابایت
کد کتاب: 3540431675 , 9783540431671
نوبت چاپ: 1
توضیحات کتاب مشخصات مدولار و تأیید برنامه های شی گرا
سیستم های نرم افزاری نقش مهمی را در جوامع مدرن ایفا می کنند. کارت‌های هوشمند برای شناسایی شخصی، بانکداری الکترونیک، ابزارهای پزشکی کنترل‌شده با نرم‌افزار، کیسه‌های هوا در خودروها و خلبان‌های خودکار برای کنترل هواپیما تنها نمونه‌هایی هستند که نشان می‌دهند چگونه زندگی روزمره به رفتار خوب نرم‌افزار بستگی دارد. در نتیجه، تکنیک‌ها و روش‌های توسعه سیستم‌های نرم‌افزاری با کیفیت و قابل اعتماد، موضوع اصلی پژوهش در علوم کامپیوتر است. یک رویکرد اساسی در این زمینه استفاده از مشخصات و تایید رسمی است. زبان‌های مشخصه به شخص اجازه می‌دهند تا ویژگی‌های حیاتی سیستم‌های نرم‌افزاری را به روشی انتزاعی، دقیق ریاضی و مستقل از پیاده‌سازی توصیف کنند. سپس با تأیید رسمی، می توان ثابت کرد که یک پیاده سازی واقعاً دارای ویژگی های مورد نظر و مشخص شده است. اگرچه این رویکرد روش های رسمی بیش از 30 سال است که یک موضوع تحقیقاتی بوده است، موفقیت عملی آن هنوز محدود به حوزه هایی است که هزینه های توسعه در آنها اهمیت ناچیزی دارد. دو جنبه برای گسترش حوزه کاربرد روش های رسمی بسیار مهم است: – تکنیک های مشخصات رسمی باید به آرامی در فرآیند توسعه نرم افزار و برنامه ادغام شوند. – تکنیک ها باید برای اجزای نرم افزاری قابل استفاده مجدد قابل استفاده باشند. به این ترتیب، افزایش کیفیت را می توان برای بیش از یک سیستم مورد بهره برداری قرار داد و در نتیجه هزینه های توسعه بالاتر را توجیه کرد. با شروع از این ملاحظات، پیتر مولر تکنیک های جدیدی را برای مشخصات رسمی و تأیید نرم افزار شی گرا توسعه داده است. تکنیک های مشخصه، اعلامی و مستقل از اجرا هستند. می توان از آنها برای طراحی و برنامه نویسی شی گرا استفاده کرد.
Software systems play an increasingly important role in modern societies. Smart cards for personal identi?cation, e-banking, software-controlled me- cal tools, airbags in cars, and autopilots for aircraft control are only some examples that illustrate how everyday life depends on the good behavior of software. Consequently, techniques and methods for the development of hi- quality, dependable software systems are a central research topic in computer science. A fundamental approach to this area is to use formal speci?cation and veri?cation. Speci?cation languages allow one to describe the crucial p- perties of software systems in an abstract, mathematically precise, and implementation-independent way. By formal veri?cation, one can then prove that an implementation really has the desired, speci?ed properties. Although this formal methods approach has been a research topic for more than 30 years, its practical success is still restricted to domains in which devel- ment costs are of minor importance. Two aspects are crucial to widen the application area of formal methods: – Formal speci?cation techniques have to be smoothly integrated into the software and program development process. – The techniques have to be applicable to reusable software components. This way, the quality gain can be exploited for more than one system, thereby justifying the higher development costs. Starting from these considerations, Peter Muller ¨ has developed new te- niques for the formal speci?cation and veri?cation of object-oriented so- ware. The speci?cation techniques are declarative and implementati- independent. They can be used for object-oriented design and programming.
دانلود کتاب «مشخصات مدولار و تأیید برنامه های شی گرا»
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.