Intelligent Software Methodologies, Tools and Techniques

This book constitutes the best papers selection from the proceedings of the 14th International Conference on Intelligent Software Methodologies, Tools and Techniques, SoMeT 2015, held in Naples, Italy, in September 2015.

The 47 full papers presented together with one short paper were carefully reviewed and selected from 118 submissions. The papers are organized in topical sections on embedded and mobile software systems, theory and application; real-time systems; requirement engineering, high-assurance and testing system; social networks and big data; cloud computing and semantic web; artificial intelligence techniques and intelligent system design; software development and integration; security and software methodologies for reliable software design; new software techniques in image processing and computer graphics; software applications systems for medical health care.

Contenu

Embedded and mobile software systems, theory and application.- Real time Systems.- Requirement engineering, high-assurance and testing System.- Social networks and big data; cloud computing and the Semantic Web.- Artificial intelligence techniques and intelligent system design.- Software development and Integration.- Security and software methodologies for reliable software design.- New software techniques in image processing and computer graphics.- Software applications systems for medical health care.