大葉大學圖書館 |

Intelligent software methodologies, tools and techniques[electronic resource] :13th International Conference, SoMeT 2014, Langkawi, Malaysia, September 22-24, 2014 : revised selected papers /

紀錄類型:	書目-電子資源 : Monograph/item
杜威分類號:	005.1
書名/作者:	Intelligent software methodologies, tools and techniques : 13th International Conference, SoMeT 2014, Langkawi, Malaysia, September 22-24, 2014 : revised selected papers // edited by Hamido Fujita, Ali Selamat.
其他題名:	SoMeT 2014
其他作者:	Fujita, Hamido.
團體作者:	Clark Conference
出版者:	Cham : : Springer International Publishing :, 2015.
面頁冊數:	xv, 406 p. : : ill., digital ;; 24 cm.
Contained By:	Springer eBooks
標題:	Software engineering
標題:	Computer software - Congresses. - Development
標題:	Artificial intelligence
標題:	Computer Science.
標題:	Information Systems Applications (incl. Internet)
標題:	Computer Applications.
標題:	Software Engineering.
標題:	Artificial Intelligence (incl. Robotics)
標題:	User Interfaces and Human Computer Interaction.
ISBN:	9783319175300 (electronic bk.)
ISBN:	9783319175294 (paper)
內容註:	Artificial intelligence techniques in software engineering -- Requirement engineering -- High-assurance system -- Intelligent software systems design -- Creative and arts in interactive software design -- Software methodologies for reliable software design -- Software quality and assessment for business enterprise -- Software analysis and performance model -- Software applications systems.
摘要、提要註:	This book constitutes the best papers selection from the proceedings of the 13th International Conference on Intelligent Software Methodologies, Tools and Techniques, SoMeT 2014, held in Langkawi, Malaysia, in September 2014. The 27 full papers presented were carefully reviewed, thoroughly revised or enlarged, and selected as best papers from the 79 published proceedings papers, which had originally been selected from 192 submissions. The papers are organized in topical sections on artificial intelligence techniques in software engineering; requirement engineering, high-assurance system; intelligent software systems design; creative and arts in interactive software design; software methodologies for reliable software design; software quality and assessment for business enterprise; software analysis and performance model; software applications systems.
電子資源:	http://dx.doi.org/10.1007/978-3-319-17530-0

Intelligent software methodologies, tools and techniques[electronic resource] :13th International Conference, SoMeT 2014, Langkawi, Malaysia, September 22-24, 2014 : revised selected papers /
Intelligent software methodologies, tools and techniques13th International Conference, SoMeT 2014, Langkawi, Malaysia, September 22-24, 2014 : revised selected papers /[electronic resource] :SoMeT 2014edited by Hamido Fujita, Ali Selamat. - Cham :Springer International Publishing :2015. - xv, 406 p. :ill., digital ;24 cm. - Communications in computer and information science,5131865-0929 ;. - Communications in computer and information science ;247..

Artificial intelligence techniques in software engineering -- Requirement engineering -- High-assurance system -- Intelligent software systems design -- Creative and arts in interactive software design -- Software methodologies for reliable software design -- Software quality and assessment for business enterprise -- Software analysis and performance model -- Software applications systems.

This book constitutes the best papers selection from the proceedings of the 13th International Conference on Intelligent Software Methodologies, Tools and Techniques, SoMeT 2014, held in Langkawi, Malaysia, in September 2014. The 27 full papers presented were carefully reviewed, thoroughly revised or enlarged, and selected as best papers from the 79 published proceedings papers, which had originally been selected from 192 submissions. The papers are organized in topical sections on artificial intelligence techniques in software engineering; requirement engineering, high-assurance system; intelligent software systems design; creative and arts in interactive software design; software methodologies for reliable software design; software quality and assessment for business enterprise; software analysis and performance model; software applications systems.

ISBN: 9783319175300 (electronic bk.)

Standard No.: 10.1007/978-3-319-17530-0doiSubjects--Topical Terms:

135422
Software engineering

LC Class. No.: QA76.758

Dewey Class. No.: 005.1

Intelligent software methodologies, tools and techniques[electronic resource] :13th International Conference, SoMeT 2014, Langkawi, Malaysia, September 22-24, 2014 : revised selected papers /
LDR:02454nmm a2200349 a 4500 001 438772
003 DE-He213
005 20151228141025.0
006 m d
007 cr nn 008maaau
008 160315s2015 gw s 0 eng d
020 $a 9783319175300 (electronic bk.)
020 $a 9783319175294 (paper)
024 7 $a 10.1007/978-3-319-17530-0 $2 doi
035 $a 978-3-319-17530-0
040 $a GP $c GP
041 0 $a eng
050 4 $a QA76.758
072 7 $a UNH $2 bicssc
072 7 $a UDBD $2 bicssc
072 7 $a COM032000 $2 bisacsh
082 0 4 $a 005.1 $2 23
090 $a QA76.758 $b .I22 2014
111 2 $a Clark Conference $d (2005 : $c Sterling and Francine Clark Art Institute) $3 347558
245 1 0 $a Intelligent software methodologies, tools and techniques $h [electronic resource] : $b 13th International Conference, SoMeT 2014, Langkawi, Malaysia, September 22-24, 2014 : revised selected papers / $c edited by Hamido Fujita, Ali Selamat.
246 3 $a SoMeT 2014
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2015.
300 $a xv, 406 p. : $b ill., digital ; $c 24 cm.
490 1 $a Communications in computer and information science, $x 1865-0929 ; $v 513
505 0 $a Artificial intelligence techniques in software engineering -- Requirement engineering -- High-assurance system -- Intelligent software systems design -- Creative and arts in interactive software design -- Software methodologies for reliable software design -- Software quality and assessment for business enterprise -- Software analysis and performance model -- Software applications systems.
520 $a This book constitutes the best papers selection from the proceedings of the 13th International Conference on Intelligent Software Methodologies, Tools and Techniques, SoMeT 2014, held in Langkawi, Malaysia, in September 2014. The 27 full papers presented were carefully reviewed, thoroughly revised or enlarged, and selected as best papers from the 79 published proceedings papers, which had originally been selected from 192 submissions. The papers are organized in topical sections on artificial intelligence techniques in software engineering; requirement engineering, high-assurance system; intelligent software systems design; creative and arts in interactive software design; software methodologies for reliable software design; software quality and assessment for business enterprise; software analysis and performance model; software applications systems.
650 0 $a Software engineering $3 135422
650 0 $a Computer software $x Development $v Congresses. $3 386207
650 0 $a Artificial intelligence $3 135215
650 1 4 $a Computer Science. $3 423143
650 2 4 $a Information Systems Applications (incl. Internet) $3 463679
650 2 4 $a Computer Applications. $3 467030
650 2 4 $a Software Engineering. $3 464601
650 2 4 $a Artificial Intelligence (incl. Robotics) $3 463642
650 2 4 $a User Interfaces and Human Computer Interaction. $3 464000
700 1 $a Fujita, Hamido. $3 386205
700 1 $a Selamat, Ali. $3 626270
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-3-319-17530-0
950 $a Computer Science (Springer-11645)