Advances in Intelligent Systems and Computing - Quality Software Through Reuse and Integration
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783319561561, 9783319561578

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

BHive: Behavior-Driven Development Meets B-Method

Advances in Intelligent Systems and Computing - Quality Software Through Reuse and Integration ◽

10.1007/978-3-319-56157-8_11 ◽

2017 ◽

pp. 232-255 ◽

Cited By ~ 1

Author(s):

John Douglas Carter ◽

William Bennett Gardner

Keyword(s):

B Method

Download Full-text

A Layered Approach to Specification Authoring, Sharing, and Usage

Advances in Intelligent Systems and Computing - Quality Software Through Reuse and Integration ◽

10.1007/978-3-319-56157-8_8 ◽

2017 ◽

pp. 164-189

Author(s):

John L. Singleton ◽

Gary T. Leavens

Keyword(s):

Layered Approach

Download Full-text

An Approach Transmutation-Based in Case-Based Reasoning

Advances in Intelligent Systems and Computing - Quality Software Through Reuse and Integration ◽

10.1007/978-3-319-56157-8_2 ◽

2017 ◽

pp. 24-41

Author(s):

Thouraya Bouabana-Tebibel ◽

Stuart H. Rubin ◽

Yasmine Hoadjli ◽

Idriss Benaziez

Keyword(s):

Case Based Reasoning ◽

Case Based

Download Full-text

A Multi-strategy Approach for Ontology Reuse Through Matching and Integration Techniques

Advances in Intelligent Systems and Computing - Quality Software Through Reuse and Integration ◽

10.1007/978-3-319-56157-8_4 ◽

2017 ◽

pp. 63-90 ◽

Cited By ~ 10

Author(s):

Enrico G. Caldarola ◽

Antonio M. Rinaldi

Keyword(s):

Integration Techniques ◽

Ontology Reuse

Download Full-text

On the Tractable Acquisition of Heuristics for Software Synthesis Demonstrating that P~NP

Advances in Intelligent Systems and Computing - Quality Software Through Reuse and Integration ◽

10.1007/978-3-319-56157-8_1 ◽

2017 ◽

pp. 1-23

Author(s):

Stuart H. Rubin ◽

Thouraya Bouabana-Tebibel ◽

William K. Grefe

Keyword(s):

Software Synthesis

Download Full-text

Modeling Terminologies for Reusability in Faceted Systems

Advances in Intelligent Systems and Computing - Quality Software Through Reuse and Integration ◽

10.1007/978-3-319-56157-8_7 ◽

2017 ◽

pp. 139-163

Author(s):

Daniel R. Harris

Download Full-text

Reasoning About Temporal Faults Using an Activation Logic

Advances in Intelligent Systems and Computing - Quality Software Through Reuse and Integration ◽

10.1007/978-3-319-56157-8_13 ◽

2017 ◽

pp. 287-311

Author(s):

André Didier ◽

Alexandre Mota

Download Full-text

A Pre-processing Tool for Z2SAL to Broaden Support for Model Checking Z Specifications

Advances in Intelligent Systems and Computing - Quality Software Through Reuse and Integration ◽

10.1007/978-3-319-56157-8_12 ◽

2017 ◽

pp. 256-286 ◽

Cited By ~ 1

Author(s):

Maria Ulfah Siregar

Keyword(s):

Model Checking

Download Full-text

Operational Semantics for the Rigorous Analysis of Distributed Systems

Advances in Intelligent Systems and Computing - Quality Software Through Reuse and Integration ◽

10.1007/978-3-319-56157-8_10 ◽

2017 ◽

pp. 209-231

Author(s):

Mohammed S. Al-Mahfoudh ◽

Ganesh Gopalakrishnan ◽

Ryan Stutsman

Keyword(s):

Distributed Systems ◽

Operational Semantics ◽

Rigorous Analysis

Download Full-text

Classifier Fusion by Judgers on Spark Clusters for Multimedia Big Data Classification

Advances in Intelligent Systems and Computing - Quality Software Through Reuse and Integration ◽

10.1007/978-3-319-56157-8_5 ◽

2017 ◽

pp. 91-108 ◽

Cited By ~ 1

Author(s):

Yilin Yan ◽

Qiusha Zhu ◽

Mei-Ling Shyu ◽

Shu-Ching Chen

Keyword(s):

Big Data ◽

Data Classification ◽

Classifier Fusion ◽

Multimedia Big Data ◽

Big Data Classification

Download Full-text

Advances in Intelligent Systems and Computing - Quality Software Through Reuse and IntegrationLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

BHive: Behavior-Driven Development Meets B-Method

A Layered Approach to Specification Authoring, Sharing, and Usage

An Approach Transmutation-Based in Case-Based Reasoning

A Multi-strategy Approach for Ontology Reuse Through Matching and Integration Techniques

On the Tractable Acquisition of Heuristics for Software Synthesis Demonstrating that P~NP

Modeling Terminologies for Reusability in Faceted Systems

Reasoning About Temporal Faults Using an Activation Logic

A Pre-processing Tool for Z2SAL to Broaden Support for Model Checking Z Specifications

Operational Semantics for the Rigorous Analysis of Distributed Systems

Classifier Fusion by Judgers on Spark Clusters for Multimedia Big Data Classification

Advances in Intelligent Systems and Computing - Quality Software Through Reuse and Integration
Latest Publications