Quality Software Through Reuse and Integration

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 bound...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Format: Elektronisch E-Book
Sprache:Englisch
Veröffentlicht: Cham : Springer International Publishing, 2018.
Ausgabe:1st ed. 2018.
Schriftenreihe:Advances in Intelligent Systems and Computing, 561
Schlagworte:
ISBN:9783319561578
ISSN:2194-5357 ;
Online-Zugang: Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Inhaltsangabe:
  • On the Tractable Acquisition of Heuristics for Software Synthesis Demonstrating that P~NP
  • An Approach Transmutation-Based in Case-Based Reasoning
  • Utilizing Semantic Techniques for Automatic Code Reuse in Software Repositories
  • A Multi-strategy Approach for Ontology Reuse through Matching and Integration Techniques
  • Classifier Fusion by Judgers on Spark Clusters for Multimedia Big Data Classification
  • Employing Graph Databases As a Standardization Model for Addressing Heterogeneity and Integration
  • Modeling Terminologies for Reusability in Faceted Systems
  • A Layered Approach to Specification Authoring, Sharing, and Usage
  • FCL: A Formal Language for Writing Contracts
  • Operational Semantics for the Rigorous Analysis of Distributed Systems
  • BHive: Behavior-Driven Development Meets B-Method
  • A Pre-processing Tool for Z2SAL to Broaden Support for Model Checking Z Specifications
  • Reasoning About Temporal Faults Using an Activation Logic.