دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Constructing Correct Software: The Basics
دانلود کتاب ساخت نرم افزار صحیح: مبانی
مشخصات کتاب
Constructing Correct Software: The Basics
ویرایش: 1st Edition
نویسندگان: Dr D. John Cooke (auth.)
سری: Formal Approaches to Computing and Information Technology
ISBN (شابک) : 9783540761563, 9781447139850
ناشر: Springer London
سال نشر: 1998
تعداد صفحات: 409
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 12 مگابایت
قیمت کتاب (تومان) : 86,000
در صورت تبدیل فایل کتاب Constructing Correct Software: The Basics به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب ساخت نرم افزار صحیح: مبانی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب ساخت نرم افزار صحیح: مبانی
ساخت نرم افزار صحیح - مبانی رویکرد سازنده برای توسعه نرم افزار را نشان می دهد و توضیح می دهد. این رویکرد شامل محاسبه یک پاسخ از بیانیه اولیه الزامات یا مشخصات، به جای \"حدس زدن\" یک پاسخ و سپس آزمایش اینکه آیا واقعاً کار می کند یا خیر. این نظریه از همان تئوری اساسی مانند تکنیکهای سنتی استفاده میکند، اما بسیار سریعتر و آسانتر است زیرا «پاسخهای اشتباه» به دست نمیآید، و بنابراین هیچ کار نادرستی لازم نیست کنار گذاشته شود. جان کوک این کتاب را بر اساس مطالبی که برای آموزش گسترده این موضوع در دانشگاه لافبورو استفاده شده است، نوشته است. این به دقت نوشته شده است تا برای هر کسی که دانش پایه ای مناسب از روش های رسمی را دارد در دسترس باشد. این برای دانشجویان سال سوم/چهارم کارشناسی و کارشناسی ارشد در روشهای رسمی و دورههای مهندسی نرمافزار و توسعهدهندگان نرمافزار در صنعت که به رویکردی عملگرایانهتر و در عین حال کاملاً رسمیتر برای توسعه نرمافزار نیاز دارند، در نظر گرفته شده است.
توضیحاتی درمورد کتاب به خارجی
Constructing Correct Software - The Basics illustrates and explains the constructive approach to software development. This approach involves calculating an answer from the initial statement of requirements or specification, rather than "guessing" an answer and then testing whether it actually works. It uses the same basic theory as traditional techniques, but is much quicker and easier as no "wrong answers" are obtained, and therefore no incorrect work needs to be discarded. John Cooke has based this book on material which has been used to teach the topic extensively at Loughborough University. It has been carefully written to be accessible to anyone with an appropriate basic background knowledge of formal methods. It is intended for 3rd/4th year undergraduate and postgraduate students on formal methods and software engineering courses, and software developers in industry who need a more pragmatic, yet fully formal, approach to software development.
فهرست مطالب
Front Matter....Pages I-XIII
Introduction....Pages 1-27
The Specification of Functions I....Pages 28-46
The Specification of Functions II....Pages 47-75
Transformations I....Pages 76-88
Transformations II....Pages 89-148
Algorithm Extraction....Pages 149-215
Specifications Revisited (Quantifications etc.)....Pages 216-245
Refinement....Pages 246-266
Sorting....Pages 267-332
Two Further Examples....Pages 333-355
The Broader Picture....Pages 356-371
Back Matter....Pages 372-395
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Healthcare Finance and Financial Management: Essentials for Advanced Practice Nurses and Interdisciplinary Care Teams
دانلود کتاب Кримінальне право. Загальна частина
