دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Quality Software Through Reuse and Integration
دانلود کتاب نرم افزار با کیفیت از طریق استفاده مجدد و یکپارچه سازی
مشخصات کتاب
Quality Software Through Reuse and Integration
ویرایش: سری: ISBN (شابک) : 9783319561578, 9783319561561 ناشر: Bouabana-Tebibel, Thouraya, Rubin, Stuart H., Springer-Verlag New York Inc سال نشر: 2017 تعداد صفحات: 323 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 28 مگابایت
قیمت کتاب (تومان) : 62,000
در صورت تبدیل فایل کتاب Quality Software Through Reuse and Integration به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب نرم افزار با کیفیت از طریق استفاده مجدد و یکپارچه سازی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب نرم افزار با کیفیت از طریق استفاده مجدد و یکپارچه سازی
این کتاب 13 مقاله تحقیقاتی با کیفیت بالا را ارائه می دهد که پاسخ های طولانی مدتی را به سؤالات مربوط به جنبه های مختلف استفاده مجدد و یکپارچه سازی ارائه می دهد. محتویات آن به این نتیجه اجتناب ناپذیر منجر می شود که بهره وری نرم افزار، سخت افزار و طراحی - از جمله ویژگی های کیفیت - محدود نیست. این بهترین تئوری و عمل را ترکیب می کند و حاوی دستور العمل هایی برای افزایش بازده بخش های بهره وری ما است.
ایده بهبود کیفیت نرم افزار از طریق استفاده مجدد جدید نیست. به هر حال، اگر نرم افزار کار می کند و مورد نیاز است، چرا به سادگی از آن استفاده مجدد نکنید؟ با این حال، آنچه جدید و در حال تکامل است، ایده اعتبار نسبی از طریق آزمایش و استفاده مجدد، و انتزاع کد در چارچوب هایی برای نمونه سازی و استفاده مجدد است. کد تحت اللفظی را می توان انتزاع کرد. این انتزاعات به نوبه خود می توانند کدهای مشابهی را به دست آورند که در تأیید الگوهای آنها عمل می کند. یک طبقهبندی از نمایشها از کدهای تحت اللفظی سطح پایین تا توصیفهای زبان طبیعی بالاترین سطح وجود دارد. در نتیجه، کیفیت محصول متناسب با میزان استفاده مجدد در تمام سطوح انتزاعی بهبود مییابد.هر نرمافزاری که در تئوری آنقدر پیچیده باشد که امکان ارجاع به خود را فراهم کند، نمیتواند گواهی شود کاملا معتبر بهترین چیزی که می توان به آن دست یافت، اعتبار نسبی است که مبتنی بر آزمایش است. راستیآزمایی مفاهیم بدیهی، دلالتی و دیگر برنامهها دشوارتر از کدهایی است که آنها نشان میدهند! اما آیا محدودیتی برای آزمایش وجود دارد؟ و چگونه می توانیم از طریق آزمایش، قابلیت اطمینان محصولات نرم افزاری یا سخت افزاری را به حداکثر برسانیم؟ اینها سوالات اساسی هستند که باید به آنها پرداخته شود. و در اینجا به آن پرداخته خواهد شد.توضیحاتی درمورد کتاب به خارجی
This book presents 13 high-quality research articles that provide long sought-after answers to questions concerning various aspects of reuse and integration. Its contents lead to the inescapable conclusion that software, hardware, and design productivity – including quality attributes – is not bounded. It combines the best of theory and practice and contains recipes for increasing the output of our productivity sectors.
The idea of improving software quality through reuse is not new. After all, if software works and is needed, why not simply reuse it? What is new and evolving, however, is the idea of relative validation through testing and reuse, and the abstraction of code into frameworks for instantiation and reuse. Literal code can be abstracted. These abstractions can in turn yield similar codes, which serve to verify their patterns. There is a taxonomy of representations from the lowest-level literal codes to their highest-level natural language descriptions. As a result, product quality is improved in proportion to the degree of reuse at all levels of abstraction.Any software that is, in theory, complex enough to allow for self-reference, cannot be certified as being absolutely valid. The best that can be attained is a relative validity, which is based on testing. Axiomatic, denotational, and other program semantics are more difficult to verify than the codes, which they represent! But, are there any limits to testing? And how can we maximize the reliability of software or hardware products through testing? These are essential questions that need to be addressed; and, will be addressed herein.فهرست مطالب
Front Matter ....Pages i-x
On the Tractable Acquisition of Heuristics for Software Synthesis Demonstrating that P~NP (Stuart H. Rubin, Thouraya Bouabana-Tebibel, William K. Grefe)....Pages 1-23
An Approach Transmutation-Based in Case-Based Reasoning (Thouraya Bouabana-Tebibel, Stuart H. Rubin, Yasmine Hoadjli, Idriss Benaziez)....Pages 24-41
Utilizing Semantic Techniques for Automatic Code Reuse in Software Repositories (Awny Alnusair, Majdi Rawashdeh, M. Anwar Hossain, Mohammed F. Alhamid)....Pages 42-62
A Multi-strategy Approach for Ontology Reuse Through Matching and Integration Techniques (Enrico G. Caldarola, Antonio M. Rinaldi)....Pages 63-90
Classifier Fusion by Judgers on Spark Clusters for Multimedia Big Data Classification (Yilin Yan, Qiusha Zhu, Mei-Ling Shyu, Shu-Ching Chen)....Pages 91-108
Employing Graph Databases as a Standardization Model for Addressing Heterogeneity and Integration (Dippy Aggarwal, Karen C. Davis)....Pages 109-138
Modeling Terminologies for Reusability in Faceted Systems (Daniel R. Harris)....Pages 139-163
A Layered Approach to Specification Authoring, Sharing, and Usage (John L. Singleton, Gary T. Leavens)....Pages 164-189
FCL: A Formal Language for Writing Contracts (William M. Farmer, Qian Hu)....Pages 190-208
Operational Semantics for the Rigorous Analysis of Distributed Systems (Mohammed S. Al-Mahfoudh, Ganesh Gopalakrishnan, Ryan Stutsman)....Pages 209-231
BHive: Behavior-Driven Development Meets B-Method (John Douglas Carter, William Bennett Gardner)....Pages 232-255
A Pre-processing Tool for Z2SAL to Broaden Support for Model Checking Z Specifications (Maria Ulfah Siregar)....Pages 256-286
Reasoning About Temporal Faults Using an Activation Logic (André Didier, Alexandre Mota)....Pages 287-311
Back Matter ....Pages 313-313
