大葉大學圖書館 |

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

レコード種別:	コンピュータ・メディア : 単行資料
[NT 15000414] null:	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.
含まれています:	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)
[NT 15000228] null:	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.
[NT 15000229] null:	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)