مشخصات کتاب

Mining software specifications : methodologies and applications

ویرایش:  
نویسندگان: David Lo,  et al  
سری: Chapman & Hall/CRC data mining and knowledge discovery series 
ISBN (شابک) : 9781439806265, 1439806268 
ناشر: CRC Press 
سال نشر: 2011 
تعداد صفحات: 450 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 11 مگابایت 

در صورت تبدیل فایل کتاب Mining software specifications : methodologies and applications به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب مشخصات نرم افزار معدن: روش ها و کاربردها نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب مشخصات نرم افزار معدن: روش ها و کاربردها

یکی از موضوعات نوظهور در مهندسی نرم افزار و داده کاوی، استخراج مشخصات به مسائل نگهداری و قابلیت اطمینان نرم افزار می پردازد که سالانه میلیاردها دلار برای اقتصادها هزینه دارد. اولین مرجع واحد در مورد این موضوع، مشخصات نرم افزار معدن: روش ها و کاربردها، رویکردهای اخیر برای مشخصات استخراج سیستم های نرم افزاری را تشریح می کند. کارشناسان در این زمینه نشان می دهند که چگونه می توان از تکنیک های پیشرفته داده کاوی و یادگیری ماشین برای رفع نگرانی های مهندسی نرم افزار استفاده کرد. در اولین مجموعه از فصل‌ها، این کتاب تعدادی از مطالعات را در مورد استخراج ماشین‌های حالت محدود معرفی می‌کند که از تکنیک‌هایی مانند استنتاج دستور زبان، استخراج نظم جزئی، بررسی مدل کد منبع، تفسیر انتزاعی و غیره استفاده می‌کنند. فصل‌های باقی‌مانده تحقیقاتی را در مورد قوانین/الگوهای زمانی کاوی ارائه می‌کنند، تکنیک‌هایی را پوشش می‌دهند که شامل تحلیل‌های برنامه‌ای استاتیک آگاه از مسیر، کاوی قانون/الگوی سبک وزن، تجزیه و تحلیل آماری، و سایر رویکردهای جالب است. در سرتاسر کتاب، نویسندگان درباره نحوه به کارگیری تحلیل پویا، تجزیه و تحلیل استاتیک و ترکیبی از هر دو برای استخراج مشخصات نرم افزار بحث می کنند. طبق گزارش موسسه ملی استاندارد و فناوری ایالات متحده در سال 2002، اشکالات نرم افزاری 59.5 میلیارد دلار در سال برای اقتصاد ایالات متحده هزینه داشته است. این جلد نشان می‌دهد که چگونه استخراج مشخصات می‌تواند به یافتن باگ‌ها و بهبود درک برنامه کمک کند و در نتیجه ضررهای مالی غیرضروری را کاهش دهد. این کتاب پذیرش صنعت تکنیک‌های استخراج مشخصات و جذب این تکنیک‌ها در محیط‌های توسعه یکپارچه استاندارد (IDE) را تشویق می‌کند.

توضیحاتی درمورد کتاب به خارجی

An emerging topic in software engineering and data mining, specification mining tackles software maintenance and reliability issues that cost economies billions of dollars each year. The first unified reference on the subject, Mining Software Specifications: Methodologies and Applications describes recent approaches for mining specifications of software systems. Experts in the field illustrate how to apply state-of-the-art data mining and machine learning techniques to address software engineering concerns. In the first set of chapters, the book introduces a number of studies on mining finite state machines that employ techniques, such as grammar inference, partial order mining, source code model checking, abstract interpretation, and more. The remaining chapters present research on mining temporal rules/patterns, covering techniques that include path-aware static program analyses, lightweight rule/pattern mining, statistical analysis, and other interesting approaches. Throughout the book, the authors discuss how to employ dynamic analysis, static analysis, and combinations of both to mine software specifications. According to the US National Institute of Standards and Technology in 2002, software bugs have cost the US economy 59.5 billion dollars a year. This volume shows how specification mining can help find bugs and improve program understanding, thereby reducing unnecessary financial losses. The book encourages the industry adoption of specification mining techniques and the assimilation of these techniques in standard integrated development environments (IDEs).

فهرست مطالب

 Content: Specification Mining: A Concise Introduction, David Lo, Siau-Cheng Khoo, Chao Liu, and Jiawei Han  Mining Finite-State Automata with Annotations, Leonardo Mariani, Fabrizio Pastore, Mauro Pezze, and Mauro Santoro  Adapting Grammar Inference Techniques to Mine State Machines, Neil Walkinshaw and Kirill Bogdanov  Mining API Usage Protocols from Large Method Traces, Michael Pradel and Thomas R. Gross  Static API Specification Mining: Exploiting Source Code Model Checking, Mithun Acharya and Tao Xie  Static Specification Mining Using Automata-Based Abstractions, Eran Yahav, Sharon Shoham, Stephen Fink, and Marco Pistoia  DynaMine: Finding Usage Patterns and Their Violations by Mining Software Repositories, Benjamin Livshits and Thomas Zimmermann  Automatic Inference and Effective Application of Temporal Specifications, Jinlin Yang and David Evans  Path-Aware Static Program Analyses for Specification Mining, Muralikrishna Ramanathan, Ananth Grama, and Suresh Jagannathan  Mining API Usage Specifications via Searching Source Code from the Web, Suresh Thummalapenta, Tao Xie, and Madhuri R. Marri  Merlin: Specification Inference for Explicit Information Flow Problems, Benjamin Livshits, Aditya V. Nori, Sriram K. Rajamani, and Anindya Banerjee  Lightweight Mining of Object Usage, Andrzej Wasylkowski and Andreas Zeller

نظرات کاربران

کتاب های تصادفی

دانلود کتاب Advances in the Understanding of Biological Sciences Using Next Generation Sequencing (NGS) Approaches

دانلود کتاب Helping Double Rainbows Shine: How Formal and Informal School Structures Support Gender Diverse Youth on the Autism Spectrum

دانلود کتاب Основы технологии машиностроения [учебное пособие по лабораторным работам]

دانلود کتاب Contesting the Oedipal Legacy: Deleuzean vs. Psycholanalytic Feminist Critical Theory (Geschlecht- Kultur- Gesellschaft) (v. 12)

دانلود کتاب Cyber Security : Critical Infrastructure Protection