Quality Software Through Reuse and Integration (eBook, PDF)

Redaktion: Rubin, Stuart H.; Bouabana-Tebibel, Thouraya

• Format: PDF

Produktbeschreibung

Presents the state of the art in quality software through reuse and integration

Includes the latest research on formal methods integration

Gathers the best papers from the 4th IEEE International Workshop on Formal Methods Integration-the IEEE FMi 2016, held in Pittsburgh, USA, July 28-30 2016

---

Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.

Produktdetails

• Verlag: Springer International Publishing
• Seitenzahl: 313
• Erscheinungstermin: 15. August 2017
• Englisch
• ISBN-13: 9783319561578
• Artikelnr.: 52938613

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.