|
|
|
|
| LEADER |
03335nam a22005415i 4500 |
| 001 |
978-3-319-17530-0 |
| 003 |
DE-He213 |
| 005 |
20151111194229.0 |
| 007 |
cr nn 008mamaa |
| 008 |
150506s2015 gw | s |||| 0|eng d |
| 020 |
|
|
|a 9783319175300
|9 978-3-319-17530-0
|
| 024 |
7 |
|
|a 10.1007/978-3-319-17530-0
|2 doi
|
| 040 |
|
|
|d GrThAP
|
| 050 |
|
4 |
|a QA76.76.A65
|
| 072 |
|
7 |
|a UNH
|2 bicssc
|
| 072 |
|
7 |
|a UDBD
|2 bicssc
|
| 072 |
|
7 |
|a COM032000
|2 bisacsh
|
| 082 |
0 |
4 |
|a 005.7
|2 23
|
| 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.
|
| 264 |
|
1 |
|a Cham :
|b Springer International Publishing :
|b Imprint: Springer,
|c 2015.
|
| 300 |
|
|
|a XV, 406 p. 155 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 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 Computer science.
|
| 650 |
|
0 |
|a Software engineering.
|
| 650 |
|
0 |
|a User interfaces (Computer systems).
|
| 650 |
|
0 |
|a Artificial intelligence.
|
| 650 |
|
0 |
|a Application software.
|
| 650 |
1 |
4 |
|a Computer Science.
|
| 650 |
2 |
4 |
|a Information Systems Applications (incl. Internet).
|
| 650 |
2 |
4 |
|a Computer Applications.
|
| 650 |
2 |
4 |
|a Software Engineering.
|
| 650 |
2 |
4 |
|a Artificial Intelligence (incl. Robotics).
|
| 650 |
2 |
4 |
|a User Interfaces and Human Computer Interaction.
|
| 700 |
1 |
|
|a Fujita, Hamido.
|e editor.
|
| 700 |
1 |
|
|a Selamat, Ali.
|e editor.
|
| 710 |
2 |
|
|a SpringerLink (Online service)
|
| 773 |
0 |
|
|t Springer eBooks
|
| 776 |
0 |
8 |
|i Printed edition:
|z 9783319175294
|
| 830 |
|
0 |
|a Communications in Computer and Information Science,
|x 1865-0929 ;
|v 513
|
| 856 |
4 |
0 |
|u http://dx.doi.org/10.1007/978-3-319-17530-0
|z Full Text via HEAL-Link
|
| 912 |
|
|
|a ZDB-2-SCS
|
| 950 |
|
|
|a Computer Science (Springer-11645)
|
