عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
شابک
شابک
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
