000 | 03494nam a22004815i 4500 | ||
---|---|---|---|
003 | DE-He213 | ||
005 | 20231104114153.0 | ||
007 | cr nn 008mamaa | ||
008 | 150506s2015 gw | s |||| 0|eng d | ||
020 |
_a9783319175300 _z978-3-319-17530-0 |
||
024 | 7 |
_a10.1007/978-3-319-17530-0 _2doi |
|
050 | 4 | _aQA76.76.A65 | |
072 | 7 |
_aUNH _2bicssc |
|
072 | 7 |
_aCOM032000 _2bisacsh |
|
072 | 7 |
_aUNH _2thema |
|
072 | 7 |
_aUDBD _2thema005.7 _223 |
|
245 | 1 | 0 |
_aIntelligent Software Methodologies, Tools and Techniques : _b13th International Conference, SoMeT 2014, Langkawi, Malaysia, September 22-24, 2014. Revised Selected Papers / _cedited by Hamido Fujita, Ali Selamat. |
264 | 1 |
_aCham : _bSpringer International Publishing : _bImprint: Springer, _c2015. |
|
300 | _a1 online resource | ||
336 |
_atext _btxt _2rdacontent |
||
337 |
_acomputer _bc _2rdamedia |
||
338 |
_aonline resource _bcr _2rdacarrier |
||
347 |
_atext file _bPDF _2rda |
||
490 | 0 |
_aCommunications in Computer and Information Science, _x1865-0929 ; _v513 |
|
505 | 0 | _aArtificial 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 | _aThis 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 | _aComputer science. | |
650 | 0 | _aSoftware engineering. | |
650 | 0 | _aArtificial intelligence. | |
650 | 1 | 4 |
_aInformation Systems Applications (incl. Internet). _0http://scigraph.springernature.com/things/product-market-codes/I18040 |
650 | 2 | 4 |
_aComputer Applications. _0http://scigraph.springernature.com/things/product-market-codes/I23001 |
650 | 2 | 4 |
_aSoftware Engineering. _0http://scigraph.springernature.com/things/product-market-codes/I14029 |
650 | 2 | 4 |
_aArtificial Intelligence. _0http://scigraph.springernature.com/things/product-market-codes/I21000 |
650 | 2 | 4 |
_aUser Interfaces and Human Computer Interaction. _0http://scigraph.springernature.com/things/product-market-codes/I18067 |
700 | 1 |
_aFujita, Hamido. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
700 | 1 |
_aSelamat, Ali. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
710 | 2 | _aSpringerLink (Online service) | |
856 | 4 | 0 |
_uhttps://doi.org/10.1007/978-3-319-17530-0 _3Springer eBooks _zOnline access link to the resource |
912 | _aZDB-2-SCS | ||
999 |
_c200433614 _d51826 |
||
942 |
_2lcc _cEBK |
||
041 | _aeng |