An Analysis Pattern Driven Analysis Requirements Modeling Method -- An Extended TASM-Based Requirements Modeling Approach for Real-Time Embedded Software: An Industrial Case Study -- A Simulation Approach for SIGNAL Time Model Concern on Multi-clock System -- Improving Automatic Identification of Outdated Requirements by Using Closeness Analysis based on Source Code Changes -- User Query Optimisation: A Creative Computing Approach -- An Abstract Domain Based on Two-Interval Difference-Bound Matrices -- Analysis and Optimization of a Joint Redundancy and Inspection-Based Maintenance Strategy -- Efficient Algorithm to Identify Minimal Failure-Causing Schemas from Combinatorial Test Suite -- Evaluating Human-Assessed Software Maintainability Metrics -- Precise Heap Differentiating Using Access Path and Execution Index -- A Developer Recommendation Framework in Software Crowdsourcing Development -- Festra: a Feature Based Microscopic Sandstone Image classification Method using Transfer Learning -- HDID: An Efficient Hybrid Docker Image Distribution System for Datacenters -- RMP: An Element-level and Graph-level Combined Ontology Matching Framework -- Temporal Test Generation for Embedded System Based on Correlation Analysis of Timing Constraints.