عنوان
پدید آورنده
موضوع
رده
QA76.76.D47 B974 2004
QA76
.
76
.
D47
B974
2004
کتابخانه
محل استقرار
شابک
شابک
3642185649
شابک
9783642185649
شماره کتابشناسی ملی
شماره
b567167
عنوان و نام پديدآور
عنوان اصلي
Contracts, Scenarios and Prototypes :
نام عام مواد
[Book]
ساير اطلاعات عنواني
An Integrated Approach to High Quality Software
نام نخستين پديدآور
by Reinhold Plösch.
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Berlin
نام ناشر، پخش کننده و غيره
Springer, ©
تاریخ نشرو بخش و غیره
2004
مشخصات ظاهری
نام خاص و کميت اثر
(220 p.)
يادداشت کلی
متن يادداشت
Description based upon print version of record.
یادداشتهای مربوط به مندرجات
متن يادداشت
1 Software Quality --; 2 Contracts --; 3 Contracts and Analysis --; 4 Scenarios --; 5 Scenarios and Analysis --; 6 Contracts and Scenarios in the Software Development Process --; 7 Prototyping with Contracts and Scenarios --; 8 Contracts and Type Systems --; 9 Summarizing Remarks --; Appendix A: A Monitoring and Control Case Study- An Overview of the Deployment Process --; Appendix B: Grammar of SCL (Simple Contract Language).
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Computer science.
موضوع مستند نشده
Computers.
موضوع مستند نشده
Software engineering.
رده بندی کنگره
شماره رده
QA76
.
76
.
D47
نشانه اثر
B974
2004
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
by Reinhold Plösch.
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Reinhold Plèosch
مستند نام اشخاص تاييد نشده
Reinhold Plösch
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
