© 2015

Intelligent Software Methodologies, Tools and Techniques

14th International Conference, SoMet 2015, Naples, Italy, September 15-17, 2015. Proceedings

  • Hamido Fujita
  • Guido Guizzi
Conference proceedings SoMeT 2015

Part of the Communications in Computer and Information Science book series (CCIS, volume 532)

Table of contents

  1. Front Matter
    Pages I-XVII
  2. Embedded and Mobile Software Systems, Theory and Application

    1. Front Matter
      Pages 1-1
    2. Tobias Griebe, Marc Hesenius, Volker Gruhn
      Pages 3-17
    3. Samer Zein, Norsaremah Salleh, John Grundy
      Pages 30-41
    4. Syrine Ben Meskina, Narjes Doggaz, Mohamed Khalgui
      Pages 42-55
  3. Real Time Systems

    1. Front Matter
      Pages 57-57
    2. Maroua Gasmi, Olfa Mosbahi, Mohamed Khalgui, Luis Gomes
      Pages 59-72
    3. Aymen Gammoudi, Adel Benzina, Mohamed Khalgui, Daniel Chillet
      Pages 73-86
    4. Farid Adaili, Olfa Mosbahi, Mohamed Khalgui, Samia Bouzefrane
      Pages 87-101
  4. Requirement Engineering, High-Assurance and Testing System

    1. Front Matter
      Pages 103-103
    2. Sören Witt, Sven Feja, Christian Hadler, Andreas Speck, Elke Pulvermüller
      Pages 120-136
    3. Peter T. Breuer, Jonathan P. Bowen, Simon Pickin
      Pages 137-148
    4. Ahmed El-Serafy, Cherif Salama, Ayman Wahba
      Pages 149-160
    5. Ghada El-Sayed, Cherif Salama, Ayman Wahba
      Pages 161-172
  5. Social Networks and Big Data

    1. Front Matter
      Pages 173-173
    2. Chidchanok Choksuchat, Chantana Chantrapornchai, Michael Haidl, Sergei Gorlatch
      Pages 190-202
    3. Jun Sasaki, Shizune Takahashi, Li Shuang, Issei Komatsu, Keizo Yamada, Masanori Takagi
      Pages 203-215

About these proceedings


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.


Artificial intelligence Cloud computing Collaboration in software development Computer graphics Designing software HCI Human computer interaction Human-centered computing Information systems Mobile computing Requirements engineering Security and privacy Semantic web Social networks Software creation and management Software development techniques Software engineering Software notations and tools Software organization and properties Software verification and validation

Editors and affiliations

  • Hamido Fujita
    • 1
  • Guido Guizzi
    • 2
  1. 1.Iwate Prefectural UniversityTakizawaJapan
  2. 2.University of Naples "Federico II"NapoliItaly

Bibliographic information

Industry Sectors
Chemical Manufacturing
IT & Software
Consumer Packaged Goods
Finance, Business & Banking
Energy, Utilities & Environment