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...
Συγγραφή απο Οργανισμό/Αρχή: | |
---|---|
Άλλοι συγγραφείς: | , |
Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
Γλώσσα: | 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.