↓ Skip to main content
What is this page? Embed badge

Quality Software Through Reuse and Integration

Overview of attention for book
Cover of 'Quality Software Through Reuse and Integration'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 On the Tractable Acquisition of Heuristics for Software Synthesis Demonstrating that P~NP
  3. Altmetric Badge
    Chapter 2 An Approach Transmutation-Based in Case-Based Reasoning
  4. Altmetric Badge
    Chapter 3 Utilizing Semantic Techniques for Automatic Code Reuse in Software Repositories
  5. Altmetric Badge
    Chapter 4 A Multi-strategy Approach for Ontology Reuse Through Matching and Integration Techniques
  6. Altmetric Badge
    Chapter 5 Classifier Fusion by Judgers on Spark Clusters for Multimedia Big Data Classification
  7. Altmetric Badge
    Chapter 6 Employing Graph Databases as a Standardization Model for Addressing Heterogeneity and Integration
  8. Altmetric Badge
    Chapter 7 Modeling Terminologies for Reusability in Faceted Systems
  9. Altmetric Badge
    Chapter 8 A Layered Approach to Specification Authoring, Sharing, and Usage
  10. Altmetric Badge
    Chapter 9 FCL: A Formal Language for Writing Contracts
  11. Altmetric Badge
    Chapter 10 Operational Semantics for the Rigorous Analysis of Distributed Systems
  12. Altmetric Badge
    Chapter 11 BHive: Behavior-Driven Development Meets B-Method
  13. Altmetric Badge
    Chapter 12 A Pre-processing Tool for Z2SAL to Broaden Support for Model Checking Z Specifications
  14. Altmetric Badge
    Chapter 13 Reasoning About Temporal Faults Using an Activation Logic
Attention for Chapter 9: FCL: A Formal Language for Writing Contracts
Altmetric Badge

Mentioned by

twitter
7 X users

Citations

dimensions_citation
1 Dimensions

Readers on

mendeley
19 Mendeley
Summary X Dimensions citations

This page is provided by Altmetric.