دسته: خارجی: انگلیسی
دانلود کتاب نرم افزار کیفیت مهندسی: مروری بر رویه های فعلی، استانداردها و دستورالعمل ها از جمله روش های جدید و ابزارهای توسعه بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
نام کتاب : Engineering Quality Software: A Review of Current Practices, Standards and Guidelines including New Methods and Development Tools
ویرایش : 2
عنوان ترجمه شده به فارسی : نرم افزار کیفیت مهندسی: مروری بر رویه های فعلی، استانداردها و دستورالعمل ها از جمله روش های جدید و ابزارهای توسعه
سری :
نویسندگان : David J. Smith B.Sc., C.Eng., F.I.E.E., F.I.Q.A., F.Sa.R.S., Kenneth B. Wood (auth.)
ناشر : Springer Netherlands
سال نشر : 1989
تعداد صفحات : 286
ISBN (شابک) : 9789401069960 , 9789400911215
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 5 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
در طول 18 ماه پس از انتشار نسخه اول، عملکرد کیفیت نرم افزار و در دسترس بودن ابزارها و راهنمایی برای اجرای آن به طور چشمگیری افزایش یافته است. تاکید بر نیاز به روشهای رسمی افزایش یافته است و درخواست برای صدور گواهینامه نرمافزار حیاتی ایمنی در حال حاضر رایج است. به ویژه این ویرایش دوم: -تحلیل استاتیک را گسترش می دهد و شامل یک مثال جامع اما ساده است تا عملکرد هر تحلیلگر را در فصل 8 به وضوح نشان دهد. از دستورالعمل ها و استانداردهای موجود در فصل 5. -توضیح بسیاری از زبان های سطح بالا را در فصل 9 بسط می دهد. دارای خطاها و ابهامات عمدی است و اکنون شامل راهنمایی برای یافتن آنها می شود.
During the 18 months since the publication of the 1st edition the practice of software quality and the availability of tools and guidance for its implementation has increased dramatically. The emphasis on the need for formal methods has increased and calls for certification of safety critical software are now common. In particular this 2nd edition: -Expands the treatment of static analysis and includes a com prehensive but simple example in order to illustrate clearly the functions of each analyser in Chapter 8. -Describes formal requirements languages more fully in Chapter 6. -Updates the compendium of available guidelines and standards in Chapter 5. -Expands the description of the many high level languages in Chapter 9. -Improves and expands the exercise into a 49 page case study consisting of a documentation hierarchy for a safety system in Chapter 14. It is seeded with deliberate errors and ambiguities and now includes guidance in finding them.