03992nam 22007575 450 991029922650332120230714075119.03-319-17530-010.1007/978-3-319-17530-0(CKB)3710000000416811(SSID)ssj0001501004(PQKBManifestationID)11918304(PQKBTitleCode)TC0001501004(PQKBWorkID)11523038(PQKB)10645250(DE-He213)978-3-319-17530-0(MiAaPQ)EBC6300780(MiAaPQ)EBC5576791(Au-PeEL)EBL5576791(OCoLC)909270153(PPN)186031092(EXLCZ)99371000000041681120150506d2015 u| 0engurnn|008mamaatxtccrIntelligent Software Methodologies, Tools and Techniques 13th International Conference, SoMeT 2014, Langkawi, Malaysia, September 22-24, 2014. Revised Selected Papers /edited by Hamido Fujita, Ali Selamat1st ed. 2015.Cham :Springer International Publishing :Imprint: Springer,2015.1 online resource (XV, 406 p. 155 illus.) Communications in Computer and Information Science,1865-0937 ;513Bibliographic Level Mode of Issuance: Monograph3-319-17529-7 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.Communications in Computer and Information Science,1865-0937 ;513Application softwareSoftware engineeringArtificial intelligenceUser interfaces (Computer systems)Human-computer interactionComputer and Information Systems ApplicationsSoftware EngineeringArtificial IntelligenceUser Interfaces and Human Computer InteractionApplication software.Software engineering.Artificial intelligence.User interfaces (Computer systems).Human-computer interaction.Computer and Information Systems Applications.Software Engineering.Artificial Intelligence.User Interfaces and Human Computer Interaction.005.1Fujita Hamidoedthttp://id.loc.gov/vocabulary/relators/edtSelamat Aliedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK9910299226503321Intelligent Software Methodologies, Tools and Techniques2504460UNINA