Sign-In
Cart
Mining Software Specifications: Methodologies and Applications
Paperback
Series: Chapman & Hall/CRC Data Mining and Knowledge Discovery
ISBN13: 9781138114906
Publisher: Crc Pr Inc
Published: Jun 14 2017
Pages: 458
Weight: 0.92
Height: 1.20 Width: 6.10 Depth: 9.20
Language: English
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).
Also in
Databases
Designing Data-Intensive Applications: The Big Ideas Behind Reliable, Scalable, and Maintainable Systems
Kleppmann, Martin
Paperback
The Definitive Guide to Dax: Business Intelligence for Microsoft Power Bi, SQL Server Analysis Services, and Excel
Ferrari, Alberto
Russo, Marco
Paperback
Fundamentals of Data Engineering: Plan and Build Robust Data Systems
Housley, Matt
Reis, Joe
Paperback
Practical Statistics for Data Scientists: 50+ Essential Concepts Using R and Python
Gedeck, Peter
Bruce, Peter
Bruce, Andrew
Paperback
The Data Warehouse Toolkit: The Definitive Guide to Dimensional Modeling
Kimball, Ralph
Ross, Margy
Paperback
Introduction to Statistics: An Intuitive Guide for Analyzing Data and Unlocking Discoveries
Frost, Jim
Paperback
Product Operations: How successful companies build better products at scale
Perri, Melissa
Tilles, Denise
Paperback
Data Engineering for Cybersecurity: Build Secure Data Pipelines with Free and Open-Source Tools
Bonifield, James
Paperback
SQL QuickStart Guide: The Simplified Beginner's Guide to Managing, Analyzing, and Manipulating Data With SQL
Shields, Walter
Hardcover
High Performance Python: Practical Performant Programming for Humans
Ozsvald, Ian
Gorelick, Micha
Paperback
PR Technology, Data and Insights: Igniting a Positive Return on Your Communications Investment
Weiner, Mark
Paperback
Fusion Strategy: How Real-Time Data and AI Will Power the Industrial Future
Venkatraman, Venkat
Govindarajan, Vijay
Hardcover
Data Engineering Design Patterns: Recipes for Solving the Most Common Data Engineering Problems
Konieczny, Bartosz
Paperback
SQL for Data Analysis: Advanced Techniques for Transforming Data Into Insights
Tanimura, Cathy
Paperback
How to Interpret Data: Using Data to Improve Your Influence and Decision-Making
Kelly, Nicholas
Paperback
Football Analytics with Python & R: Learning Data Science Through the Lens of Sports
Eager, Eric A.
Erickson, Richard a.
Paperback
Databricks Certified Data Engineer Associate Study Guide: In-Depth Guidance and Practice
Alhussein, Derar
Paperback
SQL Cookbook: Query Solutions and Techniques for All SQL Users
Graaf, Robert de
Molinaro, Anthony
Paperback
Kafka: The Definitive Guide: Real-Time Data and Stream Processing at Scale
Palino, Todd
Sivaram, Rajini
Shapira, Gwen
Paperback
SQL QuickStart Guide: The Simplified Beginner's Guide to Managing, Analyzing, and Manipulating Data With SQL
Shields, Walter
Paperback
The Elements of Statistical Learning: Data Mining, Inference, and Prediction, Second Edition
Tibshirani, Robert
Hastie, Trevor
Friedman, Jerome
Hardcover
Mathletics: How Gamblers, Managers, and Fans Use Mathematics in Sports, Second Edition
Winston, Wayne L.
Nestler, Scott
Pelechrinis, Konstantinos
Paperback
Data Analytics & Visualization All-In-One for Dummies
McFedries, Paul
Massaron, Luca
Hyman, Jack A.
Paperback
Data and Reality: A Timeless Perspective on Perceiving and Managing Information in Our Imprecise World, 3rd Edition
Kent, William
Paperback
Non-Invasive Data Governance: The Path of Least Resistance and Greatest Success
Seiner, Robert
Paperback
PostgreSQL 16 Administration Cookbook: Solve real-world Database Administration challenges with 180+ practical recipes and best practices
Angelakos, Jimmy
Ciolli, Gianni
Mejías, Boriss
Paperback
Data Governance with Unity Catalog on Databricks: Implement Data and AI Governance with Databricks Data Intelligence Platform
Sreekumar, Kiran
Subbarao, Karthik
Paperback
Data Modeling with Microsoft Power BI: Self-Service and Enterprise Data Warehouse with Power BI
Ehrenmueller-Jensen, Markus
Paperback
Omnimics: An Executive Playbook for Artificial Intelligence and Analytics
Fetherling, J. Tod
Paperback
Data Literacy in Practice: A complete guide to data literacy and making smarter decisions with data through intelligent actions
Klidas, Angelika
Hanegan, Kevin
Paperback
Numerical Python: Scientific Computing and Data Science Applications with Numpy, Scipy and Matplotlib
Johansson, Robert
Paperback
Observability Engineering: Achieving Production Excellence
Majors, Charity
Fong-Jones, Liz
Miranda, George
Paperback
Collect, Combine, and Transform Data Using Power Query in Power Bi and Excel
Maslyuk, Daniil
Raviv, Gil
Paperback
SAP S/4hana Financial Accounting Certification Guide: Application Associate Exam
Pougkas, Stefanos
Paperback
Apache Iceberg: The Definitive Guide: Data Lakehouse Functionality, Performance, and Scalability on the Data Lake
Hughes, Jason
Merced, Alex
Shiran, Tomer
Paperback
A Friendly Guide to Data Science: Everything You Should Know about the Hottest Field in Tech
Vincent, Kelly P.
Paperback
Becoming a Data Head: How to Think, Speak, and Understand Data Science, Statistics, and Machine Learning
Gutman, Alex J.
Goldmeier, Jordan
Paperback
Data Analytics Made Easy: Analyze and present data to make informed decisions without writing any code
Mauro, Andrea de
Paperback
Designing Data-Intensive Applications: The Big Ideas Behind Reliable, Scalable, and Maintainable Systems
Kleppmann, Martin
Riccomini, Chris
Paperback
Learning Statistics with Jamovi: A Tutorial for Beginners in Statistical Analysis
Navarro, Danielle
Foxcroft, David
Paperback
Neo4j: The Definitive Guide: Hands-On Recipes for Production-Ready Graph Implementations
Willemsen, Christophe
Misquitta, Luanne
Paperback
Learning Tableau 2025 - Sixth Edition: Leverage Tableau's newest features to revolutionize your data storytelling with AI-enhanced insights
Milligan, Joshua N.
Paperback
Advanced Snowflake: Processing Data, Developing Applications, and Deploying ML Models at Scale
Ullah, Muhammad Fasih
Paperback
Agile Data Warehouse Design: Collaborative Dimensional Modeling, from Whiteboard to Star Schema
Corr, Lawrence
Stagnitto, Jim
Paperback
Data Science at the Command Line: Obtain, Scrub, Explore, and Model Data with UNIX Power Tools
Janssens, Jeroen
Paperback
Data Analytics with Hadoop: An Introduction for Data Scientists
Bengfort, Benjamin
Kim, Jenny
Paperback
Turning Data into Wisdom: How We Can Collaborate with Data to Change Ourselves, Our Organizations, and Even the World
Hanegan, Kevin
Paperback
SQL Server 2025 Unveiled: The Ai-Ready Enterprise Database with Microsoft Fabric Integration
Ward, Bob
Paperback
Databricks Data Intelligence Platform: Unlocking the Genai Revolution
Yip, Jason
Gupta, Nikhil
Paperback
Next-Level A/B Testing: Repeatable, Rapid, and Flexible Product Experimentation
Nassery, Leemay
Paperback
Data Governance: The Definitive Guide: People, Processes, and Tools to Operationalize Data Trustworthiness
Lakshmanan, Valliappa
Gilad, Uri
Eryurek, Evren
Paperback
PostgreSQL Query Optimization: The Ultimate Guide to Building Efficient Queries
Dombrovskaya, Henrietta
Bailliekova, Anna
Database Expert
Paperback
Everybody Lies: Big Data, New Data, and What the Internet Can Tell Us about Who We Really Are
Stephens-Davidowitz, Seth
Paperback
Practical Lakehouse Architecture: Designing and Implementing Modern Data Platforms at Scale
Thalpati, Gaurav Ashok
Paperback
Practical Time Series Analysis: Prediction with Statistics and Machine Learning
Nielsen, Aileen
Paperback
First-Party Data Activation: Modernize Your Marketing Data Platform
Magauova, Alina D.
Kennis, Oscar
Joosten, David H.
Paperback
Kafka for Architects: Event-Driven Architecture, Logs, Microservices, Real-Time Event Processing
Gorshkova, Katya
Paperback
High Performance PostgreSQL for Rails: Reliable, Scalable, Maintainable Database Applications
Atkinson, Andrew
Paperback
Text as Data: A New Framework for Machine Learning and the Social Sciences
Stewart, Brandon M.
Grimmer, Justin
Roberts, Margaret E.
Paperback
Analytics the Right Way: A Business Leader's Guide to Putting Data to Productive Use
Wilson, Tim
Sutherland, Joe
Paperback
Analytics Engineering with SQL and Dbt: Building Meaningful Data Models at Scale
Machado, Rui
Russa, Hélder
Paperback
Big Data in Der Mobilität: Akteure, Geschäftsmodelle Und Nutzenpotenziale Für Die Welt Von Morgen
Müller-Peters, Horst
Gatzert, Nadine
Knorre, Susanne
Paperback
Excel 2021: Everything you need to know about Excel to go from Beginner to Expert
Wright, Nora E.
Paperback
High Performance Spark: Best Practices for Scaling and Optimizing Apache Spark
Warren, Rachel
Karau, Holden
Paperback
Practical Natural Language Processing: A Comprehensive Guide to Building Real-World Nlp Systems
Vajjala, Sowmya
Majumder, Bodhisattwa
Gupta, Anuj
Paperback
SQL Server 2022 Query Performance Tuning: Troubleshoot and Optimize Query Performance
Fritchey, Grant
Paperback
Data Science on the Google Cloud Platform: Implementing End-To-End Real-Time Data Pipelines: From Ingest to Machine Learning
Lakshmanan, Valliappa
Paperback
SQL for Data Scientists: A Beginner's Guide for Building Datasets for Analysis
Teate, Renee M. P.
Paperback
Microsoft Power Bi Visual Calculations: Simplifying Dax
Ter Heerdt, Jeroen
Stikkelorum, Madzy
Lelijveld, Marc
Paperback
Blockchain: The Comprehensive Guide to Blockchain Development, Ethereum, Solidity, and Smart Contracts
Fertig, Tobias
Schütz, Andreas
Paperback
Learn PostgreSQL - Second Edition: Use, manage and build secure and scalable databases with PostgreSQL 16
Pirozzi, Enrico
Ferrari, Luca
Paperback
Introduction to Statistics: An Intuitive Guide for Analyzing Data and Unlocking Discoveries
Frost, Jim
Hardcover
Cassandra: The Definitive Guide, (Revised) Third Edition: Distributed Data at Web Scale
Carpenter, Jeff
Hewitt, Eben
Paperback
Ciencia de Datos: Guía completa para principiantes para aprender los reinos de la ciencia de datos
Vance, William
Paperback
Social Media Exposed: Track Disinformation, Spot Bots, and Find Out What's Really Happening
Abrahams, Alexei Sisulu
Paperback
Stream Processing with Apache Flink: Fundamentals, Implementation, and Operation of Streaming Applications
Kalavri, Vasiliki
Hueske, Fabian
Paperback
Aprende SQL en un fin de semana: El curso definitivo para crear y consultar bases de datos
Padial Solier, Antonio
Paperback
Statistical Quantitative Methods in Finance: From Theory to Quantitative Portfolio Management
Ahlawat, Samit
Paperback
Apache Polaris: The Definitive Guide: Enriching Apache Iceberg Data Lakehouses with an Open Source Catalog
Madson, Andrew
Merced, Alex
Shiran, Tomer
Paperback
AWS Certified Data Engineer Study Guide: Associate (Dea-C01) Exam
Gatt, Adam
Humair, Syed
Gumbo, Chenjerai
Paperback
Streaming Databases: Unifying Batch and Stream Processing
Dulay, Hubert
Debusmann, Ralph Matthias
Paperback
The Data Storyteller's Handbook: How to create business impact using data storytelling
Greenbrook, Kat
Paperback
The Data Management Workbook: Practical Exercises for Better Organization, Storage and Use of Your Research Data
Briney, Kristin
Paperback
Implementing Data Mesh: Design, Build, and Implement Data Contracts, Data Products, and Data Mesh
Broda, Eric
Perrin, Jean-Georges
Paperback
Pro Oracle Database 23ai Administration: Manage and Safeguard Your Organization's Data
Kuhn, Darl
Malcher, Michelle
Paperback
Mastering Access 365: An Easy Guide to Building Efficient Databases for Managing Your Data
George, Nathan
Hardcover
Financial Data Science with Python: An Integrated Approach to Analysis, Modeling, and Machine Learning
Chen, Haojun
Paperback
Data Strategy: How to Use Data and Artificial Intelligence to Transform Your Business
Marr, Bernard
Paperback
How to Interpret Data: Using Data to Improve Your Influence and Decision-Making
Kelly, Nicholas
Hardcover
Managing Data as a Product: Design and build data-product-centered socio-technical architectures
Gioia, Andrea
Paperback
High Performance Spark: Best Practices for Scaling and Optimizing Apache Spark
Polak, Adi
Warren, Rachel
Karau, Holden
Paperback
Dataproc Cookbook: Running Spark and Hadoop Workloads in Google Cloud
Sadineni, Narasimha
Venkataraman, Anuyogam
Paperback
Cracking the Data Science Interview: Unlock insider tips from industry experts to master the data science field
Stubberfield, Aaren
Gonzalez, Leondra R.
Paperback
Optimizing DAX: Improving DAX performance in Microsoft Power BI and Analysis Services
Ferrari, Alberto
Russo, Marco
Paperback