Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 2016

Software Engineering and Methodology for Emerging Domains

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

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)

Conference series link(s): NASAC: National Software Application Conference

Conference proceedings info: NASAC 2016.

Sections

Buy it now

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

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

Table of contents (15 papers)

  1. Front Matter

    Pages I-XII
    PDF

  2. Requirement and Model

    1. Front Matter

      Pages 1-1
      PDF

    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

    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
      PDF

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

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

    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
      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
    PDF
Back to top

Other Volumes

  1. Software Engineering and Methodology for Emerging Domains

Back to top

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.

Back to top

Keywords

Back to top

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

Back to top

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

Back to top

Publish with us

Policies and ethics

Back to top

Societies and partnerships

Access via your institution

Buy it now

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

Search

Navigation