دانلود کتاب Software Engineering and Methodology for Emerging Domains: 15th National Software Application Conference, NASAC 2016, Kunming, Yunnan, November 3–5, 2016, Proceedings

فهرست مطالب :

Front Matter....Pages I-XII
Front Matter....Pages 1-1
An Analysis Pattern Driven Analytical Requirements Modeling Method....Pages 3-18
An Extended TASM-Based Requirements Modeling Approach for Real-Time Embedded Software: An Industrial Case Study....Pages 19-34
A Simulation Approach for SIGNAL Time Model Concern on Multi-clock System....Pages 35-51
Improving Automatic Identification of Outdated Requirements by Using Closeness Analysis Based on Source Code Changes....Pages 52-67
User Query Optimisation: A Creative Computing Approach....Pages 68-78
Front Matter....Pages 79-79
An Abstract Domain Based on Two-Interval Difference-Bound Matrices....Pages 81-93
Analysis and Optimization of a Joint Redundancy and Inspection-Based Maintenance Strategy....Pages 94-108
An Efficient Algorithm to Identify Minimal Failure-Causing Schemas from Combinatorial Test Suite....Pages 109-119
Evaluating Human-Assessed Software Maintainability Metrics....Pages 120-132
Precise Heap Differentiating Using Access Path and Execution Index....Pages 133-148
Front Matter....Pages 149-149
A Developer Recommendation Framework in Software Crowdsourcing Development....Pages 151-164
Festra: A Feature Based Microscopic Sandstone Images Classification Method Using Transfer Learning....Pages 165-178
HDID: An Efficient Hybrid Docker Image Distribution System for Datacenters....Pages 179-194
RMP: An Element-Level and Graph-Level Combined Ontology Matching Framework....Pages 195-210
Temporal Test Generation for Embedded System Based on Correlation Analysis of Timing Constraints....Pages 211-226
Back Matter....Pages 227-227