Login

Bouabana-Tebibel, Thouraya

Quality Software Through Reuse and Integration

Bouabana-Tebibel, Thouraya - Quality Software Through Reuse and Integration, ebook

306,00€

Ebook, PDF with Adobe DRM
ISBN: 9783319561578
DRM Restrictions

PrintingNot allowed
Copy to clipboardNot allowed

Table of contents

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)

Editor
 
Publisher
Springer
Publication year
2018
Language
en
Edition
1
Series
Advances in Intelligent Systems and Computing
Category
Technology, Energy, Traffic
Format
Ebook
eISBN (PDF)
9783319561578
Printed ISBN
978-3-319-56156-1

Similar titles