000 | 03336nam a22005535i 4500 | ||
---|---|---|---|
001 | 978-3-319-17530-0 | ||
003 | DE-He213 | ||
005 | 20200421112044.0 | ||
007 | cr nn 008mamaa | ||
008 | 150506s2015 gw | s |||| 0|eng d | ||
020 |
_a9783319175300 _9978-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 |
_aUDBD _2bicssc |
|
072 | 7 |
_aCOM032000 _2bisacsh |
|
082 | 0 | 4 |
_a005.7 _223 |
245 | 1 | 0 |
_aIntelligent Software Methodologies, Tools and Techniques _h[electronic resource] : _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 |
_aXV, 406 p. 155 illus. _bonline resource. |
||
336 |
_atext _btxt _2rdacontent |
||
337 |
_acomputer _bc _2rdamedia |
||
338 |
_aonline resource _bcr _2rdacarrier |
||
347 |
_atext file _bPDF _2rda |
||
490 | 1 |
_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 | _aUser interfaces (Computer systems). | |
650 | 0 | _aArtificial intelligence. | |
650 | 0 | _aApplication software. | |
650 | 1 | 4 | _aComputer Science. |
650 | 2 | 4 | _aInformation Systems Applications (incl. Internet). |
650 | 2 | 4 | _aComputer Applications. |
650 | 2 | 4 | _aSoftware Engineering. |
650 | 2 | 4 | _aArtificial Intelligence (incl. Robotics). |
650 | 2 | 4 | _aUser Interfaces and Human Computer Interaction. |
700 | 1 |
_aFujita, Hamido. _eeditor. |
|
700 | 1 |
_aSelamat, Ali. _eeditor. |
|
710 | 2 | _aSpringerLink (Online service) | |
773 | 0 | _tSpringer eBooks | |
776 | 0 | 8 |
_iPrinted edition: _z9783319175294 |
830 | 0 |
_aCommunications in Computer and Information Science, _x1865-0929 ; _v513 |
|
856 | 4 | 0 | _uhttp://dx.doi.org/10.1007/978-3-319-17530-0 |
912 | _aZDB-2-SCS | ||
942 | _cEBK | ||
999 |
_c56824 _d56824 |