Quality Software Through Reuse and Integration

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 Integrationthe IEEE FMi 2016, held in Pittsburgh, USA, July 2830 2016

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 Integrationthe IEEE FMi 2016, held in Pittsburgh, USA, July 2830 2016 Includes supplementary material: sn.pub/extras

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