E-Book, Englisch, Band 561, 313 Seiten, eBook
Rubin / Bouabana-Tebibel Quality Software Through Reuse and Integration
1. Auflage 2018
ISBN: 978-3-319-56157-8
Verlag: Springer International Publishing
Format: PDF
Kopierschutz: 1 - PDF Watermark
E-Book, Englisch, Band 561, 313 Seiten, eBook
Reihe: Advances in Intelligent Systems and Computing
ISBN: 978-3-319-56157-8
Verlag: Springer International Publishing
Format: PDF
Kopierschutz: 1 - PDF Watermark
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
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.