|
|
|
|
| LEADER |
03415nam a22004695i 4500 |
| 001 |
978-981-10-3482-4 |
| 003 |
DE-He213 |
| 005 |
20170116101647.0 |
| 007 |
cr nn 008mamaa |
| 008 |
170116s2016 si | s |||| 0|eng d |
| 020 |
|
|
|a 9789811034824
|9 978-981-10-3482-4
|
| 024 |
7 |
|
|a 10.1007/978-981-10-3482-4
|2 doi
|
| 040 |
|
|
|d GrThAP
|
| 050 |
|
4 |
|a QA76.758
|
| 072 |
|
7 |
|a UMZ
|2 bicssc
|
| 072 |
|
7 |
|a COM051230
|2 bisacsh
|
| 082 |
0 |
4 |
|a 005.1
|2 23
|
| 245 |
1 |
0 |
|a Software Engineering and Methodology for Emerging Domains
|h [electronic resource] :
|b 15th National Software Application Conference, NASAC 2016, Kunming, Yunnan, November 3–5, 2016, Proceedings /
|c edited by Lu Zhang, Chang Xu.
|
| 264 |
|
1 |
|a Singapore :
|b Springer Singapore :
|b Imprint: Springer,
|c 2016.
|
| 300 |
|
|
|a XII, 227 p. 74 illus.
|b online resource.
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent
|
| 337 |
|
|
|a computer
|b c
|2 rdamedia
|
| 338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|
| 347 |
|
|
|a text file
|b PDF
|2 rda
|
| 490 |
1 |
|
|a Communications in Computer and Information Science,
|x 1865-0929 ;
|v 675
|
| 505 |
0 |
|
|a 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.
|
| 520 |
|
|
|a 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.
|
| 650 |
|
0 |
|a Computer science.
|
| 650 |
|
0 |
|a Software engineering.
|
| 650 |
|
0 |
|a Computer simulation.
|
| 650 |
1 |
4 |
|a Computer Science.
|
| 650 |
2 |
4 |
|a Software Engineering.
|
| 650 |
2 |
4 |
|a Simulation and Modeling.
|
| 700 |
1 |
|
|a Zhang, Lu.
|e editor.
|
| 700 |
1 |
|
|a Xu, Chang.
|e editor.
|
| 710 |
2 |
|
|a SpringerLink (Online service)
|
| 773 |
0 |
|
|t Springer eBooks
|
| 776 |
0 |
8 |
|i Printed edition:
|z 9789811034817
|
| 830 |
|
0 |
|a Communications in Computer and Information Science,
|x 1865-0929 ;
|v 675
|
| 856 |
4 |
0 |
|u http://dx.doi.org/10.1007/978-981-10-3482-4
|z Full Text via HEAL-Link
|
| 912 |
|
|
|a ZDB-2-SCS
|
| 950 |
|
|
|a Computer Science (Springer-11645)
|
