دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1
نویسندگان: Dr. Reinhold Plösch (auth.)
سری:
ISBN (شابک) : 9783642621604, 9783642185649
ناشر: Springer-Verlag Berlin Heidelberg
سال نشر: 2004
تعداد صفحات: 220
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 3 مگابایت
کلمات کلیدی مربوط به کتاب قراردادها، سناریوها و نمونه های اولیه: رویکردی یکپارچه به نرم افزار با کیفیت بالا: مهندسی نرم افزار، مدل ها و اصول، مدیریت محاسبات و سیستم های اطلاعاتی
در صورت تبدیل فایل کتاب Contracts, Scenarios and Prototypes: An Integrated Approach to High Quality Software به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب قراردادها، سناریوها و نمونه های اولیه: رویکردی یکپارچه به نرم افزار با کیفیت بالا نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب درباره چیست؟ در آغاز قرن بیست و یکم، سیستم های کامپیوتری – و به ویژه نرم افزارها – نقش مهمی در جامعه ما ایفا می کنند. نرم افزار تقریباً در هر دستگاه فنی که در زندگی روزمره استفاده می کنیم (به عنوان مثال، تلفن های همراه و اتومبیل) وجود دارد. علاوه بر این، رایانهها و نرمافزارهای آنها برای اهداف تفریحی در خانه (اینترنت و بازیهای رایانهای)، در دفتر (مانند نوشتن نامه و پردازش سفارش)، و برای کارهای پیچیدهتر مانند کنترل کارخانههای فولاد یا تضمین ایمنی پرواز استفاده میشوند. بنابراین، کیفیت نرم افزار (به عنوان مثال، صحت، قابلیت اطمینان و کارایی آن) نه تنها در زمینه سیستم های حیاتی (به عنوان مثال، نیروگاه های هسته ای) بلکه برای کل جامعه ما، از تجارت گرفته تا اوقات فراغت، مهم شده است. مهندسی نرم افزار کاربرد عملی دانش علمی برای تولید اقتصادی و استفاده از نرم افزارهای با کیفیت بالا است [Pomberger96]. هدف این رشته توسعه روش ها، تکنیک ها، ابزارها و استانداردها برای تحقق این اهداف است. امروزه تعداد روش ها و ابزارهای موجود برای مهندس نرم افزار بسیار زیاد است. با این وجود، بسیاری از پروژههای نرمافزاری شکست میخورند، یعنی برنامههای زمانی خود را برآورده نمیکنند، بودجه آنها بیش از حد است، نیازهای کاربر را برآورده نمیکند، یا صرفاً دارای نقصهای کیفی قابلتوجهی است. توضیحات احتمالی متعدد برای این وضعیت شامل مدیریت ضعیف پروژه، روشها و ابزارهای نامناسب مورد استفاده در پروژه، و مهارتهای ضعیف مهندسین نرمافزار شرکتکننده است.
What is this Book About? At the beginning of the 21st century, computer systems—and especially so- ware—play an important role in our society. Software is contained in virtually every technical device that we use in everyday life (e.g., cellular phones and cars). Furthermore, computers and their software are used for leisure purposes at home (the Internet and computer games), at the office (e.g., writing letters and order processing), and for more complicated tasks such as controlling steel plants or insuring flight safety. Therefore, the quality of software (e.g., its correctness, re- ability, and efficiency) has become important not only in the context of critical systems (e.g., nuclear power plants) but also for our entire society, from business to leisure. Software engineering is the practical application of scientific knowledge for the economical production and use of high-quality software [Pomberger96]. The discipline aims at developing methods, techniques, tools, and standards to fulfill these aims. The number of methods and tools available to the software engineer nowadays is overwhelming; nevertheless, many software projects fail—that is, do not meet their schedules, are over budget, do not meet the user needs, or simply have considerable quality defects. The numerous possible explanations for this situation include poor project management, unsuitable methods and tools used in the project, and poorly developed skills of the participating software engineers.
Front Matter....Pages I-XII
Software Quality....Pages 5-8
Contracts....Pages 9-38
Contracts and Analysis....Pages 39-56
Scenarios....Pages 57-77
Scenarios and Analysis....Pages 79-106
Contracts and Scenarios in the Software Development Process....Pages 107-129
Prototyping with Contracts and Scenarios....Pages 131-165
Contracts and Type Systems....Pages 167-177
Summarizing Remarks....Pages 178-180
Appendix A: A Monitoring and Control Case Study — An Overview of the Deployment Process....Pages 181-193
Appendix B: Grammar of SCL (Simple Contract Language)....Pages 195-196
Back Matter....Pages 197-215