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

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
Άλλοι συγγραφείς: Rubin, Stuart H. (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Bouabana-Tebibel, Thouraya (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:English
Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2018.
Έκδοση:1st ed. 2018.
Σειρά:Advances in Intelligent Systems and Computing, 561
Θέματα:
Διαθέσιμο Online:Full Text via HEAL-Link
Πίνακας περιεχομένων:
  • 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.