• صفحه اصلی
  • جستجوی پیشرفته
  • فهرست کتابخانه ها
  • درباره پایگاه
  • ارتباط با ما
  • تاریخچه
  • ورود / ثبت نام

عنوان
Automated theorem proving in software engineering

پدید آورنده
Johann M. Schumann ; foreword by Donald Loveland.

موضوع
Automatic theorem proving.,Génie logiciel.,Software engineering.

رده

کتابخانه
مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی

محل استقرار
استان: قم ـ شهر: قم

مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی

تماس با کتابخانه : 32910706-025

شابک

شابک
3662226464
شابک
9783662226469

شماره کتابشناسی ملی

شماره
b567027

عنوان و نام پديدآور

عنوان اصلي
Automated theorem proving in software engineering
نام عام مواد
[Book]
نام نخستين پديدآور
Johann M. Schumann ; foreword by Donald Loveland.

وضعیت نشر و پخش و غیره

محل نشرو پخش و غیره
Berlin ; New York
نام ناشر، پخش کننده و غيره
Springer, [
تاریخ نشرو بخش و غیره
2001] ©2001

مشخصات ظاهری

نام خاص و کميت اثر
(xiv, 228 pages) : illustrations

یادداشتهای مربوط به مندرجات

متن يادداشت
1. Introduction --; 2. Formal Methods in Software Engineering --; 3. Processing of Logic --; 4. Characteristics of Proof Tasks --; 5. Requirements --; 6. Case Studies --; 7. Specific Techniques for ATP Applications --; 8. Conclusions.

یادداشتهای مربوط به خلاصه یا چکیده

متن يادداشت
The growing demand for high quality, safety, and security of software systems can only be met by rigorous application of formal methods during software design. Tools for formal methods in general, however, do not provide a sufficient level of automatic processing. This book methodically investigates the potential of first-order logic automated theorem provers for applications in software engineering. Illustrated by complete case studies on verification of communication and security protocols and logic-based component reuse, the book characterizes proof tasks to allow an assessment of the provers capabilities. Necessary techniques and extensions, e.g., for handling inductive and modal proof tasks, or for controlling the prover, are covered in detail. The book demonstrates that state-of-the-art automated theorem provers are capable of automatically handling important tasks during the development of high-quality software and it provides many helpful techniques for increasing practical usability of the automated theorem prover for successful applications.

موضوع (اسم عام یاعبارت اسمی عام)

موضوع مستند نشده
Automatic theorem proving.
موضوع مستند نشده
Génie logiciel.
موضوع مستند نشده
Software engineering.

نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )

مستند نام اشخاص تاييد نشده
Johann M. Schumann ; foreword by Donald Loveland.

نام شخص - (مسئولیت معنوی برابر )

مستند نام اشخاص تاييد نشده
Johann M Schumann

دسترسی و محل الکترونیکی

نام الکترونيکي
 مطالعه متن کتاب 

اطلاعات رکورد کتابشناسی

نوع ماده
[Book]

اطلاعات دسترسی رکورد

تكميل شده
Y

پیشنهاد / گزارش اشکال

اخطار! اطلاعات را با دقت وارد کنید
ارسال انصراف
این پایگاه با مشارکت موسسه علمی - فرهنگی دارالحدیث و مرکز تحقیقات کامپیوتری علوم اسلامی (نور) اداره می شود
مسئولیت صحت اطلاعات بر عهده کتابخانه ها و حقوق معنوی اطلاعات نیز متعلق به آنها است
برترین جستجوگر - پنجمین جشنواره رسانه های دیجیتال