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.