大葉大學圖書館 |

Software engineering and methodology for emerging domains[electronic resource] :15th National Software Application Conference, NASAC 2016, Kunming, Yunnan, November 3-5, 2016 : proceedings /

纪录类型:	书目-语言数据,印刷品 : Monograph/item
[NT 15000414] null:	005.1
[NT 47271] Title/Author:	Software engineering and methodology for emerging domains : 15th National Software Application Conference, NASAC 2016, Kunming, Yunnan, November 3-5, 2016 : proceedings // edited by Lu Zhang, Chang Xu.
[NT 51403] remainder title:	NASAC 2016
[NT 51406] other author:	Zhang, Lu.
[NT 51402] corporate name:	Clark Conference
出版者:	Singapore : : Springer Singapore :, 2016.
面页册数:	xii, 227 p. : : ill., digital ;; 24 cm.
Contained By:	Springer eBooks
标题:	Software engineering
标题:	Application software
标题:	Computer Science.
标题:	Software Engineering.
标题:	Simulation and Modeling.
ISBN:	9789811034824
ISBN:	9789811034817
[NT 15000228] null:	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.
[NT 15000229] null:	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.
电子资源:	http://dx.doi.org/10.1007/978-981-10-3482-4

Software engineering and methodology for emerging domains[electronic resource] :15th National Software Application Conference, NASAC 2016, Kunming, Yunnan, November 3-5, 2016 : proceedings /
Software engineering and methodology for emerging domains15th National Software Application Conference, NASAC 2016, Kunming, Yunnan, November 3-5, 2016 : proceedings /[electronic resource] :NASAC 2016edited by Lu Zhang, Chang Xu. - Singapore :Springer Singapore :2016. - xii, 227 p. :ill., digital ;24 cm. - Communications in computer and information science,6751865-0929 ;. - Communications in computer and information science ;247..

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.

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.

ISBN: 9789811034824

Standard No.: 10.1007/978-981-10-3482-4doiSubjects--Topical Terms:

135422
Software engineering

LC Class. No.: QA76.758

Dewey Class. No.: 005.1

Software engineering and methodology for emerging domains[electronic resource] :15th National Software Application Conference, NASAC 2016, Kunming, Yunnan, November 3-5, 2016 : proceedings /
LDR:02843nam a2200337 a 4500 001 477228
003 DE-He213
005 20170116101647.0
006 m d
007 cr nn 008maaau
008 181208s2016 si s 0 eng d
020 $a 9789811034824 $q (electronic bk.)
020 $a 9789811034817 $q (paper)
024 7 $a 10.1007/978-981-10-3482-4 $2 doi
035 $a 978-981-10-3482-4
040 $a GP $c GP
041 0 $a eng
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
090 $a QA76.758 $b .N277 2016
111 2 $a Clark Conference $d (2005 : $c Sterling and Francine Clark Art Institute) $3 347558
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.
246 3 $a NASAC 2016
260 $a Singapore : $b Springer Singapore : $b Imprint: Springer, $c 2016.
300 $a xii, 227 p. : $b ill., digital ; $c 24 cm.
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 Software engineering $3 135422
650 0 $a Application software $3 135398
650 1 4 $a Computer Science. $3 423143
650 2 4 $a Software Engineering. $3 464601
650 2 4 $a Simulation and Modeling. $3 463796
700 1 $a Zhang, Lu. $3 688607
700 1 $a Xu, Chang. $3 688608
710 2 $a SpringerLink (Online service) $3 463450
773 0 $t Springer eBooks
830 0 $a Communications in computer and information science ; $v 247. $3 466999
856 4 0 $u http://dx.doi.org/10.1007/978-981-10-3482-4
950 $a Computer Science (Springer-11645)