Quality Software Through Reuse and Integration

1. On the Tractable Acquisition of Heuristics for Software Synthesis Demonstrating that P~NP
Stuart H. Rubin, Thouraya Bouabana-Tebibel, William K. Grefe

2. An Approach Transmutation-Based in Case-Based Reasoning
Thouraya Bouabana-Tebibel, Stuart H. Rubin, Yasmine Hoadjli, Idriss Benaziez

3. Utilizing Semantic Techniques for Automatic Code Reuse in Software Repositories
Awny Alnusair, Majdi Rawashdeh, M. Anwar Hossain, Mohammed F. Alhamid

4. A Multi-strategy Approach for Ontology Reuse Through Matching and Integration Techniques
Enrico G. Caldarola, Antonio M. Rinaldi

5. Classifier Fusion by Judgers on Spark Clusters for Multimedia Big Data Classification
Yilin Yan, Qiusha Zhu, Mei-Ling Shyu, Shu-Ching Chen

6. Employing Graph Databases as a Standardization Model for Addressing Heterogeneity and Integration
Dippy Aggarwal, Karen C. Davis

7. Modeling Terminologies for Reusability in Faceted Systems
Daniel R. Harris

8. A Layered Approach to Specification Authoring, Sharing, and Usage
John L. Singleton, Gary T. Leavens

9. FCL: A Formal Language for Writing Contracts
William M. Farmer, Qian Hu

10. Operational Semantics for the Rigorous Analysis of Distributed Systems
Mohammed S. Al-Mahfoudh, Ganesh Gopalakrishnan, Ryan Stutsman

11. BHive: Behavior-Driven Development Meets B-Method
John Douglas Carter, William Bennett Gardner

12. A Pre-processing Tool for Z2SAL to Broaden Support for Model Checking Z Specifications
Maria Ulfah Siregar

13. Reasoning About Temporal Faults Using an Activation Logic
André Didier, Alexandre Mota

Keywords: Engineering, Computational Intelligence, Artificial Intelligence (incl. Robotics)