Skip to main content
SpringerLink
Log in

Software Engineering and Methodology for Emerging Domains

15th National Software Application Conference, NASAC 2016, Kunming, Yunnan, November 3–5, 2016, Proceedings

  • Conference proceedings
  • © 2016

Overview

Editors:
  1. Lu Zhang

    1. School of Electronics Engineering and Computer Science, Peking University, Beijing, China

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Chang Xu

    1. State Key Laboratory for Novel Software Technology and Department of Computer Science and Technology, Nanjing University, Nanjing, China

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Communications in Computer and Information Science (CCIS, volume 675)

Included in the following conference series:

Conference proceedings info: NASAC 2016.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (15 papers)

  1. Front Matter

    Pages I-XII
    Download chapter PDF

  2. Requirement and Model

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. An Analysis Pattern Driven Analytical Requirements Modeling Method

      • Jingjing Ji, Rong Peng
      Pages 3-18

    3. An Extended TASM-Based Requirements Modeling Approach for Real-Time Embedded Software: An Industrial Case Study

      • Jin-Hui Shan, Hai-Yan Zhao, Jin-Bo Wang, Rui-Xue Wang, Cheng-Lin Ruan, Zhe-Xi Yao
      Pages 19-34

    4. A Simulation Approach for SIGNAL Time Model Concern on Multi-clock System

      • Zi Wang, GuoHua Shen, ZhiQiu Huang, Jia Si, Cheng Pan
      Pages 35-51

    5. Improving Automatic Identification of Outdated Requirements by Using Closeness Analysis Based on Source Code Changes

      • Hongyu Kuang, Jia Nie, Hao Hu, Jian Lü
      Pages 52-67

    6. User Query Optimisation: A Creative Computing Approach

      • Xuan Wang, Hongji Yang
      Pages 68-78

  3. Analysis and Testing

    1. Front Matter

      Pages 79-79
      Download chapter PDF

    2. An Abstract Domain Based on Two-Interval Difference-Bound Matrices

      • Zewen Ding, Zhiqiu Huang, Chi Zhang
      Pages 81-93

    3. Analysis and Optimization of a Joint Redundancy and Inspection-Based Maintenance Strategy

      • Pan He, Gang Liu, Chun Tan, Yue Yuan
      Pages 94-108

    4. An Efficient Algorithm to Identify Minimal Failure-Causing Schemas from Combinatorial Test Suite

      • Qi Wang, Yuanchao Qi, Ziyuan Wang, Chiya Xu
      Pages 109-119

    5. Evaluating Human-Assessed Software Maintainability Metrics

      • Celia Chen, Reem Alfayez, Kamonphop Srisopha, Lin Shi, Barry Boehm
      Pages 120-132

    6. Precise Heap Differentiating Using Access Path and Execution Index

      • Tianxiao Gu, Ruiqi Liu, Xiaoxing Ma, Zelin Zhao
      Pages 133-148

  4. Framework and System

    1. Front Matter

      Pages 149-149
      Download chapter PDF

    2. A Developer Recommendation Framework in Software Crowdsourcing Development

      • Wei Shao, Xiaoning Wang, Wenpin Jiao
      Pages 151-164

    3. Festra: A Feature Based Microscopic Sandstone Images Classification Method Using Transfer Learning

      • Na Li, Danru Wang, Qing Gu, Huizhen Hao, Daoxu Chen
      Pages 165-178

    4. HDID: An Efficient Hybrid Docker Image Distribution System for Datacenters

      • Mingyuan Liang, Siqi Shen, Dongsheng Li, Haibo Mi, Feng Liu
      Pages 179-194

    5. RMP: An Element-Level and Graph-Level Combined Ontology Matching Framework

      • Yiting Zhang, Cheng Xie, Haojian Zhong, Lihong Jiang, Hongming Cai
      Pages 195-210

    6. Temporal Test Generation for Embedded System Based on Correlation Analysis of Timing Constraints

      • Bo Wang, Xiaoying Bai, Wenguang Chen, Xiaoyu Song
      Pages 211-226

  5. Back Matter

    Pages 227-227
    Download chapter PDF
Back to top

Other volumes

  1. Software Engineering and Methodology for Emerging Domains

Keywords

About this book

This book constitutes the thoroughly refereed proceedings of the 15th National Software Application Conference, NASAC 2016, held in Kunming, Yunnan, in November 2016.
The 15 revised selected papers were selected from 38 submissions and focus on all aspects of software engineering, e.g. requirements engineering, software methodologies, software analytics, software testing and evolution, and empirical studies.

Editors and Affiliations

  • School of Electronics Engineering and Computer Science, Peking University, Beijing, China

    Lu Zhang

  • State Key Laboratory for Novel Software Technology and Department of Computer Science and Technology, Nanjing University, Nanjing, China

    Chang Xu

Bibliographic Information

  • Book Title: Software Engineering and Methodology for Emerging Domains

  • Book Subtitle: 15th National Software Application Conference, NASAC 2016, Kunming, Yunnan, November 3–5, 2016, Proceedings

  • Editors: Lu Zhang, Chang Xu

  • Series Title: Communications in Computer and Information Science

  • DOI: https://doi.org/10.1007/978-981-10-3482-4

  • Publisher: Springer Singapore

  • eBook Packages: Computer Science, Computer Science (R0)

  • Copyright Information: Springer Nature Singapore Pte Ltd. 2016

  • Softcover ISBN: 978-981-10-3481-7Published: 17 January 2017

  • eBook ISBN: 978-981-10-3482-4Published: 16 January 2017

  • Series ISSN: 1865-0929

  • Series E-ISSN: 1865-0937

  • Edition Number: 1

  • Number of Pages: XII, 227

  • Number of Illustrations: 74 b/w illustrations

  • Topics: Software Engineering, Simulation and Modeling

Publish with us

Policies and ethics

Societies and partnerships

Back to top

Search

Navigation